Mastro DL-Lite Reasoner 1.0.3

From Protege Wiki
Revision as of 03:08, January 19, 2018 by OBDASystems (talk | contribs) (Created page with "{{VersionOfPlugin |VersionOf=Mastro DL-Lite Reasoner |Number=1.0.3 |LastUpdate=2018-01-19 |File=http://www.obdasystems.com/mastro-protege-plugin |CompatibleWith1=Protege-OWL 5...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

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.