public class CelExtendedOntology extends Object implements NormalizedIntegerAxiomVisitor<Boolean>
Constructor and Description |
---|
CelExtendedOntology()
Constructs a new CEL extended ontology.
|
Modifier and Type | Method and Description |
---|---|
void |
clear()
Clears all the internal sets.
|
Set<ExtensionEntry> |
getClassEntries(Integer classId)
Returns the class entries related to the specified class.
|
Set<Integer> |
getClassSet()
Returns the set of classes.
|
Set<ExtensionEntry> |
getExistentialEntries(Integer propertyId,
Integer classId)
Returns the existential entries related to the specified object property
and class.
|
Set<RI3Axiom> |
getSubPropertyAxiomSetByLeft(Integer elem)
Returns the set of sub object property axioms related where the specified
object property occurs on the left-hand part of the composition.
|
Set<RI3Axiom> |
getSubPropertyAxiomSetByRight(Integer elem)
Returns the set of sub object property axioms related where the specified
object property occurs on the right-hand part of the composition.
|
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 CelExtendedOntology()
public void clear()
public Set<ExtensionEntry> getClassEntries(Integer classId)
classId
- class identifierpublic Set<Integer> getClassSet()
public Set<ExtensionEntry> getExistentialEntries(Integer propertyId, Integer classId)
propertyId
- object property identifierclassId
- class identifierpublic Set<RI3Axiom> getSubPropertyAxiomSetByLeft(Integer elem)
elem
- object propertypublic Set<RI3Axiom> getSubPropertyAxiomSetByRight(Integer elem)
elem
- object propertypublic void load(Set<NormalizedIntegerAxiom> axiomSet)
axiomSet
- set of normalized axiomspublic 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.