public final class OntologyUtils extends Object
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(@Nonnull OWLOntology ontology, @Nonnull 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
@Nonnull public static Set<OWLOntology> removeAxiom(@Nonnull OWLAxiom axiom, @Nonnull Set<OWLOntology> ontologies, @Nonnull OWLOntologyManager manager)
axiom
- axiom being removedontologies
- ontologies from which axiom is being removedmanager
- manager to apply the actual changepublic static void addAxiom(@Nonnull OWLAxiom axiom, @Nonnull Set<OWLOntology> ontologies, @Nonnull OWLOntologyManager manager)
axiom
- the axiom to addontologies
- the ontologies to add the axiom tomanager
- the manager for the applicationCopyright © 2020 The University of Manchester. All rights reserved.