Package org.tweetyproject.logics.dl.syntax


package org.tweetyproject.logics.dl.syntax
  • Classes
    Class
    Description
    Abstract base class for assertional axioms (concept assertions and role assertions).
    This class captures the common functionalities of description logic associative formulas (union and intersection).
    This class models an atomic concept (aka concept name) in description logics.
    This class models a role in description logics.
    This class models the bottom concept (empty concept) in description logics.
    This class models the complement (negation) in description logics.
    The common abstract class for concepts (also called concepts, complex concepts or concept descriptions) of description logics.
    This class models a concept assertion in description logic, i.e.
    The common abstract class for axioms of the description logic ALC.
    This class models a knowledge base for description logics.
    This class models a description logic signature.
    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.
    This class models an existential restriction in description logics, i.e.
    This class models an individual in description logic, also known as an object.
    This class models an intersection in description logics.
    This class models a role assertion in description logic, i.e.
    This class models the top concept (universal concept) in description logics.
    This class models an union in description logics.
    This class models an universal restriction in description logics, i.e.