owlcpp  v0.3.3-86-g20d8c12~
C++ library for working with OWL ontologies
 All Classes Namespaces Files Functions Macros Pages
triple_to_fact.hpp
Go to the documentation of this file.
1 
6 #ifndef TRIPLE_TO_FACT_HPP_
7 #define TRIPLE_TO_FACT_HPP_
9 #include "boost/foreach.hpp"
11 #include "owlcpp/rdf/triple.hpp"
12 
13 class ReasoningKernel;
14 class TDLAxiom;
15 
16 namespace owlcpp{
17 class Triple_store;
18 
29 template<class Range> inline std::size_t submit(
30  Range r,
31  Triple_store const& ts,
32  ReasoningKernel& kernel,
33  const bool strict = true,
34  const bool diagnose = false
35 ) {
36  std::size_t n = 0;
37  BOOST_FOREACH(Triple const& t, r) {
38  if( submit(t, ts, kernel, strict, diagnose) ) ++n;
39  }
40  return n;
41 }
42 
55 OWLCPP_LOGIC_DECL TDLAxiom* submit(
56  Triple const& t,
57  Triple_store const& ts,
58  ReasoningKernel& kernel,
59  const bool strict = true,
60  const bool diagnose = false
61 );
62 
74 OWLCPP_LOGIC_DECL TDLAxiom* submit_check(
75  Triple const& t,
76  Triple_store const& ts,
77  ReasoningKernel& kernel,
78  const bool strict = true
79 );
80 
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
97 );
98 
109 OWLCPP_LOGIC_DECL std::size_t submit_check(
110  Triple_store const& ts,
111  ReasoningKernel& kernel,
112  const bool strict = true
113 );
114 
119 }//namespace owlcpp
120 
121 #endif /* TRIPLE_TO_FACT_HPP_ */
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