public interface ExtendedOntology
Modifier and Type | Method and Description |
---|---|
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.
|
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 axiomSet<GCI1Axiom> getGCI1Axioms(int classId)
classId
- class identifier occurring in the left part of the axiomSet<GCI2Axiom> getGCI2Axioms(int classId)
classId
- class identifier occurring in the left part of the axiomSet<GCI3Axiom> getGCI3AAxioms(int classId)
classId
- class identifier occurring in the left part of the axiomSet<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 axiomSet<GCI3Axiom> getGCI3rAxioms(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the axiomSet<Integer> getObjectPropertySet()
Set<Integer> getReflexiveObjectProperties()
Set<RI2Axiom> getRI2rAxioms(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the left part of the
axiomSet<RI2Axiom> getRI2sAxioms(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the right part of the
axiomSet<RI3Axiom> getRI3AxiomsByLeft(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the left part of the
composition, in the left part of the axiomSet<RI3Axiom> getRI3AxiomsByRight(int objectPropertyId)
objectPropertyId
- object property identifier occurring in the right part of the
composition, in the left part of the axiomSet<Integer> getTransitiveObjectProperties()
void load(Set<NormalizedIntegerAxiom> axiomSet)
axiomSet
- set of normalized axioms to be loadedCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.