Book section icon

Book section

Verification of inconsistency-aware knowledge and action bases

Abstract:

Description Logic Knowledge and Action Bases (KABs) have been recently introduced as a mechanism that provides a semantically rich representation of the information on the domain of interest in terms of a DL KB and a set of actions to change such information over time, possibly introducing new objects. In this setting, decidability of verification of sophisticated temporal properties over KABs, expressed in a variant of first-order µ-calculus, has been shown. However, the established frame...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Authors


More by this author
Institution:
Free University of Bozen-Bolzano
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
KRR
Oxford college:
Oriel College
Role:
Author
More by this author
Institution:
Free University of Bozen-Bolzano
Role:
Author
More by this author
Institution:
Free University of Bozen-Bolzano
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
KRR
Oxford college:
Oriel College
Role:
Author
More from this funder
Funding agency for:
Kharlamov, E
Grant:
226513
More from this funder
Funding agency for:
Calvanese, D
Grant:
FP7-ICT- 257593
More from this funder
Funding agency for:
Zheleznyakov, D
Grant:
FP7-IP-318338
Publisher:
AAAI Press / International Joint Conferences on Artificial Intelligence Publisher's website
Pages:
810−816
Host title:
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence
Publication date:
2013-01-01
ISBN:
9781577356332
Language:
English
Keywords:
Subjects:
UUID:
uuid:b4b17d57-340c-4f5a-8626-51f158317a71
Local pid:
ora:9538
Deposit date:
2014-12-05

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP