From 2fec93a7f4aaedd578dc3e83a2e7d98cdedc8107 Mon Sep 17 00:00:00 2001 From: bnouwt <97681626+bnouwt@users.noreply.github.com> Date: Tue, 11 Mar 2025 08:29:16 +0100 Subject: [PATCH] Update reasoning.md Fix typo --- docs/docs/reasoning.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/docs/reasoning.md b/docs/docs/reasoning.md index c6bd76ef3..0ed39b506 100644 --- a/docs/docs/reasoning.md +++ b/docs/docs/reasoning.md @@ -182,7 +182,7 @@ From these example it becomes clear that a reasoner can also be used to orchestr The reasoning mentioned in this section works by using the graph patterns defined in the knowledge interactions from all smart connectors in the network. Additionally, the reasoner of a smart connector can also work with domain knowledge that is not tied to knowledge interactions. This domain knowledge can be loaded into a smart connector and typically consists of domain rules and facts. -The KE reasoner only works with `eu.knowledge.engine.reasoner.Rule` objects, so both domain facts and rules should be encoded as rules. There are two ways in which domain facts can be represented as rules: 1) as rules with only a consequent (and no antecedent) that represents the actual triple (without variables), or 2) as a rule with only a consequent (without antecedent) of the form `?s ?o ?o` which functions as a source for multiple or all domain facts. +The KE reasoner only works with `eu.knowledge.engine.reasoner.Rule` objects, so both domain facts and rules should be encoded as rules. There are two ways in which domain facts can be represented as rules: 1) as rules with only a consequent (and no antecedent) that represents the actual triple (without variables), or 2) as a rule with only a consequent (without antecedent) of the form `?s ?p ?o` which functions as a source for multiple or all domain facts. It is possible to load domain knowledge (i.e. facts and rules) from a file or string by using [Apache Jena Rules](https://jena.apache.org/documentation/inference/#RULEsyntax). This format allows both facts and rules to reside in the same file and the `eu.knowledge.engine.reasoner.util.JenaRules` class provides some methods to create/load these files. A very simple example of a fact and rule in the Apache Jena Rules syntax is: @@ -284,4 +284,4 @@ Any **proactive** Knowledge Interaction (i.e. ASK and POST) that you trigger in ## Performance warning When using large graph patterns and/or many bindings, the reasoner's time and memory consumption doesn't scale very well. In those cases, you may experience out-of-memory issues, or very long processing times. -For this reason, it is advised to only use the reasoner with small graph patterns. \ No newline at end of file +For this reason, it is advised to only use the reasoner with small graph patterns.