Package org.tweetyproject.logics.dl.syntax

package org.tweetyproject.logics.dl.syntax

Classes

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.
Complement	This class models the complement (negation) 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.
DlBeliefSet	This class models a knowledge base for description logics.
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.
ExistentialRestriction	This class models an existential restriction in description logics, i.e.
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.
UniversalRestriction	This class models an universal restriction in description logics, i.e.