Uses of Class
net.sf.tweety.logics.dl.syntax.DlAxiom

Packages that use DlAxiom

Package	Description
net.sf.tweety.logics.dl.parser
net.sf.tweety.logics.dl.reasoner
net.sf.tweety.logics.dl.semantics
net.sf.tweety.logics.dl.syntax

Uses of DlAxiom in net.sf.tweety.logics.dl.parser

Methods in net.sf.tweety.logics.dl.parser that return DlAxiom

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

Uses of DlAxiom in net.sf.tweety.logics.dl.reasoner

Methods in net.sf.tweety.logics.dl.reasoner with parameters of type DlAxiom

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

Uses of DlAxiom in net.sf.tweety.logics.dl.semantics

Methods in net.sf.tweety.logics.dl.semantics with parameters of type DlAxiom

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

Uses of DlAxiom in net.sf.tweety.logics.dl.syntax

Subclasses of DlAxiom in net.sf.tweety.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" with C and D as Concepts.
class	RoleAssertion	This class models a role assertion in description logic, i.e.

Methods in net.sf.tweety.logics.dl.syntax that return DlAxiom

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

Methods in net.sf.tweety.logics.dl.syntax that return types with arguments of type DlAxiom

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

Constructor parameters in net.sf.tweety.logics.dl.syntax with type arguments of type DlAxiom

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