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
void setEffect(const StatementPattern &)
bool match(const Statement &statement) const
void addPrecondition(const StatementPattern &)
Statement bindEffect(const BindingSet &bindings) const
void bindToStatement(const Statement &statement)
StatementPattern effect() const
Rule & operator=(const Rule &other)
QList< StatementPattern > preconditions() const
Statement boundToStatement() const
Building block of an inference Rule.
A Statement instance represents one RDF quadruple.
SOPRANO_EXPORT QDebug operator<<(QDebug s, const Soprano::Inference::Rule &)