public class OWL2RLProfile extends Object implements OWLProfile
| Modifier and Type | Field and Description |
|---|---|
protected Set<IRI> |
allowedDatatypes |
| 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) |
protected boolean |
isOWL2RLSubClassExpression(OWLClassExpression ce) |
boolean |
isOWL2RLSuperClassExpression(OWLClassExpression ce) |
public String getName()
OWLProfilegetName in interface OWLProfilepublic IRI getIRI()
OWLProfilegetIRI in interface HasIRIgetIRI 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)
ce - classpublic boolean isOWL2RLEquivalentClassExpression(OWLClassExpression ce)
ce - classCopyright © 2014 The University of Manchester. All Rights Reserved.