ReifiedQuery.h

Go to the documentation of this file.

/*
 * This file is part of KnowRob, please consult
 * https://github.com/knowrob/knowrob for license details.
 */
 
#ifndef KNOWROB_REIFIED_QUERY_H
#define KNOWROB_REIFIED_QUERY_H
 
#include "knowrob/semweb/GraphQuery.h"
#include "knowrob/semweb/Vocabulary.h"
#include "knowrob/semweb/GraphPattern.h"
#include "knowrob/semweb/GraphUnion.h"
#include "knowrob/semweb/GraphSequence.h"
 
namespace knowrob {
    enum ReificationFlag {
        IncludeOriginal = 1 << 0,
        IncludeReified  = 1 << 1,
    };
 
    class ReifiedQuery : public GraphQuery {
    public:
        explicit ReifiedQuery(const std::shared_ptr<GraphQuery> &nonReified, VocabularyPtr vocabulary, bool withFullFrame = false);
 
        explicit ReifiedQuery(const TriplePattern &nonReified, VocabularyPtr vocabulary, bool withFullFrame = false);
 
        static bool hasReifiablePattern(const std::shared_ptr<GraphQuery> &nonReified);
 
        static int getReificationFlags(const TriplePattern &q);
 
    protected:
        VocabularyPtr vocabulary_;
        uint32_t varCounter_;
        bool withFullFrame_;
 
        void setNonReified(const std::shared_ptr<GraphTerm> &nonReified);
 
        std::shared_ptr<GraphTerm> reifiedPatternSequence(const TriplePattern &pattern);
 
        std::shared_ptr<GraphTerm> reifyPattern(const std::shared_ptr<GraphPattern> &nonReified);
 
        std::shared_ptr<GraphUnion> reifyUnion(const std::shared_ptr<GraphUnion> &graphUnion);
 
        std::shared_ptr<GraphSequence> reifySequence(const std::shared_ptr<GraphSequence> &graphSequence);
 
        void reifyConnective(const std::shared_ptr<GraphConnective> &reifiedConnective, const std::shared_ptr<GraphConnective> &originalConnective);
 
        static bool hasReifiablePattern(const GraphTerm *term);
    };
 
} // knowrob
 
#endif //KNOWROB_REIFIED_QUERY_H