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.
|
de.tudresden.inf.lat.jcel.owlapi.translator |
Provides interfaces and classes used in the translation
between OWL API objects and integer numbers (the internal
representation).
|
de.tudresden.inf.lat.jcel.reasoner.main |
Provides interfaces and classes used for the reasoner.
|
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> |
IntegerEquivalentClassesAxiom.getClassExpressions()
Returns the set of equivalent classes in this axiom.
|
Set<IntegerClassExpression> |
IntegerDisjointClassesAxiom.getClassExpressions()
Returns the set of disjoint 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 |
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.
|
Modifier and Type | Method and Description |
---|---|
IntegerObjectIntersectionOf |
IntegerDataTypeFactoryImpl.createObjectIntersectionOf(Set<IntegerClassExpression> operands) |
IntegerObjectIntersectionOf |
IntegerDataTypeFactory.createObjectIntersectionOf(Set<IntegerClassExpression> operands)
Creates an intersection of class expressions.
|
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.
|
Modifier and Type | Method and Description |
---|---|
IntegerClassExpression |
AxiomTranslator.translate(org.semanticweb.owlapi.model.OWLClassExpression owlClassExpression) |
IntegerClassExpression |
Translator.translateCE(org.semanticweb.owlapi.model.OWLClassExpression owlObject) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLClass owlClassExpression) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataAllValuesFrom ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataExactCardinality ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataHasValue ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataMaxCardinality ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataMinCardinality ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLDataSomeValuesFrom ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectAllValuesFrom ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectComplementOf ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectExactCardinality ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectHasSelf ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectHasValue ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectIntersectionOf ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectMaxCardinality ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectMinCardinality ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectOneOf ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectSomeValuesFrom ce) |
IntegerClassExpression |
ClassExpressionTranslator.visit(org.semanticweb.owlapi.model.OWLObjectUnionOf ce) |
Modifier and Type | Method and Description |
---|---|
protected IntegerClass |
RuleBasedReasoner.flattenClassExpression(IntegerClassExpression ce) |
Set<Set<IntegerClass>> |
RuleBasedReasoner.getDisjointClasses(IntegerClassExpression ce) |
Set<Set<IntegerClass>> |
IntegerReasoner.getDisjointClasses(IntegerClassExpression ce)
Returns the classes that are disjoint with the specified class
expression.
|
Set<IntegerClass> |
RuleBasedReasoner.getEquivalentClasses(IntegerClassExpression ce) |
Set<IntegerClass> |
IntegerReasoner.getEquivalentClasses(IntegerClassExpression ce)
Returns the classes that are equivalent to the specified class
expression.
|
Set<Set<IntegerNamedIndividual>> |
RuleBasedReasoner.getInstances(IntegerClassExpression ce,
boolean direct) |
Set<Set<IntegerNamedIndividual>> |
IntegerReasoner.getInstances(IntegerClassExpression ce,
boolean direct)
Returns the individuals that are instances of the specified class
expression.
|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getSubClasses(IntegerClassExpression ce,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getSubClasses(IntegerClassExpression ce,
boolean direct)
Returns the sub classes of a specified class expression.
|
Set<Set<IntegerClass>> |
RuleBasedReasoner.getSuperClasses(IntegerClassExpression ce,
boolean direct) |
Set<Set<IntegerClass>> |
IntegerReasoner.getSuperClasses(IntegerClassExpression ce,
boolean direct)
Returns the super classes of a specified class expression.
|
boolean |
RuleBasedReasoner.isSatisfiable(IntegerClassExpression classExpression) |
boolean |
IntegerReasoner.isSatisfiable(IntegerClassExpression classExpression)
Tells whether the specified class expression is satisfiable.
|
Copyright © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.