com.clarkparsia.owlapi.explanation.util

Class OntologyUtils

java.lang.Object

com.clarkparsia.owlapi.explanation.util.OntologyUtils

public final class OntologyUtils
extends Object

Some ontology utils methods.

Method Summary

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.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

containsUnreferencedEntity

public static boolean containsUnreferencedEntity(@Nonnull
                                                 OWLOntology ontology,
                                                 @Nonnull
                                                 OWLClassExpression desc)

Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained.

Parameters:

ontology - the ontology to search

desc - The description to be searched

Returns:

true if the description references entities that the ontology that contains entailments which are being explained, otherwise false

removeAxiom

@Nonnull
public static Set<OWLOntology> removeAxiom(@Nonnull
                                                    OWLAxiom axiom,
                                                    @Nonnull
                                                    Set<OWLOntology> ontologies,
                                                    @Nonnull
                                                    OWLOntologyManager manager)

Removes an axiom from all the given ontologies that contains the axiom and returns those ontologies.

Parameters:

axiom - axiom being removed

ontologies - ontologies from which axiom is being removed

manager - manager to apply the actual change

Returns:

set of ontologies that have been affected

addAxiom

public static void addAxiom(@Nonnull
                            OWLAxiom axiom,
                            @Nonnull
                            Set<OWLOntology> ontologies,
                            @Nonnull
                            OWLOntologyManager manager)

Add the axiom to all the given ontologies.

Parameters:

axiom - the axiom to add

ontologies - the ontologies to add the axiom to

manager - the manager for the application