Package net.sf.tweety.logics.dl.reasoner
Class NaiveDlReasoner
- java.lang.Object
-
- net.sf.tweety.logics.dl.reasoner.NaiveDlReasoner
-
- All Implemented Interfaces:
QualitativeReasoner<DlBeliefSet,DlAxiom>
,Reasoner<java.lang.Boolean,DlBeliefSet,DlAxiom>
public class NaiveDlReasoner extends java.lang.Object implements QualitativeReasoner<DlBeliefSet,DlAxiom>
Naive reasoner for the description logic ALC (as represented by this library).- Author:
- Anna Gessler
-
-
Constructor Summary
Constructors Constructor Description NaiveDlReasoner()
-
Method Summary
Modifier and Type Method Description private java.util.Set<AssertionalAxiom>
getAllInstantiations(DlSignature sig, Predicate p, java.util.List<Individual> args)
Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.java.util.Set<DlInterpretation>
getAllInterpretations(DlSignature sig)
Get all interpretations for the given signature.java.lang.Boolean
query(DlBeliefSet kb, DlAxiom formula)
Queries the given belief base for the given formula.
-
-
-
Method Detail
-
query
public java.lang.Boolean query(DlBeliefSet kb, DlAxiom formula)
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<java.lang.Boolean,DlBeliefSet,DlAxiom>
- Parameters:
kb
- a belief baseformula
- a formula- Returns:
- the answer to the query
-
getAllInterpretations
public java.util.Set<DlInterpretation> getAllInterpretations(DlSignature sig)
Get all interpretations for the given signature.- Parameters:
sig
- a DLSignature- Returns:
- set of all interpretations
-
getAllInstantiations
private java.util.Set<AssertionalAxiom> getAllInstantiations(DlSignature sig, Predicate p, java.util.List<Individual> args)
Computes all instantiations of the predicate "p" relative to the signature "sig" where "arguments" defines the first arguments of the atoms.- Parameters:
sig
- a signature for which the instantiations should be computed.p
- the predicate of the atoms.args
- the currently set arguments of the atoms.- Returns:
- the complete set of instantiations of "p" relative to "sig" and "arguments".
-
-