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 void	addAxiom(OWLAxiom axiom, Stream<OWLOntology> ontologies) 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, Stream<OWLOntology> ontologies) 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(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.

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

public static Set<OWLOntology> removeAxiom(OWLAxiom axiom,
                                           Stream<OWLOntology> ontologies)

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

Returns:

set of ontologies that have been affected

addAxiom

public static void addAxiom(OWLAxiom axiom,
                            Set<OWLOntology> ontologies,
                            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

addAxiom

public static void addAxiom(OWLAxiom axiom,
                            Stream<OWLOntology> ontologies)

Add the axiom to all the given ontologies.

Parameters:

axiom - the axiom to add

ontologies - the ontologies to add the axiom to