| 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.
|