From d24365ffde5cf402c173901e3ffdd05c6c786edc Mon Sep 17 00:00:00 2001 From: Federico Igne Date: Tue, 8 Dec 2020 11:20:30 +0000 Subject: Update README.md --- README.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'README.md') diff --git a/README.md b/README.md index 1ce9b07..dbf0ead 100644 --- a/README.md +++ b/README.md @@ -71,8 +71,11 @@ 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. -+ ⚡ Both in the canonical model and the filtering program computations, - rules without a body are loaded into RDFox as facts. ++ ⚡ In Def. 3, regarding the generation of the logic program used for the RSA checkk, only T5 axioms involving an unsafe role will introduce the internal predicates `PE` and `U`. + ++ ⚡ Both in the canonical model and the filtering program computations, rules without a body are loaded into RDFox as facts. + ++ ⚡ The `cycle` function introduced in Def.4 establishing the direction of the *unraveling* of loops is defined over triples `(A,R,B)`. We are currently limiting the triple only to those appearing in a T5 axiom `A ⊑ ∃R.B`. Note that this greatly limits the size of cycle for a given triple, and as a consequence limits the number of rules used to compute the canonical model. ## References -- cgit v1.2.3