edu.lehigh.swat.hawk.storage.dlmemory
Class Ontology

java.lang.Object
  extended by edu.lehigh.swat.hawk.storage.simplememory.SerializableClass
      extended by edu.lehigh.swat.hawk.storage.simplememory.Document
          extended by edu.lehigh.swat.hawk.storage.simplememory.Ontology
              extended by edu.lehigh.swat.hawk.storage.dlmemory.Ontology
All Implemented Interfaces:
Document, Ontology, java.io.Serializable

public class Ontology
extends Ontology

An implementation of core.ontology, can do inference with a DL reasoner.

See Also:
Serialized Form

Constructor Summary
Ontology()
          Constructor.
 
Method Summary
 void computeSubsumptions(java.lang.String rUrl, Ontology[] imports)
          Use a DL reasoner to do inference on this ontology, then rearrange it based upon the results.
 
Methods inherited from class edu.lehigh.swat.hawk.storage.simplememory.Ontology
addCompatiblePriorOnts, addImportedClass, addImportedProperty, addOntClass, addPriorOnts, addProperty, addRestriction, createClass, createProperty, createRestriction, deleteCompatiblePriorOnts, deleteOntClass, deletePriorOnts, deleteProperty, deleteRestriction, getAllClasses, getAllPlusImportedClasses, getAllPlusImportedProperties, getAllProperties, getAllRestrictions, getClassIterator, getCompatiblePriorOnts, getOntClass, getPriorOnts, getProperty, getPropertyIterator, getRestriction, getVersion, hasClass, hasProperty, importedClass, importedProperty, setVersion
 
Methods inherited from class edu.lehigh.swat.hawk.storage.simplememory.Document
addAssertion, addDescription, addDistinctIndividualsSet, addImports, addIndividual, addSameIndividualsSet, createIndividual, deleteAssertion, deleteDescriprion, deleteDistinctIndividualsSet, deleteImports, deleteIndividual, deleteSameIndividualsSet, flush, getAllAssertions, getAllDescriptions, getAllIndividuals, getAssertionIterator, getDescendants, getDescription, getDistinctIndividualsSets, getID, getImports, getIndividual, getIndividualIterator, getLabel, getNameSpaces, getSameIndividualsSets, getXMLBase, setDescendants, setID, setLabel, setNameSpaces, setXMLBase
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface edu.lehigh.swat.hawk.core.Document
addAssertion, addDescription, addDistinctIndividualsSet, addImports, addIndividual, addSameIndividualsSet, createIndividual, deleteAssertion, deleteDescriprion, deleteDistinctIndividualsSet, deleteImports, deleteIndividual, deleteSameIndividualsSet, flush, getAllAssertions, getAllDescriptions, getAllIndividuals, getAssertionIterator, getDescendants, getDescription, getDistinctIndividualsSets, getID, getImports, getIndividual, getIndividualIterator, getLabel, getNameSpaces, getSameIndividualsSets, getXMLBase, setDescendants, setID, setLabel, setNameSpaces, setXMLBase
 

Constructor Detail

Ontology

public Ontology()
Constructor.

Method Detail

computeSubsumptions

public void computeSubsumptions(java.lang.String rUrl,
                                Ontology[] imports)
Use a DL reasoner to do inference on this ontology, then rearrange it based upon the results. Currently we check the satisfibility and ask for parents of each class. We also asks for the equivalent classes of each class. Note: we don't delete the restrictions in the original superClass set. Thus in one class's superClass set, it's possible that some property restrictions subsume one of the direct superClass.

Parameters:
rUrl - The url of the http reasoner, by default it is http://localhost:8080 .