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

Packages that use AssertionalAxiom

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

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

Constructor parameters in net.sf.tweety.logics.dl.semantics with type arguments of type AssertionalAxiom

Constructor	Description
DlInterpretation(java.util.Collection<AssertionalAxiom> assertions)	Create a new DL interpretation with the given set of concept and role assertions that represent the mapping of concept names and role names to the domain.

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

Subclasses of AssertionalAxiom in net.sf.tweety.logics.dl.syntax

Modifier and Type	Class	Description
class	ConceptAssertion	This class models a concept assertion in description logic, i.e.
class	RoleAssertion	This class models a role assertion in description logic, i.e.