Provides interfaces and classes to run the classification
algorithm using module extraction.
dispose() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
Disposes this reasoner.
dispose() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
F
- flattenClassExpression(IntegerClassExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- flush() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Applies changes to the ontology when the reasoner is buffered.
- flush() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
G
- getBottomClassNode() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the bottom class node.
- getBottomClassNode() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getBottomDataPropertyNode() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the bottom data property node.
- getBottomDataPropertyNode() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getBottomObjectPropertyNode() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the bottom object property node.
- getBottomObjectPropertyNode() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getClassHierarchy() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getClassHierarchy() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDataPropertyDomains(IntegerDataProperty, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the classes that are domains of the specified data property.
- getDataPropertyDomains(IntegerDataProperty, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDataPropertyHierarchy() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getDataPropertyHierarchy() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDataPropertyValues(IntegerNamedIndividual, IntegerDataProperty) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the data property values for the specified individual and data
property.
- getDataPropertyValues(IntegerNamedIndividual, IntegerDataProperty) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDifferentIndividuals(IntegerNamedIndividual) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the individuals that are known to be different from the specified
individual.
- getDifferentIndividuals(IntegerNamedIndividual) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDirectTypes() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getDirectTypes() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getDisjointClasses(IntegerClassExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the classes that are disjoint with the specified class
expression.
- getDisjointClasses(IntegerClassExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDisjointDataProperties(IntegerDataPropertyExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the data properties that are disjoint with the specified data
property expression.
- getDisjointDataProperties(IntegerDataPropertyExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getDisjointObjectProperties(IntegerObjectPropertyExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the object properties that are disjoint with the specified object
property expression.
- getDisjointObjectProperties(IntegerObjectPropertyExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentClasses(IntegerClassExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the classes that are equivalent to the specified class
expression.
- getEquivalentClasses(IntegerClassExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentDataProperties(IntegerDataProperty) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the data properties that are equivalent to the specified data
property expression.
- getEquivalentDataProperties(IntegerDataProperty) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getEquivalentObjectProperties(IntegerObjectPropertyExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the object properties that are equivalent to the specified object
property expression.
- getEquivalentObjectProperties(IntegerObjectPropertyExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getInstances(IntegerClassExpression, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the individuals that are instances of the specified class
expression.
- getInstances(IntegerClassExpression, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getInverseObjectProperties(IntegerObjectPropertyExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the object property expressions that are the inverses of the
specified object property expression.
- getInverseObjectProperties(IntegerObjectPropertyExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertyDomains(IntegerObjectPropertyExpression, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the classes that are domains of the specified object property
expression.
- getObjectPropertyDomains(IntegerObjectPropertyExpression, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertyHierarchy() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getObjectPropertyHierarchy() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getObjectPropertyRanges(IntegerObjectPropertyExpression, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the classes that are ranges of the specified object property
expression.
- getObjectPropertyRanges(IntegerObjectPropertyExpression, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getObjectPropertyValues(IntegerNamedIndividual, IntegerObjectPropertyExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the object property values for the specified individual and
object property expression
- getObjectPropertyValues(IntegerNamedIndividual, IntegerObjectPropertyExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getProcessor() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getReasoner() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- getReasonerName() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the name of this reasoner.
- getReasonerName() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getReasonerVersion() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the version of this reasoner.
- getReasonerVersion() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSameIndividualMap() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- getSameIndividualMap() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- getSameIndividuals(IntegerNamedIndividual) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the individuals that are equivalent to the specified individual.
- getSameIndividuals(IntegerNamedIndividual) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubClasses(IntegerClassExpression, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the sub classes of a specified class expression.
- getSubClasses(IntegerClassExpression, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubDataProperties(IntegerDataProperty, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the sub data properties of a specified data property.
- getSubDataProperties(IntegerDataProperty, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSubObjectProperties(IntegerObjectPropertyExpression, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the sub object properties of a specified object property
expression.
- getSubObjectProperties(IntegerObjectPropertyExpression, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperClasses(IntegerClassExpression, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the super classes of a specified class expression.
- getSuperClasses(IntegerClassExpression, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperDataProperties(IntegerDataProperty, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the super data properties of a specified data property.
- getSuperDataProperties(IntegerDataProperty, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getSuperObjectProperties(IntegerObjectPropertyExpression, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the super object properties of a specified object property
expression.
- getSuperObjectProperties(IntegerObjectPropertyExpression, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTimeOut() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the time out.
- getTimeOut() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopClassNode() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the top class node.
- getTopClassNode() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopDataPropertyNode() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the top data property node.
- getTopDataPropertyNode() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTopObjectPropertyNode() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the top object property node.
- getTopObjectPropertyNode() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getTypes(IntegerNamedIndividual, boolean) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the types of a specified individual.
- getTypes(IntegerNamedIndividual, boolean) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- getUnsatisfiableClasses() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Returns the set of unsatisfiable classes.
- getUnsatisfiableClasses() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
I
- IntegerReasoner - Interface in de.tudresden.inf.lat.jcel.reasoner.main
- This interface models a reasoner.
- interrupt() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Sends a request to the reasoner to stop its processing.
- interrupt() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isClassified() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isConsistent() -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Tells whether the ontology is consistent.
- isConsistent() -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isEntailed(ComplexIntegerAxiom) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Tells whether the specified axiom is entailed by the ontology.
- isEntailed(Set<ComplexIntegerAxiom>) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Tells whether the specified set of axioms is entailed by the ontology.
- isEntailed(ComplexIntegerAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isEntailed(Set<ComplexIntegerAxiom>) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
- isReady() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- isReady() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
- isSatisfiable(IntegerClassExpression) -
Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
- Tells whether the specified class expression is satisfiable.
- isSatisfiable(IntegerClassExpression) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
M
- ModuleProcessor - Class in de.tudresden.inf.lat.jcel.reasoner.module
- An object of this class classifies an ontology.
- ModuleProcessor(Set<ComplexIntegerAxiom>, ModuleProcessorFactory) -
Constructor for class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
- Constructs a new module processor.
- ModuleProcessorFactory - Interface in de.tudresden.inf.lat.jcel.reasoner.module
- This interface provides a method to create a processor.
O
- OntologyEntailmentChecker - Class in de.tudresden.inf.lat.jcel.reasoner.main
- An object of this class checks ontology entailment.
- OntologyEntailmentChecker(RuleBasedReasoner) -
Constructor for class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
- Constructs a new ontology entailment checker.
P
- process() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
-
- process() -
Method in class de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessor
-
R
- RuleBasedReasoner - Class in de.tudresden.inf.lat.jcel.reasoner.main
- This class models a rule-based reasoner.
- RuleBasedReasoner(Set<ComplexIntegerAxiom>, IntegerOntologyObjectFactory) -
Constructor for class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
-
U
- UnsupportedQueryException - Exception in de.tudresden.inf.lat.jcel.reasoner.main
- This exception is thrown when a query is not supported.
- UnsupportedQueryException(String) -
Constructor for exception de.tudresden.inf.lat.jcel.reasoner.main.UnsupportedQueryException
-
- UnsupportedQueryException(String, Throwable) -
Constructor for exception de.tudresden.inf.lat.jcel.reasoner.main.UnsupportedQueryException
-
- UnsupportedQueryException(Throwable) -
Constructor for exception de.tudresden.inf.lat.jcel.reasoner.main.UnsupportedQueryException
-
V
- visit(IntegerClassAssertionAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerClassDeclarationAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerDataPropertyAssertionAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerDataPropertyDeclarationAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerDifferentIndividualsAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerDisjointClassesAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerEquivalentClassesAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerEquivalentObjectPropertiesAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerFunctionalObjectPropertyAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerInverseFunctionalObjectPropertyAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerInverseObjectPropertiesAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerNamedIndividualDeclarationAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerNegativeObjectPropertyAssertionAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerObjectPropertyAssertionAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerObjectPropertyDeclarationAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerPropertyRangeAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerReflexiveObjectPropertyAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerSameIndividualAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerSubClassOfAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerSubObjectPropertyOfAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerSubPropertyChainOfAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
- visit(IntegerTransitiveObjectPropertyAxiom) -
Method in class de.tudresden.inf.lat.jcel.reasoner.main.OntologyEntailmentChecker
-
C D F G I M O P R U V
Copyright © 2012. All Rights Reserved.