Class NaiveDlReasoner
java.lang.Object
org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner
- All Implemented Interfaces:
QualitativeReasoner<DlBeliefSet,DlAxiom>
,Reasoner<Boolean,DlBeliefSet,DlAxiom>
Naive reasoner for the description logic ALC.
- Author:
- Anna Gessler
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionGet all interpretations for the given signature.query(DlBeliefSet kb, DlAxiom formula)
Queries the given belief base for the given formula.
-
Constructor Details
-
NaiveDlReasoner
public NaiveDlReasoner()
-
-
Method Details
-
query
Description copied from interface:Reasoner
Queries the given belief base for the given formula.- Specified by:
query
in interfaceQualitativeReasoner<DlBeliefSet,DlAxiom>
- Specified by:
query
in interfaceReasoner<Boolean,DlBeliefSet,DlAxiom>
- Parameters:
kb
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
getAllInterpretations
Get all interpretations for the given signature.- Parameters:
sig
- a DLSignature- Returns:
- set of all interpretations
-