Class and Description |
---|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Class and Description |
---|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
Sort
A sort of first-order logic.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
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.
|
Sort
A sort of first-order logic.
|
TypedStructureAdapter
The abstract parent for predicates and functors implementing the
TypedStructure interface.
|
Class and Description |
---|
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.
|
Sort
A sort of first-order logic.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
Functor
A functor for logic language, i.e.
|
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.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
AssociativeFormulaSupport
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
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.
|
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.
|
Class and Description |
---|
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.
|
Class and Description |
---|
AssociativeFormulaSupport
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
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.
|
ComplexLogicalFormulaAdapter
Abstract base class for ComplexLogicalFormula, that are formulas which
implement substitute(), exchange(), getTerms(), isGround() and isWellFormed()
and therefore use terms to describe themself.
|
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.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Sort
A sort of first-order logic.
|
StringTerm
This class represents terms which are objects identified by a
string.
|
TermAdapter
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.
|
Class and Description |
---|
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.
|
Sort
A sort of first-order logic.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
Concept
This class models concepts used in description logics
|
Individual
An individual is a single object similar to objects used in first-order logic.
|
Role
This class implements a role used in description logics
Every role is an predicate consisting of two individuals
|
Class and Description |
---|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
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.
|
Class and Description |
---|
AssociativeFormulaSupport
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
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.
|
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.
|
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
This class provides common functionalities for quantified formulas, i.e.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Sort
A sort of first-order logic.
|
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.
|
Class and Description |
---|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
Class and Description |
---|
Functor
A functor for logic language, i.e.
|
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.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Class and Description |
---|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Class and Description |
---|
Functor
A functor for logic language, i.e.
|
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.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
AssociativeFormulaSupport
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
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.
|
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.
|
Sort
A sort of first-order logic.
|
TypedStructureAdapter
The abstract parent for predicates and functors implementing the
TypedStructure interface.
|
Class and Description |
---|
Functor
A functor for logic language, i.e.
|
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.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
Functor
A functor for logic language, i.e.
|
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.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
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.
|
Class and Description |
---|
Constant
A Constant represents an constant object in the world of
a logical language.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Class and Description |
---|
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.
|
Class and Description |
---|
FunctionalTerm
A functional term in a logic language, i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|
Class and Description |
---|
AssociativeFormulaSupport
This class provides common implementation for associative formulas
that are formulas which consists of several other formulas.
|
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.
|
ComplexLogicalFormulaAdapter
Abstract base class for ComplexLogicalFormula, that are formulas which
implement substitute(), exchange(), getTerms(), isGround() and isWellFormed()
and therefore use terms to describe themself.
|
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.
|
Sort
A sort of first-order logic.
|
TermAdapter
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.
|
Class and Description |
---|
ComplexLogicalFormulaAdapter
Abstract base class for ComplexLogicalFormula, that are formulas which
implement substitute(), exchange(), getTerms(), isGround() and isWellFormed()
and therefore use terms to describe themself.
|
Functor
A functor for logic language, i.e.
|
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.
|
RelationalFormula
This is the abstract base class for relational formulas,
i.e.
|
Variable
A Variable is a placeholder for Constants in a generic formula of
a logic language.
|