Interface | Description |
---|---|
AssociativeFormulaSupport.AssociativeSupportBridge |
This interface defines a bridge between the AssociativeFormula
implementation like a concrete Disjunction and the AssociativeFormulaSupport
object which adds the implementation of the common functionality.
|
Class | Description |
---|---|
AssociativeFormulaSupport<T extends SimpleLogicalFormula> |
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
ComplexLogicalFormulaAdapter |
Abstract base class for ComplexLogicalFormula, that are formulas which
implement substitute(), exchange(), getTerms(), isGround() and isWellFormed()
and therefore use terms to describe themself.
|
Concept |
This class models concepts used in description logics
|
Constant |
A Constant represents an constant object in the world of
a logical language.
|
FunctionalTerm |
A functional term in a logic language, i.e.
|
Functor |
A functor for logic language, i.e.
|
Individual |
An individual is a single object similar to objects used in first-order logic.
|
NumberTerm |
This is a term representing an integer number it is used
to distinguish between objects like an auto a which is
modeled as constant and integral numbers like 42.
|
Predicate |
A general predicate which contains an identifier that describes its meaning,
an argument count referred as arity and a list of sorts defining the types for
the arguments of the predicate.
|
QuantifiedFormulaSupport<T extends RelationalFormula> |
This class provides common functionalities for quantified formulas, i.e.
|
RelationalFormula |
This is the abstract base class for relational formulas,
i.e.
|
Role |
This class implements a role used in description logics
Every role is an predicate consisting of two individuals
|
Sort |
A sort of first-order logic.
|
StringTerm |
This class represents terms which are objects identified by a
string.
|
TermAdapter<T> |
Abstract base class implementing the substitute(), getSort(), getTerms(), and
containsTermsOfType() methods in a way it is useful for terms.
|
TypedStructureAdapter |
The abstract parent for predicates and functors implementing the
TypedStructure interface.
|
Variable |
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|