Petr Křemen
Petr Křemen
I would benefit from some of the problems detected by `report` queries to be repaired automatically. For example: `annotation_whitespace` constraint violations can be fixed by some SPARQL Update (not speaking...
Resolves [#1016] - [x] `docs/` have been added/updated - [x] tests have been added/updated - [x] `mvn verify` says all tests pass - [x] `mvn site` says all JavaDocs correct...
input.owl: ``` a@b true ``` After I run `java -jar robot.jar repair --input input.owl --output output.owl`, I get the following output.owl with incorrectly serialized rdfs:comment for the ontology: ``` a...
Having `o.ttl`: ``` @prefix rdfs: . [ rdfs:label "c" ]. ``` and running `robot diff -l o.ttl -r o.ttl` returns a non empty result. This on its own looks wrong...
Resolves [#1030] - [x] `docs/` have been added/updated - [x] tests have been added/updated - [x] `mvn verify` says all tests pass - [x] `mvn site` says all JavaDocs correct...
Currently, CSV query output format seems to be determined by the Lang.CSV from Jena ARQ which seems to be [RFC 4180](https://datatracker.ietf.org/doc/html/rfc4180) compliant. However, I need an Excel-compliant CSV (e.g. with...
Catalog file does not seem to be used for `--input-iri` (tested on `query` command). Based on the documentation I am not completely sure if it is a bug, or intended...
Currently, many ROBOT commands can be either run separately (and producing intermediate results), or chained in a single command (thus saving some space/time to (de)serialize the inputs/outputs). As an example,...
Having the `input.owl`: ``` ``` a mapping file `mappings.csv`: ``` Old IRI,New IRI http://purl.obolibrary.org/obo/IAO_0000412,http://www.geneontology.org/formats/oboInOwl#hasExactSynonym ``` and running `java -jar robot.jar rename --input input.owl --output output.owl --mappings mappings.csv` ends up with...
The command `robot explain -vvv -i input.owl --reasoner ELK -M unsatisfiability --unsatisfiable all --explanation explanations.md` ends-up with the following exception (I will try to pinpoint some MWE ontology to provide...