1 files changed, 3 insertions, 0 deletions
diff --git a/README.md b/README.md
index acf1862..1ce9b07 100644
--- a/README.md
+++ b/README.md
@@ -71,6 +71,9 @@ 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.
 ## References
 [1] Feier, Cristina, David Carral, Giorgio Stefanoni, Bernardo Cuenca Grau, and Ian Horrocks.

diff --git a/README.md b/README.md index acf1862..1ce9b07 100644 --- a/README.md +++ b/README.md
@@ -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.