com.clarkparsia.owlapi.explanation.util

Class OntologyUtils

java.lang.Object

com.clarkparsia.owlapi.explanation.util.OntologyUtils

public class OntologyUtils
extends Object

Some ontology utils methods.

Constructor Summary

Constructors

Constructor and Description
OntologyUtils()

Method Summary

Methods

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

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

Constructor Detail

OntologyUtils

public OntologyUtils()

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,
                           Set<OWLOntology> ontologies,
                           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(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