public class OWL2ProfileReport extends OWLProfileReport
Constructor and Description |
---|
OWL2ProfileReport(OWLProfile profile,
java.util.Set<OWLProfileViolation> disallowedConstructs,
java.util.Set<OWLObjectPropertyExpression> nonSimpleRoles,
java.util.Set<OWLObjectPropertyExpression> simpleRoles) |
Modifier and Type | Method and Description |
---|---|
java.util.Set<OWLObjectPropertyExpression> |
getNonSimpleRoles() |
java.util.Set<OWLObjectPropertyExpression> |
getSimpleRoles() |
java.lang.String |
toString() |
getProfile, getViolations, isInProfile
public OWL2ProfileReport(OWLProfile profile, java.util.Set<OWLProfileViolation> disallowedConstructs, java.util.Set<OWLObjectPropertyExpression> nonSimpleRoles, java.util.Set<OWLObjectPropertyExpression> simpleRoles)
profile
- the profiledisallowedConstructs
- the constructs not allowednonSimpleRoles
- the collection of non simple rolessimpleRoles
- the collection of simple rolespublic java.util.Set<OWLObjectPropertyExpression> getNonSimpleRoles()
public java.util.Set<OWLObjectPropertyExpression> getSimpleRoles()
public java.lang.String toString()
toString
in class OWLProfileReport