|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.lehigh.swat.hawk.storage.simplememory.Document
edu.lehigh.swat.hawk.storage.simpledb.Document
edu.lehigh.swat.hawk.storage.simpledb.Ontology
edu.lehigh.swat.hawk.storage.dldb.Ontology
edu.lehigh.swat.hawk.storage.ontper.dldb.Ontology
public class Ontology
encapsulating the web ontology
Field Summary |
---|
Fields inherited from class edu.lehigh.swat.hawk.storage.simpledb.Ontology |
---|
dbName, memoryOnto, ontSeq |
Fields inherited from class edu.lehigh.swat.hawk.storage.simpledb.Document |
---|
ancestors, model, stmt |
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(Ontology mOnto)
Constructor |
Method Summary | |
---|---|
void |
addOntClass(OntClass c)
add a class to this ontology |
void |
addProperty(OntProperty prop)
add a property to this ontology |
void |
flush()
Flush the axioms into database. |
void |
flushCyclicRules()
|
protected void |
flushEquivals()
The logic here is that subsumptions inherited from equivalencies should have already been taken care of by the DL reasoner. |
protected void |
flushInverseOf()
Flush owl:inverseOf into db view. |
protected void |
flushSubs()
|
DocId[] |
getCompatiblePriorOnts()
Get the priorVersion ontologies which are backwardCompatibleWith |
void |
updateView(Atom a,
java.util.Vector<java.util.Vector<Atom>> DNF)
|
Methods inherited from class edu.lehigh.swat.hawk.storage.simpledb.Document |
---|
createIndividual, deleteIndividual, getAncestors, getDocSeq, getModel, setDocSeq, setModel, setSQLStatement |
Methods inherited from class edu.lehigh.swat.hawk.storage.simplememory.Document |
---|
addAssertion, addDescription, addDistinctIndividualsSet, addSameIndividualsSet, deleteAllIndividual, deleteAssertion, deleteDescriprion, deleteDistinctIndividualsSet, deleteImports, deleteSameIndividualsSet, equals, getAllAssertions, getAllDescriptions, getAllIndividuals, getAssertionIterator, getDescendants, getDescription, getDistinctIndividualsSets, getImports, getIndividual, getIndividualIterator, getLabel, getNameSpaces, getSameIndividualsSets, getSize, getXMLBase, setDescendants, setLabel, setNameSpaces, setSize, setXMLBase |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public Ontology(Ontology mOnto)
Method Detail |
---|
public void addOntClass(OntClass c)
addOntClass
in interface Ontology
addOntClass
in class Ontology
public void addProperty(OntProperty prop)
addProperty
in interface Ontology
addProperty
in class Ontology
public void flush()
flush
in interface Document
flush
in class Ontology
protected void flushSubs()
flushSubs
in class Ontology
protected void flushEquivals()
flushEquivals
in class Ontology
protected void flushInverseOf()
flushInverseOf
in class Ontology
public void updateView(Atom a, java.util.Vector<java.util.Vector<Atom>> DNF)
updateView
in class Ontology
public void flushCyclicRules()
flushCyclicRules
in class Ontology
public DocId[] getCompatiblePriorOnts()
getCompatiblePriorOnts
in interface Ontology
getCompatiblePriorOnts
in class Ontology
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |