Package | Description |
---|---|
de.tudresden.inf.lat.jcel.ontology.axiom.complex |
Provides interfaces and classes that model complex axioms.
|
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 |
---|---|
IntegerObjectPropertyExpression |
IntegerInverseObjectPropertiesAxiom.getFirstProperty()
Returns one of object properties (called first) in this axiom.
|
IntegerObjectPropertyExpression |
IntegerTransitiveObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerObjectPropertyAssertionAxiom.getProperty()
Returns the object property expression in this axiom.
|
IntegerObjectPropertyExpression |
IntegerPropertyRangeAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerNegativeObjectPropertyAssertionAxiom.getProperty()
Returns the object property expression in this axiom.
|
IntegerObjectPropertyExpression |
IntegerReflexiveObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerInverseFunctionalObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerFunctionalObjectPropertyAxiom.getProperty()
Returns the object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerInverseObjectPropertiesAxiom.getSecondProperty()
Returns one of object properties (called second) in this axiom.
|
IntegerObjectPropertyExpression |
IntegerSubObjectPropertyOfAxiom.getSubProperty()
Returns the sub object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerSubObjectPropertyOfAxiom.getSuperProperty()
Returns the super object property in this axiom.
|
IntegerObjectPropertyExpression |
IntegerSubPropertyChainOfAxiom.getSuperProperty()
Returns the super object property expression.
|
Modifier and Type | Method and Description |
---|---|
Set<IntegerObjectPropertyExpression> |
IntegerEquivalentObjectPropertiesAxiom.getProperties()
Returns the set of equivalent object properties in this axiom.
|
List<IntegerObjectPropertyExpression> |
IntegerSubPropertyChainOfAxiom.getPropertyChain() |
Modifier and Type | Class and Description |
---|---|
class |
IntegerObjectInverseOf
This class models an inverse object property.
|
class |
IntegerObjectProperty
This class models an object property.
|
Modifier and Type | Method and Description |
---|---|
IntegerObjectPropertyExpression |
IntegerObjectSomeValuesFrom.getProperty() |
Modifier and Type | Method and Description |
---|---|
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactory.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Creates an existential restriction.
|
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactoryImpl.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression) |
Constructor and Description |
---|
IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Constructs an existential restriction.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.