public class ExtendedOntologyImpl extends Object implements ExtendedOntology, NormalizedIntegerAxiomVisitor<Boolean>
Constructor and Description |
---|
ExtendedOntologyImpl()
Constructs an empty ontology.
|
Modifier and Type | Method and Description |
---|---|
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 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 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.
|
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 axiompublic Set<GCI1Axiom> getGCI1Axioms(int classId)
ExtendedOntology
getGCI1Axioms
in interface ExtendedOntology
classId
- class identifier occurring in the left part of the axiompublic Set<GCI2Axiom> getGCI2Axioms(int classId)
ExtendedOntology
getGCI2Axioms
in interface ExtendedOntology
classId
- class identifier occurring in the left part of the axiompublic Set<GCI3Axiom> getGCI3AAxioms(int classId)
ExtendedOntology
getGCI3AAxioms
in interface ExtendedOntology
classId
- class identifier occurring in the left part of the axiompublic Set<GCI3Axiom> getGCI3rAAxioms(int objectPropertyId, int leftClassId)
ExtendedOntology
getGCI3rAAxioms
in interface ExtendedOntology
objectPropertyId
- object property identifier occurring in the left part of the
axiomleftClassId
- class identifier occurring in the left part of the axiompublic Set<GCI3Axiom> getGCI3rAxioms(int objectPropertyId)
ExtendedOntology
getGCI3rAxioms
in interface ExtendedOntology
objectPropertyId
- object property identifier occurring in the axiompublic 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
axiompublic Set<RI2Axiom> getRI2sAxioms(int elem)
ExtendedOntology
getRI2sAxioms
in interface ExtendedOntology
elem
- object property identifier occurring in the right part of the
axiompublic 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 axiompublic 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 axiompublic 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 Boolean visit(FunctObjectPropAxiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(GCI0Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(GCI1Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(GCI2Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(GCI3Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(NominalAxiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(RangeAxiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(RI1Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(RI2Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiompublic Boolean visit(RI3Axiom axiom)
NormalizedIntegerAxiomVisitor
visit
in interface NormalizedIntegerAxiomVisitor<Boolean>
axiom
- axiomCopyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.