|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface ExtendedOntology
This is the interface of an extended ontology provides methods to efficiently retrieve axioms from the ontology.
Method Summary | |
---|---|
void |
addClass(int classId)
Adds a class to the ontology. |
void |
addObjectProperty(int objectPropertyId)
Adds an object property to the ontology. |
void |
clear()
Clears the ontology. |
Set<Integer> |
getClassSet()
Returns the set of all classes in the ontology. |
Set<Integer> |
getFunctionalObjectProperties()
Returns the set of all functional object properties in the ontology. |
Set<GCI0Axiom> |
getGCI0Axioms(int classId)
Returns the set of all axioms GCI0 in the ontology such that the given class occurs in the left part of the axiom. |
Set<GCI1Axiom> |
getGCI1Axioms(int classId)
Returns the set of all axioms GCI1 in the ontology such that the given class occurs in the left part of the axiom. |
Set<GCI2Axiom> |
getGCI2Axioms(int classId)
Returns the set of all axioms GCI2 in the ontology such that the given class occurs in the left part of the axiom. |
Set<GCI3Axiom> |
getGCI3AAxioms(int classId)
Returns the set of all axioms GCI3 in the ontology such that the given class occurs in the left part of the axiom. |
Set<GCI3Axiom> |
getGCI3rAAxioms(int objectPropertyId,
int leftClassId)
Returns the set of all axioms GCI3 in the ontology such that the given object property and the given class occur in the left part of the axiom. |
Set<GCI3Axiom> |
getGCI3rAxioms(int objectPropertyId)
Returns the set of all axioms GCI3 in the ontology such that the given object property occurs in the axiom. |
Set<Integer> |
getObjectPropertySet()
Returns the set of all object properties in the ontology. |
Set<Integer> |
getReflexiveObjectProperties()
Returns the set of all reflexive object properties in the ontology. |
Set<RI2Axiom> |
getRI2rAxioms(int objectPropertyId)
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the left part of the axiom. |
Set<RI2Axiom> |
getRI2sAxioms(int objectPropertyId)
Returns the set of all axioms RI2 in the ontology such that the given object property occurs in the right part of the axiom. |
Set<RI3Axiom> |
getRI3AxiomsByLeft(int objectPropertyId)
Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the left part of the object property composition, in the left part of the axiom. |
Set<RI3Axiom> |
getRI3AxiomsByRight(int objectPropertyId)
Returns the set of all axioms RI3 in the ontology such that the given object property occurs in the right part of the object property composition, in the left part of the axiom. |
Set<Integer> |
getTransitiveObjectProperties()
Returns the set of all transitive object properties in the ontology. |
void |
load(Set<NormalizedIntegerAxiom> axiomSet)
Loads a set of normalized axioms. |
Method Detail |
---|
void addClass(int classId)
classId
- class to be addedvoid addObjectProperty(int objectPropertyId)
objectPropertyId
- object property to be addedvoid clear()
Set<Integer> getClassSet()
Set<Integer> getFunctionalObjectProperties()
Set<GCI0Axiom> getGCI0Axioms(int classId)
classId
- class identifier occurring in the left part of the axiom
Set<GCI1Axiom> getGCI1Axioms(int classId)
classId
- class identifier occurring in the left part of the axiom
Set<GCI2Axiom> getGCI2Axioms(int classId)
classId
- class identifier occurring in the left part of the axiom
Set<GCI3Axiom> getGCI3AAxioms(int classId)
classId
- class identifier occurring in the left part of the axiom
Set<GCI3Axiom> getGCI3rAAxioms(int objectPropertyId, int leftClassId)
objectPropertyId
- object property identifier occurring in the left part of the
axiomleftClassId
- class identifier occurring in the left part of the axiom
Set<GCI3Axiom> getGCI3rAxioms(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the axiom
Set<Integer> getObjectPropertySet()
Set<Integer> getReflexiveObjectProperties()
Set<RI2Axiom> getRI2rAxioms(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the left part of the
axiom
Set<RI2Axiom> getRI2sAxioms(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the right part of the
axiom
Set<RI3Axiom> getRI3AxiomsByLeft(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the left part of the
composition, in the left part of the axiom
Set<RI3Axiom> getRI3AxiomsByRight(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the right part of the
composition, in the left part of the axiom
Set<Integer> getTransitiveObjectProperties()
void load(Set<NormalizedIntegerAxiom> axiomSet)
axiomSet
- set of normalized axioms to be loaded
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |