22 #ifndef _SOPRANO_INFERENCE_RULE_H_
23 #define _SOPRANO_INFERENCE_RULE_H_
25 #include <QtCore/QSharedDataPointer>
26 #include <QtCore/QList>
Represents one set of bindings in the result of a select query.
A rule used by the InferenceModel to generate inferenced statements.
QList< Statement > bindPreconditions(const BindingSet &bindings) const
QString createSparqlQuery(bool bindVariables=false) const
QList< StatementPattern > preconditions() const
void setEffect(const StatementPattern &)
bool match(const Statement &statement) const
void addPrecondition(const StatementPattern &)
Statement bindEffect(const BindingSet &bindings) const
Rule & operator=(const Rule &other)
void bindToStatement(const Statement &statement)
StatementPattern effect() const
Statement boundToStatement() const
Building block of an inference Rule.
SOPRANO_EXPORT QDebug operator<<(QDebug s, const Soprano::Node &)
A Statement instance represents one RDF quadruple.