org.semanticweb.owlapitools.profiles

Class OWL2ProfileReport

java.lang.Object

org.semanticweb.owlapitools.profiles.OWLProfileReport

org.semanticweb.owlapitools.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, java.util.Set<OWLProfileViolation<?>> disallowedConstructs, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> nonSimpleRoles, java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> simpleRoles)

Method Summary

Modifier and Type	Method and Description
java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getNonSimpleRoles()
java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression>	getSimpleRoles()
java.lang.String	toString()

Methods inherited from class org.semanticweb.owlapitools.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<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> nonSimpleRoles,
                         java.util.Set<org.semanticweb.owlapi.model.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 java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getNonSimpleRoles()

Returns:

the non simple roles

getSimpleRoles

public java.util.Set<org.semanticweb.owlapi.model.OWLObjectPropertyExpression> getSimpleRoles()

Returns:

he simple roles

toString

public java.lang.String toString()

Overrides:

toString in class OWLProfileReport