Skip to content

Commit

Permalink
add new flag to readme
Browse files Browse the repository at this point in the history
  • Loading branch information
melaasar committed Sep 12, 2024
1 parent bd8f499 commit 41bf11f
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions owl-reason/README.md
Original file line number Diff line number Diff line change
Expand Up @@ -29,6 +29,7 @@ Args:
-n, --indent NUMBER Number of spaces to indent by [optional, default=2]
-r, --report-path PATH Path/to/reasoning.xml [required]
-oi, --output-iris-path path to a .txt file listing all analyzed ontology IRIs (one per line)
-min, --check-min-cardinality whether to check min cardinality restrictions (optional, default=true)
```

Note: the | char separating algorithms in the `spec` argument is not a logical OR; it is just a list delimiter.
Expand Down Expand Up @@ -58,6 +59,7 @@ task owlReason(type:io.opencaesar.owl.reason.OwlReasonTask) {
indent = number [optional, default=2]
reportPath = file('path/to/reasoning.xml') [required]
outputOntologyIrisPath = file('path/to/iris.txt') [optional, path to a .txt file listing all analyzed ontology IRIs (one per line)]
checkMinimumCardinality = false [Optional, default = true]
}
```

Expand Down

0 comments on commit 41bf11f

Please sign in to comment.