org.semanticweb.owlapi.profiles

Class OWL2ProfileReport

java.lang.Object

org.semanticweb.owlapi.profiles.OWLProfileReport

org.semanticweb.owlapi.profiles.OWL2ProfileReport

public class OWL2ProfileReport
extends OWLProfileReport

Author:

Matthew Horridge, The University Of Manchester, Information Management Group, Date: 30-Jul-2008

Constructor Summary

Constructors

Constructor and Description
OWL2ProfileReport(OWLProfile profile, Set<OWLProfileViolation> disallowedConstructs, Set<OWLObjectPropertyExpression> nonSimpleRoles, Set<OWLObjectPropertyExpression> simpleRoles)

Method Summary

Modifier and Type	Method and Description
Set<OWLObjectPropertyExpression>	getNonSimpleRoles()
Set<OWLObjectPropertyExpression>	getSimpleRoles()
String	toString()

Methods inherited from class org.semanticweb.owlapi.profiles.OWLProfileReport

getProfile, getViolations, isInProfile

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

OWL2ProfileReport

public OWL2ProfileReport(OWLProfile profile,
                         Set<OWLProfileViolation> disallowedConstructs,
                         Set<OWLObjectPropertyExpression> nonSimpleRoles,
                         Set<OWLObjectPropertyExpression> simpleRoles)

Parameters:

profile - the profile

disallowedConstructs - the constructs not allowed

nonSimpleRoles - the collection of non simple roles

simpleRoles - the collection of simple roles

Method Detail

getNonSimpleRoles

public Set<OWLObjectPropertyExpression> getNonSimpleRoles()

Returns:

the non simple roles

getSimpleRoles

public Set<OWLObjectPropertyExpression> getSimpleRoles()

Returns:

he simple roles

toString

public String toString()

Overrides:

toString in class OWLProfileReport