public interface OWLProfile extends HasIRI
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.
|
default OWLProfileReport |
checkOntologyClosureInProfiles(OWLOntology ontology,
Profiles... profiles)
Checks an ontology and its import closure to see if it is within the specified profiles.
|
String |
getName()
Gets the name of the profile.
|
String getName()
OWLProfileReport checkOntology(OWLOntology ontology)
ontology
- The ontology to be checked.OWLProfileReport
that describes whether or not the ontology is within this
profile.default OWLProfileReport checkOntologyClosureInProfiles(OWLOntology ontology, Profiles... profiles)
ontology
- The ontology to be checked.profiles
- the profiles to checkOWLProfileReport
that describes whether or not the ontology is within the
specified profiles.Copyright © 2020 The University of Manchester. All rights reserved.