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

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

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

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).
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.

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()
Set<DlAxiom>	DlBeliefSet.getTBox()

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.