diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 11:20:30 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-08 11:20:30 +0000 |
| commit | d24365ffde5cf402c173901e3ffdd05c6c786edc (patch) | |
| tree | 9ee9057285f907f290b8c65fc482297ff1aa8f6e | |
| parent | 6391832ac9510c5569457b76c45c7132a41ebd7c (diff) | |
| download | RSAComb-d24365ffde5cf402c173901e3ffdd05c6c786edc.tar.gz RSAComb-d24365ffde5cf402c173901e3ffdd05c6c786edc.zip | |
Update README.md
| -rw-r--r-- | README.md | 7 |
1 files changed, 5 insertions, 2 deletions
| @@ -71,8 +71,11 @@ The following is a summary of fixes (🔧), changes (🔄) and improvements (⚡ | |||
| 71 | ``` | 71 | ``` |
| 72 | where `rsa:named` is an internal predicate keeping track of all constants in the original ontology. | 72 | where `rsa:named` is an internal predicate keeping track of all constants in the original ontology. |
| 73 | 73 | ||
| 74 | + âš¡ Both in the canonical model and the filtering program computations, | 74 | + âš¡ 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`. |
| 75 | rules without a body are loaded into RDFox as facts. | 75 | |
| 76 | + âš¡ Both in the canonical model and the filtering program computations, rules without a body are loaded into RDFox as facts. | ||
| 77 | |||
| 78 | + ⚡ 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. | ||
| 76 | 79 | ||
| 77 | ## References | 80 | ## References |
| 78 | 81 | ||