query_fact.hpp File Reference

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

Go to the source code of this file.

Classes
struct	owlcpp::fact_query_err

Namespaces
namespace	owlcpp
	Main namespace of owlcpp library.

Functions
OWLCPP_LOGIC_DECL TDLConceptExpression *	owlcpp::concept (const Node_id nid, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL TDLConceptExpression *	owlcpp::concept (const std::string &uri, const std::string &class_term, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL TDLConceptExpression *	owlcpp::concept (const std::string &iri, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL TDLIndividualExpression *	owlcpp::instance (const Node_id nid, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL TDLIndividualExpression *	owlcpp::instance (const std::string &uri, const std::string &instance_term, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL TDLObjectRoleExpression *	owlcpp::property (const Node_id nid, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL TDLObjectRoleExpression *	owlcpp::property (const std::string &uri, const std::string &property_term, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL TDLObjectRoleExpression *	owlcpp::property (const std::string &iri, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL bool	owlcpp::is_subclass (const std::string &sub, const std::string &super, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL bool	owlcpp::can_relate (const std::string &c1, const std::string &p, const std::string &c2, const Triple_store &store, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL bool	owlcpp::can_relate (const TDLConceptExpression *c1e, const TDLObjectRoleExpression *pe, const TDLConceptExpression *c2e, ReasoningKernel &kernel)
OWLCPP_LOGIC_DECL void	owlcpp::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	owlcpp::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	owlcpp::set_top_bottom (ReasoningKernel &)
	set top/bottom property names as short OWL names

Detailed Description

part of owlcpp project.
Distributed under the Boost Software License, Version 1.0; see doc/license.txt.
Copyright Mikhail K Levin 2010