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.
|
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" with C and D as 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.
|