triple_to_fact.hpp File Reference

#include "owlcpp/logic/config.hpp"
#include "boost/foreach.hpp"
#include "owlcpp/logic/exception.hpp"
#include "owlcpp/rdf/triple.hpp"

Go to the source code of this file.

Namespaces
namespace	owlcpp
	Main namespace of owlcpp library.

Functions
template<class Range >
std::size_t	owlcpp::submit (Range r, Triple_store const &ts, ReasoningKernel &kernel, const bool strict=true, const bool diagnose=false)
OWLCPP_LOGIC_DECL TDLAxiom *	owlcpp::submit (Triple const &t, Triple_store const &ts, ReasoningKernel &kernel, const bool strict=true, const bool diagnose=false)
OWLCPP_LOGIC_DECL TDLAxiom *	owlcpp::submit_check (Triple const &t, Triple_store const &ts, ReasoningKernel &kernel, const bool strict=true)
OWLCPP_LOGIC_DECL std::size_t	owlcpp::submit (Triple_store const &ts, ReasoningKernel &kernel, const bool strict=true, const bool diagnose=false)
OWLCPP_LOGIC_DECL std::size_t	owlcpp::submit_check (Triple_store const &ts, ReasoningKernel &kernel, const bool strict=true)

Detailed Description

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