public class OWL2RLProfile extends Object implements OWLProfile
Constructor and Description |
---|
OWL2RLProfile()
default constructor
|
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.
|
IRI |
getIRI()
The IRI that uniquely identifies this profile.
|
String |
getName()
Gets the name of the profile.
|
boolean |
isOWL2RLEquivalentClassExpression(OWLClassExpression ce) |
boolean |
isOWL2RLSuperClassExpression(OWLClassExpression ce) |
public String getName()
OWLProfile
getName
in interface OWLProfile
public IRI getIRI()
OWLProfile
getIRI
in interface HasIRI
getIRI
in interface OWLProfile
public OWLProfileReport checkOntology(OWLOntology ontology)
OWLProfile
checkOntology
in interface OWLProfile
ontology
- The ontology to be checked.OWLProfileReport
that describes whether or not the
ontology is within this profile.public boolean isOWL2RLSuperClassExpression(OWLClassExpression ce)
ce
- classpublic boolean isOWL2RLEquivalentClassExpression(OWLClassExpression ce)
ce
- classCopyright © 2017 The University of Manchester. All Rights Reserved.