Uses of Class
de.tudresden.inf.lat.jcel.reasoner.main.RuleBasedReasoner

Packages that use RuleBasedReasoner
de.tudresden.inf.lat.jcel.reasoner.main
Provides interfaces and classes used for the reasoner. 
 

Uses of RuleBasedReasoner in de.tudresden.inf.lat.jcel.reasoner.main
 

Methods in de.tudresden.inf.lat.jcel.reasoner.main that return RuleBasedReasoner
 RuleBasedReasoner OntologyEntailmentChecker.getReasoner()
           
 

Constructors in de.tudresden.inf.lat.jcel.reasoner.main with parameters of type RuleBasedReasoner
OntologyEntailmentChecker(RuleBasedReasoner reasoner)
          Constructs a new ontology entailment checker.
 



Copyright © 2012. All Rights Reserved.