|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.tudresden.inf.lat.jcel.coreontology.axiom.ExtendedOntologyImpl
public class ExtendedOntologyImpl
This class models an ontology with the property to look up by axiom type.
Constructor Summary | |
---|---|
ExtendedOntologyImpl()
Constructs an empty ontology. |
Method Summary | |
---|---|
void |
addClass(int classId)
Adds a class to the ontology. |
void |
addObjectProperty(int objectProperty)
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 propertyId,
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 elem)
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 elem)
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 elem)
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 elem)
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. |
String |
toString()
|
Boolean |
visit(FunctObjectPropAxiom axiom)
Visits a functional object property axiom. |
Boolean |
visit(GCI0Axiom axiom)
Visits a GCI-0 axiom. |
Boolean |
visit(GCI1Axiom axiom)
Visits a GCI-1 axiom. |
Boolean |
visit(GCI2Axiom axiom)
Visits a GCI-2 axiom. |
Boolean |
visit(GCI3Axiom axiom)
Visits a GCI-3 axiom. |
Boolean |
visit(NominalAxiom axiom)
Visits a nominal axiom. |
Boolean |
visit(RangeAxiom axiom)
Visits a range axiom. |
Boolean |
visit(RI1Axiom axiom)
Visits an RI-1 axiom. |
Boolean |
visit(RI2Axiom axiom)
Visits an RI-2 axiom. |
Boolean |
visit(RI3Axiom axiom)
Visits an RI-3 axiom. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public ExtendedOntologyImpl()
Method Detail |
---|
public void addClass(int classId)
ExtendedOntology
addClass
in interface ExtendedOntology
classId
- class to be addedpublic void addObjectProperty(int objectProperty)
ExtendedOntology
addObjectProperty
in interface ExtendedOntology
objectProperty
- object property to be addedpublic void clear()
ExtendedOntology
clear
in interface ExtendedOntology
public Set<Integer> getClassSet()
ExtendedOntology
getClassSet
in interface ExtendedOntology
public Set<Integer> getFunctionalObjectProperties()
ExtendedOntology
getFunctionalObjectProperties
in interface ExtendedOntology
public Set<GCI0Axiom> getGCI0Axioms(int classId)
ExtendedOntology
getGCI0Axioms
in interface ExtendedOntology
classId
- class identifier occurring in the left part of the axiom
public Set<GCI1Axiom> getGCI1Axioms(int classId)
ExtendedOntology
getGCI1Axioms
in interface ExtendedOntology
classId
- class identifier occurring in the left part of the axiom
public Set<GCI2Axiom> getGCI2Axioms(int classId)
ExtendedOntology
getGCI2Axioms
in interface ExtendedOntology
classId
- class identifier occurring in the left part of the axiom
public Set<GCI3Axiom> getGCI3AAxioms(int classId)
ExtendedOntology
getGCI3AAxioms
in interface ExtendedOntology
classId
- class identifier occurring in the left part of the axiom
public Set<GCI3Axiom> getGCI3rAAxioms(int propertyId, int leftClassId)
ExtendedOntology
getGCI3rAAxioms
in interface ExtendedOntology
propertyId
- object property identifier occurring in the left part of the
axiomleftClassId
- class identifier occurring in the left part of the axiom
public Set<GCI3Axiom> getGCI3rAxioms(int objectPropertyId)
ExtendedOntology
getGCI3rAxioms
in interface ExtendedOntology
objectPropertyId
- object property identifier occurring in the axiom
public Set<Integer> getObjectPropertySet()
ExtendedOntology
getObjectPropertySet
in interface ExtendedOntology
public Set<Integer> getReflexiveObjectProperties()
ExtendedOntology
getReflexiveObjectProperties
in interface ExtendedOntology
public Set<RI2Axiom> getRI2rAxioms(int elem)
ExtendedOntology
getRI2rAxioms
in interface ExtendedOntology
elem
- object property identifier occurring in the left part of the
axiom
public Set<RI2Axiom> getRI2sAxioms(int elem)
ExtendedOntology
getRI2sAxioms
in interface ExtendedOntology
elem
- object property identifier occurring in the right part of the
axiom
public Set<RI3Axiom> getRI3AxiomsByLeft(int elem)
ExtendedOntology
getRI3AxiomsByLeft
in interface ExtendedOntology
elem
- object property identifier occurring in the left part of the
composition, in the left part of the axiom
public Set<RI3Axiom> getRI3AxiomsByRight(int elem)
ExtendedOntology
getRI3AxiomsByRight
in interface ExtendedOntology
elem
- object property identifier occurring in the right part of the
composition, in the left part of the axiom
public Set<Integer> getTransitiveObjectProperties()
ExtendedOntology
getTransitiveObjectProperties
in interface ExtendedOntology
public void load(Set<NormalizedIntegerAxiom> axiomSet)
ExtendedOntology
load
in interface ExtendedOntology
axiomSet
- set of normalized axioms to be loadedpublic String toString()
toString
in class Object
public Boolean visit(FunctObjectPropAxiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(GCI0Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(GCI1Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(GCI2Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(GCI3Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(NominalAxiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(RangeAxiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(RI1Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(RI2Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
public Boolean visit(RI3Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiom
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |