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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NaiveDlReasoner

public NaiveDlReasoner()

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 interface QualitativeReasoner<DlBeliefSet,DlAxiom>

Specified by:

query in interface Reasoner<java.lang.Boolean,DlBeliefSet,DlAxiom>

Parameters:

kb - a belief base

formula - 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".