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

java.lang.Object
  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

Field Summary
 
Fields inherited from class edu.lehigh.swat.hawk.storage.simplememory.Document
assertions, comments, distinctSets, docId, imports, individuals, label, nameSpaces, sameSets, size, xmlBase
 
Fields inherited from interface edu.lehigh.swat.hawk.core.Ontology
ALLVALUERESTRICTION, ATOMICNODE, CARDINALITYRESTRICTION, COMPLEMENTOF, DISJOINTWITH, DOMAIN, EQUIVALENTCLASS, EQUIVALENTPROPERTY, HASVALUERESTRICTION, INTERSECTIONOF, INVERSEOF, ONEOF, RANGE, SOMEVALUERESTRICTION, SUBCLASSOF, SUBPROPERTYOF, UNIONOF
 
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
addAllAxiomNodeRestrictions, addAnnotations, addAssertedClass, addAssertedProperty, addAxiom, addAxiomByObject, addAxiomBySubject, addAxiomByType, addAxiomNodeRestriction, addCompatiblePriorOnts, addImportedAxiom, addImportedAxiomByObject, addImportedAxiomBySubject, addImportedAxiomByType, addImportedClass, addImportedProperty, addOntClass, addPriorOnts, addProperty, addRestriction, allPrimitive, assertedClass, assertedProperty, compareConjuncts, convertAxiomsToRules, createClass, createProperty, createRestriction, deleteCompatiblePriorOnts, deleteOntClass, deletePriorOnts, deleteProperty, deleteRestriction, expandAtom, expandRules, getAllAnnotations, getAllAxioms, getAllAxiomsByObject, getAllAxiomsBySubject, getAllAxiomsByType, getAllClasses, getAllPlusImportedAxioms, getAllPlusImportedAxiomsByObject, getAllPlusImportedAxiomsBySubject, getAllPlusImportedAxiomsByType, getAllPlusImportedClasses, getAllPlusImportedProperties, getAllProperties, getAllRestrictions, getAnnotationsByObject, getAnnotationsBySubject, getAxiomByObject, getAxiomBySubject, getAxiomByType, getAxiomNodeRestrictions, getClassIndex, getClassIterator, getCompatiblePriorOnts, getCyclicRules, getExpandedAtoms, getOntClass, getOntObject, getPriorOnts, getProperty, getPropertyIndex, getPropertyIterator, getRestriction, getVersion, hasClass, hasPredicate, hasProperty, importedClass, importedProperty, nodeToAtoms, setVersion
 
Methods inherited from class edu.lehigh.swat.hawk.storage.simplememory.Document
addAssertion, addDescription, addDistinctIndividualsSet, addImports, addIndividual, addSameIndividualsSet, createIndividual, deleteAllIndividual, deleteAssertion, deleteDescriprion, deleteDistinctIndividualsSet, deleteImports, deleteIndividual, deleteSameIndividualsSet, equals, flush, getAllAssertions, getAllDescriptions, getAllIndividuals, getAssertionIterator, getDescendants, getDescription, getDistinctIndividualsSets, getID, getImports, getIndividual, getIndividualIterator, getLabel, getNameSpaces, getSameIndividualsSets, getSize, getXMLBase, setDescendants, setID, setLabel, setNameSpaces, setSize, setXMLBase
 
Methods inherited from class java.lang.Object
clone, 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, getSize, getXMLBase, setDescendants, setID, setLabel, setNameSpaces, setSize, 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 .