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.
|
String |
getName()
Gets the name of the profile.
|
boolean |
isOWL2RLEquivalentClassExpression(OWLClassExpression ce) |
protected boolean |
isOWL2RLSubClassExpression(OWLClassExpression ce) |
boolean |
isOWL2RLSuperClassExpression(OWLClassExpression ce) |
public String getName()
OWLProfilegetName in interface OWLProfilepublic OWLProfileReport checkOntology(OWLOntology ontology)
OWLProfilecheckOntology in interface OWLProfileontology - 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)
Copyright © 2013 The University of Manchester. All Rights Reserved.