diff options
| author | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-07 16:37:44 +0000 |
|---|---|---|
| committer | Federico Igne <federico.igne@cs.ox.ac.uk> | 2020-12-07 16:37:44 +0000 |
| commit | 1266862146b679fb04cbd48b740032893b6a34a9 (patch) | |
| tree | 780272cb314b2d9c122336b40c8f14dadd46de1c | |
| parent | 53dbca1f3de8183eefdb0c6b2d0e384f1371e52e (diff) | |
| download | RSAComb-1266862146b679fb04cbd48b740032893b6a34a9.tar.gz RSAComb-1266862146b679fb04cbd48b740032893b6a34a9.zip | |
Update README.md
| -rw-r--r-- | README.md | 3 |
1 files changed, 3 insertions, 0 deletions
| @@ -71,6 +71,9 @@ 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, | ||
| 75 | rules without a body are loaded into RDFox as facts. | ||
| 76 | |||
| 74 | ## References | 77 | ## References |
| 75 | 78 | ||
| 76 | [1] Feier, Cristina, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks. | 79 | [1] Feier, Cristina, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks. |