Work

Verification of Inconsistency-Aware Knowledge and Action Bases

Year: 2013

Type: article

Abstract: . Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism to evolve a DL KB over time by means of actions that may acquire new information from the external environment. Decidability of verification in KABs has been studied for properties expressed in first-order variants of µ-calculus, under a natural assumption of “run-boundedness”. However, the established framework treats inconsistency in a simplistic way, by rejecting inconsistent states produced through action execution. We overcome this limitation by adopting in the application of actions inconsistency-aware semantics based on the notion of repair. We establish decidability and complexity of verification in this extended framework. 1

Source: Oxford University Research Archive (ORA) (University of Oxford)

Authors: Diego Calvanese, Evgeny Kharlamov, Marco Montali, Ario Santoso, Dmitriy Zheleznyakov

Institution: Free University of Bozen-Bolzano

Language: English

Topic: Logic, Reasoning, and Knowledge

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

Funders: European Commission, FP7 Ideas: European Research Council, FP7 Information and Communication Technologies

Awards: Foundations of Web Data Management, Scalable End-user Access to Big Data, Artifact-Centric Service Interoperation

OpenAlex ID: W1554830210