Package | Description |
---|---|
de.tudresden.inf.lat.jcel.coreontology.axiom |
Provides interfaces and classes that model normalized axioms.
|
Modifier and Type | Method and Description |
---|---|
FunctObjectPropAxiom |
NormalizedIntegerAxiomFactory.createFunctObjectPropAxiom(int propertyId,
Set<Annotation> annotations)
Constructs a new functional object property axiom.
|
FunctObjectPropAxiom |
NormalizedIntegerAxiomFactoryImpl.createFunctObjectPropAxiom(int propertyId,
Set<Annotation> annotations) |
Modifier and Type | Method and Description |
---|---|
Boolean |
ExtendedOntologyImpl.visit(FunctObjectPropAxiom axiom) |
T |
NormalizedIntegerAxiomVisitor.visit(FunctObjectPropAxiom axiom)
Visits a functional object property axiom.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.