Uses of Class
org.tweetyproject.logics.dl.syntax.DlBeliefSet

Packages that use DlBeliefSet

Package	Description
org.tweetyproject.logics.dl.parser
org.tweetyproject.logics.dl.reasoner
org.tweetyproject.logics.dl.semantics

Uses of DlBeliefSet in org.tweetyproject.logics.dl.parser

Subclasses with type arguments of type DlBeliefSet in org.tweetyproject.logics.dl.parser

Modifier and Type	Class	Description
class	DlParser	This class implements a parser for the description logic ALC (attributive concept language with complements).

Methods in org.tweetyproject.logics.dl.parser that return DlBeliefSet

Modifier and Type	Method	Description
DlBeliefSet	DlParser.parseBeliefBase(Reader reader)

Uses of DlBeliefSet in org.tweetyproject.logics.dl.reasoner

Classes in org.tweetyproject.logics.dl.reasoner that implement interfaces with type arguments of type DlBeliefSet

Modifier and Type	Class	Description
class	NaiveDlReasoner	Naive reasoner for the description logic ALC.

Methods in org.tweetyproject.logics.dl.reasoner with parameters of type DlBeliefSet

Modifier and Type	Method	Description
Boolean	NaiveDlReasoner.query(DlBeliefSet kb, DlAxiom formula)

Uses of DlBeliefSet in org.tweetyproject.logics.dl.semantics

Subclasses with type arguments of type DlBeliefSet in org.tweetyproject.logics.dl.semantics

Modifier and Type	Class	Description
class	DlInterpretation	This class models an interpretation for description logics.

Methods in org.tweetyproject.logics.dl.semantics with parameters of type DlBeliefSet

Modifier and Type	Method	Description
boolean	DlInterpretation.satisfies(DlBeliefSet beliefBase)