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

Packages that use AssertionalAxiom

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

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

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

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

Constructor parameters in org.tweetyproject.logics.dl.semantics with type arguments of type AssertionalAxiom

Modifier	Constructor	Description
	DlInterpretation(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 org.tweetyproject.logics.dl.syntax

Subclasses of AssertionalAxiom in org.tweetyproject.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.