C D F G I M O P R U V 

C

classify() - Method in interface de.tudresden.inf.lat.jcel.reasoner.main.IntegerReasoner
Performs classification only if it is needed.
classify() - Method in class de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner
 
ClassModuleProcessor - Class in de.tudresden.inf.lat.jcel.reasoner.module
An object of this class classifies an ontology.
ClassModuleProcessor(Set<ComplexIntegerAxiom>, IntegerOntologyObjectFactory, ModuleProcessorFactory) - Constructor for class de.tudresden.inf.lat.jcel.reasoner.module.ClassModuleProcessor
Constructs a class module processor.
createProcessor(Set<ComplexIntegerAxiom>) - Method in interface de.tudresden.inf.lat.jcel.reasoner.module.ModuleProcessorFactory
Creates a new processor.

D

de.tudresden.inf.lat.jcel.reasoner.main - package de.tudresden.inf.lat.jcel.reasoner.main
Provides interfaces and classes used for the reasoner.
de.tudresden.inf.lat.jcel.reasoner.module - package de.tudresden.inf.lat.jcel.reasoner.module
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

reasonerName - Static variable in interface de.tudresden.inf.lat.jcel.reasoner.main.VersionInfo
 
reasonerVersion - Static variable in interface de.tudresden.inf.lat.jcel.reasoner.main.VersionInfo
 
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

VersionInfo - Interface in de.tudresden.inf.lat.jcel.reasoner.main
This interface contains the reasoner name and version.
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 © 2009–2015 Chair of Automata Theory - TU Dresden. All rights reserved.