com.clarkparsia.explanation.util
Class OntologyUtils

java.lang.Object
  com.clarkparsia.explanation.util.OntologyUtils

public class OntologyUtils
extends java.lang.Object

Copyright: Copyright (c) 2007 Company: Clark & Parsia, LLC.

Constructor Summary

OntologyUtils()

Method Summary

static void	addAxiom(OWLAxiom axiom, java.util.Set<OWLOntology> ontologies, OWLOntologyManager manager) Add the axiom to all the given ontologies.
static boolean	containsUnreferencedEntity(OWLOntology ontology, OWLDescription desc) Determines if a class description contains any unreferenced entities with respect to the ontology that contains the entailments which are being explained.
static java.util.Set<OWLOntology>	removeAxiom(OWLAxiom axiom, java.util.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

Constructor Detail

OntologyUtils

public OntologyUtils()

Method Detail

containsUnreferencedEntity

public static boolean containsUnreferencedEntity(OWLOntology ontology,
                                                 OWLDescription desc)

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

Parameters:

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 java.util.Set<OWLOntology> removeAxiom(OWLAxiom axiom,
                                                     java.util.Set<OWLOntology> ontologies,
                                                     OWLOntologyManager manager)
                                              throws OWLOntologyChangeException

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

Throws:

OWLOntologyChangeException

addAxiom

public static void addAxiom(OWLAxiom axiom,
                            java.util.Set<OWLOntology> ontologies,
                            OWLOntologyManager manager)
                     throws OWLOntologyChangeException

Add the axiom to all the given ontologies.

Throws:

OWLOntologyChangeException