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

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.