Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
Modifier and Type | Method and Description |
---|---|
GCI2Axiom |
NormalizedIntegerAxiomFactory.createGCI2Axiom(int leftClassId,
int rightPropertyId,
int rightClassId,
Set<Annotation> annotations)
Constructs a new GCI-2 axiom.
|
GCI2Axiom |
NormalizedIntegerAxiomFactoryImpl.createGCI2Axiom(int leftCl,
int rightProp,
int rightCl,
Set<Annotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Set<GCI2Axiom> |
ExtendedOntologyImpl.getGCI2Axioms(int classId) |
Set<GCI2Axiom> |
ExtendedOntology.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.
|
Modifier and Type | Method and Description |
---|---|
Boolean |
ExtendedOntologyImpl.visit(GCI2Axiom axiom) |
T |
NormalizedIntegerAxiomVisitor.visit(GCI2Axiom axiom)
Visits a GCI-2 axiom.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.