Soprano 2.6.0
|
00001 /* 00002 * This file is part of Soprano Project. 00003 * 00004 * Copyright (C) 2007 Sebastian Trueg <trueg@kde.org> 00005 * 00006 * This library is free software; you can redistribute it and/or 00007 * modify it under the terms of the GNU Library General Public 00008 * License as published by the Free Software Foundation; either 00009 * version 2 of the License, or (at your option) any later version. 00010 * 00011 * This library is distributed in the hope that it will be useful, 00012 * but WITHOUT ANY WARRANTY; without even the implied warranty of 00013 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 00014 * Library General Public License for more details. 00015 * 00016 * You should have received a copy of the GNU Library General Public License 00017 * along with this library; see the file COPYING.LIB. If not, write to 00018 * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor, 00019 * Boston, MA 02110-1301, USA. 00020 */ 00021 00022 #ifndef _SOPRANO_INFERENCE_RULE_H_ 00023 #define _SOPRANO_INFERENCE_RULE_H_ 00024 00025 #include <QtCore/QSharedDataPointer> 00026 #include <QtCore/QList> 00027 00028 #include "statementpattern.h" 00029 #include "statement.h" 00030 #include "soprano_export.h" 00031 00032 00033 namespace Soprano { 00034 00035 class BindingSet; 00036 00037 namespace Inference { 00038 00049 class SOPRANO_EXPORT Rule 00050 { 00051 public: 00055 Rule(); 00056 00060 Rule( const Rule& other ); 00061 00065 ~Rule(); 00066 00070 Rule& operator=( const Rule& other ); 00071 00078 QList<StatementPattern> preconditions() const; 00079 00083 void addPrecondition( const StatementPattern& ); 00084 00090 StatementPattern effect() const; 00091 00095 void setEffect( const StatementPattern& ); 00096 00106 bool match( const Statement& statement ) const; 00107 00118 void bindToStatement( const Statement& statement ); 00119 00124 Statement boundToStatement() const; 00125 00138 QString createSparqlQuery( bool bindVariables = false ) const; 00139 00150 Statement bindEffect( const BindingSet& bindings ) const; 00151 00163 QList<Statement> bindPreconditions( const BindingSet& bindings ) const; 00164 00173 bool isValid() const; 00174 00175 private: 00180 BindingSet mergeBindingStatement( const BindingSet& bindings ) const; 00181 Statement bindStatementPattern( const StatementPattern& pattern, const BindingSet& bindings ) const; 00182 00183 class Private; 00184 QSharedDataPointer<Private> d; 00185 }; 00186 } 00187 } 00188 00189 SOPRANO_EXPORT QDebug operator<<( QDebug s, const Soprano::Inference::Rule& ); 00190 00191 #endif