NaiveDlReasoner

java.lang.Object

org.tweetyproject.logics.dl.reasoner.NaiveDlReasoner

All Implemented Interfaces:: QualitativeReasoner<DlBeliefSet,DlAxiom>, Reasoner<Boolean,DlBeliefSet,DlAxiom>

public class NaiveDlReasoner extends Object implements QualitativeReasoner<DlBeliefSet,DlAxiom>

Naive reasoner for the description logic ALC.

Author:: Anna Gessler

Constructor Summary

Constructors

Constructor

Description

NaiveDlReasoner()
Method Summary

Modifier and Type

Method

Description

Set<DlInterpretation>

getAllInterpretations(DlSignature sig)

Get all interpretations for the given signature.

boolean

isInstalled()

the solver is natively installed and is therefore always installed

Boolean

query(DlBeliefSet kb, DlAxiom formula)

Queries the given belief base for the given formula.

Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details
- NaiveDlReasoner
  
  public NaiveDlReasoner()
Method Details
- query
  
  public Boolean query(DlBeliefSet kb, DlAxiom formula)
  
  Description copied from interface: Reasoner
  
  Queries the given belief base for the given formula.
  
  Specified by:
  
  query in interface QualitativeReasoner<DlBeliefSet,DlAxiom>
  
  Specified by:
  
  query in interface Reasoner<Boolean,DlBeliefSet,DlAxiom>
  
  Parameters:
  
  kb - a belief base
  
  formula - a formula
  
  Returns:
  
  the answer to the query
- getAllInterpretations
  
  public Set<DlInterpretation> getAllInterpretations(DlSignature sig)
  
  Get all interpretations for the given signature.
  
  Parameters:
  
  sig - a DLSignature
  
  Returns:
  
  set of all interpretations
- isInstalled
  
  public boolean isInstalled()
  
  the solver is natively installed and is therefore always installed
  
  Specified by:
  
  isInstalled in interface QualitativeReasoner<DlBeliefSet,DlAxiom>
  
  Returns:
  
  if the solver is installed