From 3c6307166d18890212c364a82fc15fb1ba7725e1 Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Thu, 19 Nov 2020 10:37:03 +0000 Subject: Update README.md --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index eb4657d..619c230 100644 --- a/README.md +++ b/README.md @@ -37,6 +37,9 @@ The following is a summary of fixes (🔧), changes (🔄) and improvements (⚡ + 🔄 [RDFox](https://www.oxfordsemantic.tech/product) is used instead of DLV as the underlying LP engine. ++ 🔄 While the system is described as a two-step process (computing the canonical model and applying the filtering program), the adoption of RDFox allows us to abstract from the underlying engine implementation. + Materialisation is handled by RDFox, possibly computing answers in one go, without splitting the process in two separate steps. + + 🔧 In Def.4, the definition of built-in predicate `notIn` is wrong and should reflect the implicit semantics implied by the name, i.e., > let [...] `notIn` be a built-in predicate which holds when the first argument is **not** an element of the set given as second argument @@ -68,9 +71,6 @@ The following is a summary of fixes (🔧), changes (🔄) and improvements (⚡ ``` where `rsa:named` is an internal predicate keeping track of all constants in the original ontology. -+ 🔄 While the system is described as a two-step process (computing the canonical model and applying the filtering program), the adoption of RDFox allows us to abstract from the underlying engine implementation. - Materialisation is handled by RDFox, possibly computing answers in one go, without splitting the process in two separate steps. - ## References [1] Feier, Cristina, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks. -- cgit v1.2.3