public class OntologyUtils
extends java.lang.Object
Constructor and Description |
---|
OntologyUtils() |
Modifier and Type | Method and Description |
---|---|
static void |
addAxiom(OWLAxiom axiom,
java.util.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 java.util.Set<OWLOntology> |
removeAxiom(OWLAxiom axiom,
java.util.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 java.util.Set<OWLOntology> removeAxiom(OWLAxiom axiom, java.util.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, java.util.Set<OWLOntology> ontologies, OWLOntologyManager manager)
axiom
- the axiom to addontologies
- the ontologies to add the axiom tomanager
- the manager for the application