Merge branch 'master' of https://github.com/pbonte/roxi

pbonte · May 7, 2022 · 7ba626f · 7ba626f
2 parents 429b34f + 3772a63
commit 7ba626f
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/README.md b/README.md
@@ -19,6 +19,7 @@ The following parameters can be defined:
 1. `--abox` file location to abox statements. File in TTL format (.ttl) supported.
 2. `--tbox` file location to tbox statements. Files in TTL format (.ttl) and N3 Logic (.n3) supported.
 3. `--query` string representing SPARQL query
+4. `--trace` [optional] boolean for printing reasoning traces 
 
 For example:
 ```