Uses of Package
net.sf.tweety.logics.dl.syntax

Packages that use net.sf.tweety.logics.dl.syntax

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

Classes in net.sf.tweety.logics.dl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.dl.syntax used by net.sf.tweety.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 net.sf.tweety.logics.dl.syntax used by net.sf.tweety.logics.dl.semantics

Class	Description
AssertionalAxiom	Abstract base class for assertional axioms (concept assertions and role assertions).
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 net.sf.tweety.logics.dl.syntax used by net.sf.tweety.logics.dl.syntax

Class	Description
AssertionalAxiom	Abstract base class for assertional axioms (concept assertions and role assertions).
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" with C and D as 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.