public class OWL2DLProfile extends Object implements OWLProfile
Constructor and Description |
---|
OWL2DLProfile() |
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.
|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
checkOntologyClosureInProfiles
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 String getName()
OWLProfile
getName
in interface OWLProfile
Copyright © 2020 The University of Manchester. All rights reserved.