org.semanticweb.owl.profiles
Class OWL2Profile

java.lang.Object
  extended by org.semanticweb.owl.profiles.OWL2Profile
All Implemented Interfaces:
OWLProfile

public class OWL2Profile
extends java.lang.Object
implements OWLProfile

Author: Matthew Horridge
The University Of Manchester
Information Management Group
Date: 21-Jun-2008


Nested Class Summary
 class OWL2Profile.AnnotationValueNotAllowed
           
 class OWL2Profile.DataPropertyURIUsedAsObjectPropertyURI
           
 class OWL2Profile.NonSimplePropertyInAntiSymmetricPropertyAxiom
           
 class OWL2Profile.NonSimplePropertyInCardinalityRestriction
           
 class OWL2Profile.NonSimplePropertyInDisjointPropertiesAxiom
           
 class OWL2Profile.NonSimplePropertyInExistsSelfRestriction
           
 class OWL2Profile.NonSimplePropertyInFunctionalPropertyAxiom
           
 class OWL2Profile.NonSimplePropertyInInverseFunctionalPropertyAxiom
           
 class OWL2Profile.NonSimplePropertyInIrreflexivePropertyAxiom
           
 class OWL2Profile.OWL2DataRangeNotAllowed
           
 
Constructor Summary
OWL2Profile()
           
 
Method Summary
 OWLProfileReport checkOntology(OWLOntology ontology, OWLOntologyManager manager)
          Checks an ontology and its import closure to see if it is within this profile.
 java.lang.String getName()
          Gets the name of the profile.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

OWL2Profile

public OWL2Profile()
Method Detail

getName

public java.lang.String getName()
Description copied from interface: OWLProfile
Gets the name of the profile.

Specified by:
getName in interface OWLProfile
Returns:
A string that represents the name of the profile

checkOntology

public OWLProfileReport checkOntology(OWLOntology ontology,
                                      OWLOntologyManager manager)
Description copied from interface: OWLProfile
Checks an ontology and its import closure to see if it is within this profile.

Specified by:
checkOntology in interface OWLProfile
Parameters:
ontology - The ontology to be checked.
manager - A manager which can be used to obtain the imports closure of the ontology
Returns:
An OWLProfileReport that describes whether or not the ontology is within this profile.