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

OWL2ProfileReport(OWLProfile profile, java.util.Set<OWLProfileViolation> disallowedConstructs, java.util.Set<OWLObjectPropertyExpression> nonSimpleRoles, java.util.Set<OWLObjectPropertyExpression> simpleRoles)

Method Summary

java.util.Set<OWLObjectPropertyExpression>	getNonSimpleRoles()
java.util.Set<OWLObjectPropertyExpression>	getSimpleRoles()
java.lang.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,
                         java.util.Set<OWLProfileViolation> disallowedConstructs,
                         java.util.Set<OWLObjectPropertyExpression> nonSimpleRoles,
                         java.util.Set<OWLObjectPropertyExpression> simpleRoles)

Method Detail

getNonSimpleRoles

public java.util.Set<OWLObjectPropertyExpression> getNonSimpleRoles()

getSimpleRoles

public java.util.Set<OWLObjectPropertyExpression> getSimpleRoles()

toString

public java.lang.String toString()

Overrides:

toString in class OWLProfileReport