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

Packages that use DlAxiom

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

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

Subclasses with type arguments of type DlAxiom 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 DlAxiom

Modifier and Type	Method	Description
DlAxiom	DlParser.parseFormula(Reader reader)

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

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

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 DlAxiom

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

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

Subclasses with type arguments of type DlAxiom 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 DlAxiom

Modifier and Type	Method	Description
boolean	DlInterpretation.satisfies(DlAxiom formula)

Uses of DlAxiom in org.tweetyproject.logics.dl.syntax

Subclasses of DlAxiom in org.tweetyproject.logics.dl.syntax

Modifier and Type	Class	Description
class	AssertionalAxiom	Abstract base class for assertional axioms (concept assertions and role assertions) in description logic.
class	ConceptAssertion	This class models a concept assertion in description logic, i.e.
class	EquivalenceAxiom	This class models an equivalence axiom, also known as "general concept inclusion" (GCU), meaning an expression of the form "C is a subset of or equal to D" where C and D are concepts.
class	RoleAssertion	This class models a role assertion in description logic, i.e.

Subclasses with type arguments of type DlAxiom in org.tweetyproject.logics.dl.syntax

Modifier and Type	Class	Description
class	DlBeliefSet	This class models a knowledge base for description logics.

Methods in org.tweetyproject.logics.dl.syntax that return DlAxiom

Modifier and Type	Method	Description
abstract DlAxiom	DlAxiom.clone()

Methods in org.tweetyproject.logics.dl.syntax that return types with arguments of type DlAxiom

Modifier and Type	Method	Description
Set<DlAxiom>	DlBeliefSet.getABox()	Returns the ABox section of the knowledge base.
Set<DlAxiom>	DlBeliefSet.getTBox()	Returns the TBox section of the knowledge base.

Constructor parameters in org.tweetyproject.logics.dl.syntax with type arguments of type DlAxiom

Modifier	Constructor	Description
	DlBeliefSet(Set<DlAxiom> formulas)	Creates a new description logics knowledge base with the given set of axioms.