public class OWL2RLProfile extends java.lang.Object implements OWLProfile
Constructor and Description |
---|
OWL2RLProfile() |
Modifier and Type | Method and Description |
---|---|
OWLProfileReport |
checkOntology(OWLOntology ontology)
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.
|
boolean |
isOWL2RLEquivalentClassExpression(OWLClassExpression ce) |
protected boolean |
isOWL2RLSubClassExpression(OWLClassExpression ce) |
boolean |
isOWL2RLSuperClassExpression(OWLClassExpression ce) |
public java.lang.String getName()
getName
in interface OWLProfile
public OWLProfileReport checkOntology(OWLOntology ontology)
checkOntology
in interface OWLProfile
ontology
- The ontology to be checked.OWLProfileReport
that describes whether or not the
ontology is within this profile.protected boolean isOWL2RLSubClassExpression(OWLClassExpression ce)
public boolean isOWL2RLSuperClassExpression(OWLClassExpression ce)
public boolean isOWL2RLEquivalentClassExpression(OWLClassExpression ce)