Package de.tudresden.inf.lat.jcel.reasoner.main

Provides interfaces and classes used for the reasoner.

See:
          Description

Interface Summary
IntegerReasoner This interface models a reasoner.
 

Class Summary
OntologyEntailmentChecker An object of this class checks ontology entailment.
RuleBasedReasoner This class models a rule-based reasoner.
 

Exception Summary
UnsupportedQueryException This exception is thrown when a query is not supported.
 

Package de.tudresden.inf.lat.jcel.reasoner.main Description

Provides interfaces and classes used for the reasoner.
It uses the following packages:



Copyright © 2012. All Rights Reserved.