6 #ifndef TRIPLE_TO_FACT_HPP_
7 #define TRIPLE_TO_FACT_HPP_
9 #include "boost/foreach.hpp"
13 class ReasoningKernel;
29 template<
class Range>
inline std::size_t
submit(
32 ReasoningKernel& kernel,
33 const bool strict =
true,
34 const bool diagnose =
false
37 BOOST_FOREACH(
Triple const& t, r) {
38 if(
submit(t, ts, kernel, strict, diagnose) ) ++n;
55 OWLCPP_LOGIC_DECL TDLAxiom*
submit(
57 Triple_store
const& ts,
58 ReasoningKernel& kernel,
59 const bool strict =
true,
60 const bool diagnose =
false
76 Triple_store
const& ts,
77 ReasoningKernel& kernel,
78 const bool strict =
true
92 OWLCPP_LOGIC_DECL std::size_t
submit(
93 Triple_store
const& ts,
94 ReasoningKernel& kernel,
95 const bool strict =
true,
96 const bool diagnose =
false
110 Triple_store
const& ts,
111 ReasoningKernel& kernel,
112 const bool strict =
true
std::size_t submit(Range r, Triple_store const &ts, ReasoningKernel &kernel, const bool strict=true, const bool diagnose=false)
Definition: triple_to_fact.hpp:29
Store namespace IRIs, RDF nodes, document infos, and RDF triples.
Definition: triple_store.hpp:32
OWLCPP_LOGIC_DECL TDLAxiom * submit_check(Triple const &t, Triple_store const &ts, ReasoningKernel &kernel, const bool strict=true)
RDF triple plus document ID.
Definition: triple.hpp:16