Mastro DL-Lite Reasoner 1.0.3 - Revision history

OBDASystems at 10:09, January 19, 2018

2018-01-19T10:09:05Z

OBDASystems at 10:08, January 19, 2018

2018-01-19T10:08:51Z

OBDASystems: 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..."

2018-01-19T10:08:25Z

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..."

New page

{{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.2.0
|CompatibleWith2=Protege-OWL 4.3
|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.
}}

← Older revision		Revision as of 10:09, January 19, 2018
Line 9:		Line 9:

	}}		}}
−
−	~~\|free text=}}~~

@@ Line 7: / Line 7: @@
 |CompatibleWith2=Protege-OWL 4.3
 |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.
 }}