|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use IntegerClassExpression | |
---|---|
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. |
Uses of IntegerClassExpression in de.tudresden.inf.lat.jcel.ontology.axiom.complex |
---|
Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return IntegerClassExpression | |
---|---|
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. |
Methods in de.tudresden.inf.lat.jcel.ontology.axiom.complex that return types with arguments of type IntegerClassExpression | |
---|---|
Set<IntegerClassExpression> |
IntegerEquivalentClassesAxiom.getClassExpressions()
Returns the set of equivalent classes in this axiom. |
Set<IntegerClassExpression> |
IntegerDisjointClassesAxiom.getClassExpressions()
Returns the set of disjoint classes in this axiom. |
Method parameters in de.tudresden.inf.lat.jcel.ontology.axiom.complex with type arguments of type IntegerClassExpression | |
---|---|
IntegerDisjointClassesAxiom |
ComplexIntegerAxiomFactoryImpl.createDisjointClassesAxiom(Set<IntegerClassExpression> descSet)
|
IntegerDisjointClassesAxiom |
ComplexIntegerAxiomFactory.createDisjointClassesAxiom(Set<IntegerClassExpression> descSet)
Constructs a new disjoint classes axiom. |
IntegerEquivalentClassesAxiom |
ComplexIntegerAxiomFactoryImpl.createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
|
IntegerEquivalentClassesAxiom |
ComplexIntegerAxiomFactory.createEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
Constructs a new equivalent classes axiom. |
Constructors in de.tudresden.inf.lat.jcel.ontology.axiom.complex with parameters of type IntegerClassExpression | |
---|---|
IntegerClassAssertionAxiom(IntegerClassExpression classExpr,
Integer individualId)
Constructs a new class assertion axiom. |
|
IntegerPropertyRangeAxiom(IntegerObjectPropertyExpression prop,
IntegerClassExpression clExpr)
Constructs a new object property range axiom. |
|
IntegerSubClassOfAxiom(IntegerClassExpression subClExpr,
IntegerClassExpression superClExpr)
Constructs a new subclass axiom. |
Constructor parameters in de.tudresden.inf.lat.jcel.ontology.axiom.complex with type arguments of type IntegerClassExpression | |
---|---|
IntegerDisjointClassesAxiom(Set<IntegerClassExpression> descSet)
Constructs a new disjoint classes axiom. |
|
IntegerEquivalentClassesAxiom(Set<IntegerClassExpression> descSet)
Constructs a new equivalent classes axiom. |
Uses of IntegerClassExpression in de.tudresden.inf.lat.jcel.ontology.datatype |
---|
Classes in de.tudresden.inf.lat.jcel.ontology.datatype that implement IntegerClassExpression | |
---|---|
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. |
Methods in de.tudresden.inf.lat.jcel.ontology.datatype that return IntegerClassExpression | |
---|---|
IntegerClassExpression |
IntegerObjectSomeValuesFrom.getFiller()
Returns the filler. |
IntegerClassExpression |
IntegerDataSomeValuesFrom.getFiller()
Returns the class expression in this class expression. |
Methods in de.tudresden.inf.lat.jcel.ontology.datatype that return types with arguments of type IntegerClassExpression | |
---|---|
Set<IntegerClassExpression> |
IntegerObjectIntersectionOf.getOperands()
Return the operands in this class expression. |
Methods in de.tudresden.inf.lat.jcel.ontology.datatype with parameters of type IntegerClassExpression | |
---|---|
IntegerDataSomeValuesFrom |
IntegerDataTypeFactoryImpl.createDataSomeValuesFrom(int dataPropertyId,
IntegerClassExpression classExpression)
|
IntegerDataSomeValuesFrom |
IntegerDataTypeFactory.createDataSomeValuesFrom(int dataPropertyId,
IntegerClassExpression classExpression)
Creates an existential restriction. |
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactoryImpl.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
|
IntegerObjectSomeValuesFrom |
IntegerDataTypeFactory.createObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Creates an existential restriction. |
Method parameters in de.tudresden.inf.lat.jcel.ontology.datatype with type arguments of type IntegerClassExpression | |
---|---|
IntegerObjectIntersectionOf |
IntegerDataTypeFactoryImpl.createObjectIntersectionOf(Set<IntegerClassExpression> operands)
|
IntegerObjectIntersectionOf |
IntegerDataTypeFactory.createObjectIntersectionOf(Set<IntegerClassExpression> operands)
Creates an intersection of class expressions. |
Constructors in de.tudresden.inf.lat.jcel.ontology.datatype with parameters of type IntegerClassExpression | |
---|---|
IntegerDataSomeValuesFrom(Integer propertyId,
IntegerClassExpression classExpression)
Constructs an existential restriction. |
|
IntegerObjectSomeValuesFrom(IntegerObjectPropertyExpression propertyExpression,
IntegerClassExpression classExpression)
Constructs an existential restriction. |
Constructor parameters in de.tudresden.inf.lat.jcel.ontology.datatype with type arguments of type IntegerClassExpression | |
---|---|
IntegerObjectIntersectionOf(Set<IntegerClassExpression> operands)
Constructs an intersection of class expressions. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |