Publication | Open Access
Inconsistency Measures for Repair Semantics in OBDA
12
Citations
16
References
2018
Year
Unknown Venue
Software MaintenanceEngineeringOntology EngineeringVerificationOntology VersioningSemanticsSemantic WebSoftware AnalysisFormal VerificationInconsistent Existential RulesData ScienceData IntegrationOntology AlignmentData ManagementError CorrectionComputer ScienceDatabase TheoryAutomated RepairData ValidationAutomated ReasoningData AccessFormal MethodsOntology LanguageInconsistency Measures
In this paper, we place ourselves in the Ontology Based Data Access (OBDA) setting and investigate reasoning with inconsistent existential rules knowledge bases. We use the notion of inconsistency measures on sets of facts to rank and filter repairs. We propose a generic framework to answer queries by using the best repairs and study productivity and properties of such a framework.
| Year | Citations | |
|---|---|---|
Page 1
Page 1