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: 00052 Rule(); 00053 Rule( const Rule& other ); 00054 ~Rule(); 00055 00056 Rule& operator=( const Rule& other ); 00057 00064 QList<StatementPattern> preconditions() const; 00065 00066 void addPrecondition( const StatementPattern& ); 00067 00073 StatementPattern effect() const; 00074 00075 void setEffect( const StatementPattern& ); 00076 00082 bool match( const Statement& statement ) const; 00083 00094 void bindToStatement( const Statement& statement ); 00095 00104 QString createSparqlQuery( bool bindVariables = false ) const; 00105 00116 Statement bindEffect( const BindingSet& bindings ) const; 00117 00129 QList<Statement> bindPreconditions( const BindingSet& bindings ) const; 00130 00131 private: 00136 BindingSet mergeBindingStatement( const BindingSet& bindings ) const; 00137 Statement bindStatementPattern( const StatementPattern& pattern, const BindingSet& bindings ) const; 00138 00139 class Private; 00140 QSharedDataPointer<Private> d; 00141 }; 00142 } 00143 } 00144 00145 SOPRANO_EXPORT QDebug operator<<( QDebug s, const Soprano::Inference::Rule& ); 00146 00147 #endif