query_fact.hpp

Go to the documentation of this file.

#ifndef QUERY_FACT_HPP_
#define QUERY_FACT_HPP_
#include <string>
#include <vector>
#include "owlcpp/logic/config.hpp"
#include "owlcpp/node_id.hpp"
#include "owlcpp/exception.hpp"
#include "predicate_fact_abstract.hpp"

class ReasoningKernel;
class TDLConceptExpression;
class TDLIndividualExpression;
class TDLObjectRoleExpression;

namespace owlcpp{

struct fact_query_err : public base_exception {};

class Triple_store;

OWLCPP_LOGIC_DECL TDLConceptExpression* concept(
      const Node_id nid,
      const Triple_store& store,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL TDLConceptExpression* concept(
      const std::string& uri,
      const std::string& class_term,
      const Triple_store& store,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL TDLConceptExpression* concept(
      const std::string& iri,
      const Triple_store& store,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL TDLIndividualExpression* instance(
      const Node_id nid,
      const Triple_store& store,
      ReasoningKernel& kernel
);


OWLCPP_LOGIC_DECL TDLIndividualExpression* instance(
      const std::string& uri,
      const std::string& instance_term,
      const Triple_store& store,
      ReasoningKernel& kernel
);

/*
*******************************************************************************/
OWLCPP_LOGIC_DECL TDLObjectRoleExpression* property(
      const Node_id nid,
      const Triple_store& store,
      ReasoningKernel& kernel
);


OWLCPP_LOGIC_DECL TDLObjectRoleExpression* property(
      const std::string& uri,
      const std::string& property_term,
      const Triple_store& store,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL TDLObjectRoleExpression* property(
      const std::string& iri,
      const Triple_store& store,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL bool is_subclass(
      const std::string& sub,
      const std::string& super,
      const Triple_store& store,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL bool can_relate(
      const std::string& c1,
      const std::string& p,
      const std::string& c2,
      const Triple_store& store,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL bool can_relate(
      const TDLConceptExpression* c1e,
      const TDLObjectRoleExpression* pe,
      const TDLConceptExpression* c2e,
      ReasoningKernel& kernel
);

OWLCPP_LOGIC_DECL void get_sub_super(
      const CE_predicate& pred,
      std::vector<std::string>& cv,
      const TDLConceptExpression* ce,
      const bool super,
      ReasoningKernel& kernel,
      const bool direct = false
);

OWLCPP_LOGIC_DECL void get_sub_super(
      const std::vector<const CE_predicate*>& pred,
      std::vector<std::string>& cv,
      const TDLConceptExpression* ce,
      const bool super,
      ReasoningKernel& kernel,
      const bool direct = false
);

OWLCPP_LOGIC_DECL void set_top_bottom(ReasoningKernel&);


}//namespace owlcpp

#endif /* QUERY_FACT_HPP_ */