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 |
---|---|
IntegerClassExpression |
IntegerClassAssertionAxiom.getClassExpression()
Returns the class expression in the axiom.
|
IntegerClassExpression |
IntegerPropertyRangeAxiom.getRange()
Returns the class expression in this axiom.
|
IntegerClassExpression |
IntegerSubClassOfAxiom.getSubClass()
Returns the subclass in this axiom.
|
IntegerClassExpression |
IntegerSubClassOfAxiom.getSuperClass()
Returns the superclass in this axiom.
|
Modifier and Type | Method and Description |
---|---|
Set<IntegerClassExpression> |
IntegerDisjointClassesAxiom.getClassExpressions()
Returns the set of disjoint classes in this axiom.
|
Set<IntegerClassExpression> |
IntegerEquivalentClassesAxiom.getClassExpressions()
Returns the set of equivalent classes in this axiom.
|
Modifier and Type | Method and Description |
---|---|
IntegerDisjointClassesAxiom |
ComplexIntegerAxiomFactoryImpl.createDisjointClassesAxiom(Set<IntegerClassExpression> descSet,
Set<Annotation> annotations) |
IntegerDisjointClassesAxiom |
ComplexIntegerAxiomFactory.createDisjointClassesAxiom(Set<IntegerClassExpression> descSet,
Set<Annotation> annotations)
Constructs a new disjoint classes axiom.
|
IntegerEquivalentClassesAxiom |
ComplexIntegerAxiomFactoryImpl.createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet,
Set<Annotation> annotations) |
IntegerEquivalentClassesAxiom |
ComplexIntegerAxiomFactory.createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet,
Set<Annotation> annotations)
Constructs a new equivalent classes axiom.
|
Modifier and Type | Class and Description |
---|---|
class |
IntegerClass
This models a class, this is : A
|
class |
IntegerDataHasValue
This class models a has-value class expression, this is: ∃ r .
{v} , where r is data property expression and v is a value.
|
class |
IntegerDataSomeValuesFrom
This class models an existential restriction with data properties, this is:
∃ p . C, where p is a data property and C is a class expression.
|
class |
IntegerNamedIndividual
This models a named individual.
|
class |
IntegerObjectIntersectionOf
This class models an intersection of several class expressions, this is:
C1 ⊓ … ⊓ Cn
|
class |
IntegerObjectOneOf
This class models the nominal constructor.
|
class |
IntegerObjectSomeValuesFrom
This class models an existential restriction with object properties, this is:
∃ r . C , where r is an object property expression and C is a
class expression.
|
Modifier and Type | Method and Description |
---|---|
IntegerClassExpression |
IntegerObjectSomeValuesFrom.getFiller()
Returns the filler.
|
IntegerClassExpression |
IntegerDataSomeValuesFrom.getFiller()
Returns the class expression in this class expression.
|
Modifier and Type | Method and Description |
---|---|
Set<IntegerClassExpression> |
IntegerObjectIntersectionOf.getOperands()
Return the operands in this class expression.
|
Modifier and Type | Method and Description |
---|---|
IntegerDataSomeValuesFrom |
IntegerDataTypeFactory.createDataSomeValuesFrom(int dataPropertyId,
IntegerClassExpression classExpression)
Creates an existential restriction.
|
IntegerDataSomeValuesFrom |
IntegerDataTypeFactoryImpl.createDataSomeValuesFrom(int dataPropertyId,
IntegerClassExpression classExpression) |
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactory.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Creates an existential restriction.
|
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactoryImpl.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression) |
Modifier and Type | Method and Description |
---|---|
IntegerObjectIntersectionOf |
IntegerDataTypeFactory.createObjectIntersectionOf(Set<IntegerClassExpression> operands)
Creates an intersection of class expressions.
|
IntegerObjectIntersectionOf |
IntegerDataTypeFactoryImpl.createObjectIntersectionOf(Set<IntegerClassExpression> operands) |
Constructor and Description |
---|
IntegerDataSomeValuesFrom(int propertyId,
IntegerClassExpression classExpression)
Constructs an existential restriction.
|
IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Constructs an existential restriction.
|
Constructor and Description |
---|
IntegerObjectIntersectionOf(Set<IntegerClassExpression> operands)
Constructs an intersection of class expressions.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.