soprano/inference/inferencerule.h

Go to the documentation of this file.
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

Generated on Fri Mar 7 18:57:44 2008 for Soprano by  doxygen 1.5.4