Mastro DL-Lite Reasoner 1.0.3

Mastro DL-Lite Reasoner 1.0.3

Version	1.0.3
Plugin	Mastro DL-Lite Reasoner
Last update	2018-01-19
Download	Mastro DL-Lite Reasoner 1.0.3
Compatible Protege Version	Protege-OWL 5.2.0 Protege-OWL 4.3

Edit this version

Dependency

The following dependencies exist for Mastro DL-Lite Reasoner 1.0.3:

not available

Changelog

Added Data Quality Checking View. Mastro produces a set of data quality checking queries, each associated to an ontology assertion whose contradiction leads to the unsatisfiability of the OBDA specification. Data Quality checking is then realised by answering each such query over the OBDA specification (given a database instance for the source schema). The ontology assertions considered in this step are: disjunction, functionality, denial, and identification assertions, plus EQL constraints.