public final class OntologyUtils extends Object
|Modifier and Type||Method and Description|
Add the axiom to all the given ontologies.
Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained.
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 search
desc- The description to be searched
trueif the description references entities that the ontology that contains entailments which are being explained, otherwise
@Nonnull public static Set<OWLOntology> removeAxiom(@Nonnull OWLAxiom axiom, @Nonnull Set<OWLOntology> ontologies, @Nonnull OWLOntologyManager manager)
axiom- axiom being removed
ontologies- ontologies from which axiom is being removed
manager- manager to apply the actual change
public static void addAxiom(@Nonnull OWLAxiom axiom, @Nonnull Set<OWLOntology> ontologies, @Nonnull OWLOntologyManager manager)
axiom- the axiom to add
ontologies- the ontologies to add the axiom to
manager- the manager for the application
Copyright © 2017 The University of Manchester. All Rights Reserved.