Package | Description |
---|---|
de.tudresden.inf.lat.jcel.ontology.datatype |
Provides interfaces and classes with the data types used in
the axioms of the classification algorithm.
|
Modifier and Type | Method and Description |
---|---|
IntegerDataSomeValuesFrom |
IntegerDataTypeFactory.createDataSomeValuesFrom(int dataPropertyId,
IntegerClassExpression classExpression)
Creates an existential restriction.
|
IntegerDataSomeValuesFrom |
IntegerDataTypeFactoryImpl.createDataSomeValuesFrom(int dataPropertyId,
IntegerClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
T |
IntegerClassExpressionVisitor.visit(IntegerDataSomeValuesFrom classExpression)
Visits an existential restriction with data properties.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.