triple_to_fact.hpp

Go to the documentation of this file.

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

class ReasoningKernel;
class TDLAxiom;

namespace owlcpp{
class Triple_store;

template<class Range> inline std::size_t submit(
         Range r,
         Triple_store const& ts,
         ReasoningKernel& kernel,
         const bool strict = true,
         const bool diagnose = false
) {
   std::size_t n = 0;
   BOOST_FOREACH(Triple const& t, r) {
      if( submit(t, ts, kernel, strict, diagnose) ) ++n;
   }
   return n;
}

OWLCPP_LOGIC_DECL TDLAxiom* submit(
         Triple const& t,
         Triple_store const& ts,
         ReasoningKernel& kernel,
         const bool strict = true,
         const bool diagnose = false
);

OWLCPP_LOGIC_DECL TDLAxiom* submit_check(
         Triple const& t,
         Triple_store const& ts,
         ReasoningKernel& kernel,
         const bool strict = true
);

OWLCPP_LOGIC_DECL std::size_t submit(
         Triple_store const& ts,
         ReasoningKernel& kernel,
         const bool strict = true,
         const bool diagnose = false
);

OWLCPP_LOGIC_DECL std::size_t submit_check(
         Triple_store const& ts,
         ReasoningKernel& kernel,
         const bool strict = true
);

}//namespace owlcpp

#endif /* TRIPLE_TO_FACT_HPP_ */