Interface | Description |
---|---|
Atom |
This interface represents a logical atom.
|
AtomSet |
This interface represents a set of atoms.
|
ConjunctiveQuery |
This interface represents a conjunctive query.
|
ConjunctiveQueryWithNegatedParts |
This interface represents a conjunctive query with negated parts.
|
Constant |
A constant is a symbol referring to something, is either a
simple constant or a
Literal . |
ConstantGenerator | |
GraphOfRuleDependencies | |
ImmutableRuleSet | |
InMemoryAtomSet |
This interface represents an InMemory AtomSet.
|
InMemoryKnowledgeBase | |
Literal |
A Literal is a typed
Constant representing strings, numbers, dates…
The URI returned by Literal.getDatatype() specifies which kind of
object is represented. |
NegativeConstraint |
This interface represents a negative constraint.
|
Ontology | |
Query |
This interface represents a generic query.
|
QueryLabeler | |
Rule |
This interface represents an existential rule.
|
RuleLabeler | |
RulesCompilation | |
RuleSet | |
Substitution |
A substitution is an application from a set of variables into a set of terms.
|
Term |
In analogy to natural language, where a noun phrase refers to an object,
a term denotes a mathematical object referring to someone or something.
|
TermGenerator | |
UnionOfConjunctiveQueries | |
Variable |
A variable is a placeholder for an other
Term . |
VariableGenerator |
Class | Description |
---|---|
AbstractAtom | |
AbstractTerm | |
AtomComparator |
Compare atoms by their predicates then by their terms using a
TermValueComparator . |
Predicate |
Represents a Predicate of an Atom.
|
TermValueComparator |
This class implements a comparator of Term that doesn't make difference on
Term Type.
|
Enum | Description |
---|---|
Term.Type | Deprecated |
Exception | Description |
---|---|
AtomSetException |
Reports an error while accessing the data.
|
RuleSetException | |
UnsupportedAtomTypeException |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.