org.semanticweb.owl.profiles
Class OWLProfileReport

java.lang.Object
  org.semanticweb.owl.profiles.OWLProfileReport

public class OWLProfileReport
extends java.lang.Object

Author: Matthew Horridge
The University Of Manchester
Bio-Health Informatics Group
Date: 16-Apr-2008

Constructor Summary

OWLProfileReport(OWLProfile profile, java.net.URI ontologyURI, java.util.Set<ConstructNotAllowed> disallowedConstructs)

Method Summary

java.util.Set<ConstructNotAllowed>	getDisallowedConstructs()
java.net.URI	getOntologyURI()
OWLProfile	getProfile()
boolean	isInProfile()

Methods inherited from class java.lang.Object

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

Constructor Detail

OWLProfileReport

public OWLProfileReport(OWLProfile profile,
                        java.net.URI ontologyURI,
                        java.util.Set<ConstructNotAllowed> disallowedConstructs)

Method Detail

getProfile

public OWLProfile getProfile()

getOntologyURI

public java.net.URI getOntologyURI()

isInProfile

public boolean isInProfile()

getDisallowedConstructs

public java.util.Set<ConstructNotAllowed> getDisallowedConstructs()