145 auto mongolog = getMongologReasoner(t_reasonerManager, t_reasonerModule);
150 auto subjectTerm = PrologTerm::toKnowRobTerm(t_subjectTerm);
151 if (subjectTerm->termType() != TermType::ATOMIC)
throw QueryError(
"invalid subject term {}", *subjectTerm);
155 auto propertyTerm = PrologTerm::toKnowRobTerm(t_propertyTerm);
156 if (propertyTerm->termType() != TermType::ATOMIC)
throw QueryError(
"invalid property term {}", *propertyTerm);
160 auto objectTerm = PrologTerm::toKnowRobTerm(t_objectTerm);
161 if(objectTerm->termType() == TermType::ATOMIC) {
162 auto atomic = std::static_pointer_cast<Atomic>(objectTerm);
163 if (
atomic->isNumeric()) {
165 std::static_pointer_cast<Numeric>(
atomic)->xsdType());
166 }
else if (
atomic->isIRI()) {
168 }
else if (
atomic->isBlank()) {
174 throw QueryError(
"object term {} of triple has an invalid type", *objectTerm);
179 if (!PL_is_variable(t_graphTerm)) {
180 graphTerm = PrologTerm::toKnowRobTerm(t_graphTerm);
184 tripleData.
setGraph(mongolog->reasonerManager().backendManager()->vocabulary()->importHierarchy()->defaultGraph());
189 if (!PL_is_variable(t_confidenceTerm)) {
190 confidenceTerm = PrologTerm::toKnowRobTerm(t_confidenceTerm);
191 if (confidenceTerm->isNumeric()) {
192 tripleData.
setConfidence(std::static_pointer_cast<Numeric>(confidenceTerm)->asDouble());
194 throw QueryError(
"invalid confidence term {}", *confidenceTerm);
200 if (!PL_is_variable(t_beginTerm)) {
201 beginTerm = PrologTerm::toKnowRobTerm(t_beginTerm);
202 if (beginTerm->isNumeric()) {
203 tripleData.
setBegin(std::static_pointer_cast<Numeric>(beginTerm)->asDouble());
205 throw QueryError(
"invalid begin term {}", *beginTerm);
211 if (!PL_is_variable(t_endTerm)) {
212 endTerm = PrologTerm::toKnowRobTerm(t_endTerm);
213 if (endTerm->isNumeric()) {
214 tripleData.
setEnd(std::static_pointer_cast<Numeric>(endTerm)->asDouble());
216 throw QueryError(
"invalid end term {}", *endTerm);
220 mongolog->reasonerManager().kb()->edb()->mergeInsert(mongolog->knowledgeGraph(), tripleData);
224 KB_WARN(
"[mongolog] unable to assert triple: reasoner not found");
void setConfidence(double confidence)
void setBegin(double begin)
void setXSDValue(std::string_view v, XSDType type)
void setStringValue(std::string_view v) override
void setObjectIRI(std::string_view object) override
void setPredicate(std::string_view predicate) override
void setObjectBlank(std::string_view identifier) override
void setGraph(std::string_view graph) override
void setSubject(std::string_view subject) override
GraphTermRule & graphTerm()
std::shared_ptr< Term > TermPtr
