Package 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

Constructor Summary

Constructors

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

Method Summary

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

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

getProfile, getViolations, getViolations, getViolations, getViolations, isInProfile

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Details

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 Details

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