Features
DaRLing is a Datalog Rewriter for OWL 2 RL Ontological Reasoning built on top of the OWL API.
DaRLing supports:
- translation of (the RL fragment of) OWL 2 ontologies,
- loading of RDF/XML dataset,
- translation of SPARQL queries,
owl:sameAs
handling,- loading of datatypes, such as
xsd:string
andxsd:integer
, - OWL API input formats.
Installation
DaRLing is available for download here.
It can be executed as:
$ unzip darling.zip
$ perl darling.pl [options]
As input, it takes:
- the ontology (i.e. the TBox) contained in a single file or in a folder containing multiple files,
- the dataset (i.e. the ABox) contained in a single file or in a folder containing multiple files,
- one or more queries contained in a file with the .SPARQL extension.
As output, it produces in the same folder from which it is executed:
- a .asp file for the dataset (if given as input),
- a .asp file for the ontology (if given as input without any query),
- a .asp file for each input query (if given as input, containing both the ontology and the query rewritings).
Outputted .asp files contain the respective Datalog translation.
DaRLing produces suitable rewritings also if some inputs are missing: e.g., in case the dataset is missing, then the generated program is simply equivalent to the pair ontology plus query.
Command Line Options
-a,--abox <arg> ABox input file(s)
-h,--help Print usage and exit
-q,--query <arg> Query input file(s)
-s,--sameas Enable owl:sameAs management
-t,--tbox <arg> TBox input file(s)
License
DaRLing is licensed under the Apache License, Version 2.0.
For further information, contact fiorentino_AT_mat.unical.it, manna_AT_mat.unical.it and zangari_AT_mat.unical.it.
ICLP 2020
Benchmarks relative to ICLP 2020 submission can be downloaded here.