public class OWL2RLProfile extends 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.
|
IRI |
getIRI()
Gets the IRI of this object.
|
String |
getName()
Gets the name of the profile.
|
boolean |
isOWL2RLEquivalentClassExpression(OWLClassExpression ce) |
boolean |
isOWL2RLSuperClassExpression(OWLClassExpression ce) |
public String getName()
getName in interface OWLProfilepublic OWLProfileReport checkOntology(OWLOntology ontology)
checkOntology in interface OWLProfileontology - 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.