Uses of Package
org.tweetyproject.logics.dl.syntax

Packages that use org.tweetyproject.logics.dl.syntax

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

Classes in org.tweetyproject.logics.dl.syntax used by org.tweetyproject.logics.dl.parser

Class	Description
DlAxiom	The common abstract class for axioms of the description logic ALC.
DlBeliefSet	This class models a knowledge base for description logics.
DlSignature	This class models a description logic signature.

Classes in org.tweetyproject.logics.dl.syntax used by org.tweetyproject.logics.dl.reasoner

Class	Description
DlAxiom	The common abstract class for axioms of the description logic ALC.
DlBeliefSet	This class models a knowledge base for description logics.
DlSignature	This class models a description logic signature.

Classes in org.tweetyproject.logics.dl.syntax used by org.tweetyproject.logics.dl.semantics

Class	Description
AssertionalAxiom	Abstract base class for assertional axioms (concept assertions and role assertions) in description logic.
AtomicRole	This class models a role in description logics.
ComplexConcept	The common abstract class for concepts (also called concepts, complex concepts or concept descriptions) of description logics.
DlAxiom	The common abstract class for axioms of the description logic ALC.
DlBeliefSet	This class models a knowledge base for description logics.
Individual	This class models an individual in description logic, also known as an object.

Classes in org.tweetyproject.logics.dl.syntax used by org.tweetyproject.logics.dl.syntax

Class	Description
AssertionalAxiom	Abstract base class for assertional axioms (concept assertions and role assertions) in description logic.
AssociativeDlFormula	This class captures the common functionalities of description logic associative formulas (union and intersection).
AtomicConcept	This class models an atomic concept (aka concept name) in description logics.
AtomicRole	This class models a role in description logics.
BottomConcept	This class models the bottom concept (empty concept) in description logics.
ComplexConcept	The common abstract class for concepts (also called concepts, complex concepts or concept descriptions) of description logics.
ConceptAssertion	This class models a concept assertion in description logic, i.e.
DlAxiom	The common abstract class for axioms of the description logic ALC.
DlSignature	This class models a description logic signature.
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.
Individual	This class models an individual in description logic, also known as an object.
Intersection	This class models an intersection in description logics.
RoleAssertion	This class models a role assertion in description logic, i.e.
TopConcept	This class models the top concept (universal concept) in description logics.
Union	This class models an union in description logics.