public class OntologyUtils extends Object
Constructor and Description |
---|
OntologyUtils() |
Modifier and Type | Method and Description |
---|---|
static void |
addAxiom(OWLAxiom axiom,
Set<OWLOntology> ontologies,
OWLOntologyManager manager)
Add the axiom to all the given ontologies.
|
static boolean |
containsUnreferencedEntity(OWLOntology ontology,
OWLClassExpression desc)
Determines if a class description contains any unreferenced entities with
respect to the ontology that contains the entailments which are being
explained.
|
static Set<OWLOntology> |
removeAxiom(OWLAxiom axiom,
Set<OWLOntology> ontologies,
OWLOntologyManager manager)
Removes an axiom from all the given ontologies that contains the axiom
and returns those ontologies.
|
public static boolean containsUnreferencedEntity(OWLOntology ontology, OWLClassExpression desc)
ontology
- the ontology to searchdesc
- The description to be searchedtrue
if the description references entities that the
ontology that contains entailments which are being explained,
otherwise false
public static Set<OWLOntology> removeAxiom(OWLAxiom axiom, Set<OWLOntology> ontologies, OWLOntologyManager manager)
axiom
- axiom being removedontologies
- ontologies from which axiom is being removedmanager
- manager to apply the actual changepublic static void addAxiom(OWLAxiom axiom, Set<OWLOntology> ontologies, OWLOntologyManager manager)
axiom
- the axiom to addontologies
- the ontologies to add the axiom tomanager
- the manager for the applicationCopyright © 2017 The University of Manchester. All Rights Reserved.