Difference between revisions of "Mastro DL-Lite Reasoner 1.0.3"

From Protege Wiki
Jump to: navigation, search
(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...")
 
Line 7: Line 7:
 
|CompatibleWith2=Protege-OWL 4.3
 
|CompatibleWith2=Protege-OWL 4.3
 
|Changelog=Added Data Quality Checking View.
 
|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.
+
 
 
}}
 
}}
 +
 +
|free text=}}

Revision as of 02:08, January 19, 2018

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.


|free text=}}

Retrieved from "https://protegewiki.stanford.edu/index.php?title=Mastro_DL-Lite_Reasoner_1.0.3&oldid=13709"