com.clarkparsia.explanation.util
Class OntologyUtils

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

public class OntologyUtils
extends java.lang.Object

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

Author:
Evren Sirin

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
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,
                                                 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