Verification of description logic Knowledge and Action Bases

Frontiers in Artificial Intelligence and Applications

Volumn 242, Issue , 2012, Pages 103-108

  Hariri, Babak Bagheri ^a   Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   De Masellis, Riccardo ^b   Felli, Paolo ^b   Montali, Marco ^a  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; DATA DESCRIPTION; FORMAL LANGUAGES; TEMPORAL LOGIC;

ACYCLICITY; CONDITION; CONDITIONAL EFFECTS; DESCRIPTION LOGIC; FIRST ORDER; VERIFICATION OF TEMPORAL PROPERTIES;

ELECTRONIC DATA INTERCHANGE;

EID: 84878770870     PISSN: 09226389     EISSN: 18798314     Source Type: Book Series    
DOI: 10.3233/978-1-61499-098-7-103     Document Type: Conference Paper

References (30)

1. A. Artale, D. Calvanese, R. Kontchakov, and M. Zakharyaschev, 'The DL-Lite family and relations', J. of Artificial Intelligence Research, 36, 1-69, (2009).
2. The Description Logic Handbook: Theory, Implementation and Applications, eds., F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and Peter F. Patel-Schneider, Cambridge University Press, 2003.
3. F. Baader, S. Ghilardi, and C. Lutz, 'LTL over description logic axioms', ACM Trans. on Computational Logic, 13(3), (2012).
4. B. Bagheri-Hariri, D. Calvanese, G. De Giacomo, R. De Masellis, and P. Felli, 'Foundations of relational artifacts verification', in Proc. of BPM, volume 6896 of LNCS, pp. 379-395. Springer, (2011).
5. F. Belardinelli, A. Lomuscio, and F. Patrizi, 'Verification of deployed artifact systems via data abstraction', in Proc. of ICSOC, (2011).
6. O. Burkart, D. Caucal, F. Moller, and B. Steffen, 'Verification of infinite structures.', in Handbook of Process Algebra. Elsevier Science, (2001).
7. D. Calvanese, G. De Giacomo, Domenico L., M. Lenzerini, A. Poggi, M. Rodríguez-Muro, and R. Rosati, 'Ontologies and databases: The DL-Lite approach', in 5th Int. Reasoning Web Summer School, volume 5689 of LNCS, 255-356, Springer, (2009).
8. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, 'EQL-Lite: Effective first-order query processing in description logics', in Proc. of IJCAI, pp. 274-279, (2007).
9. D. Calvanese, G. De Giacomo, D. Lembo, M. Lenzerini, and R. Rosati, 'Tractable reasoning and efficient query answering in description logics: The DL-Lite family', J. of Automated Reasoning, 39(3), 385-429, (2007).
10. D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati, 'Actions and programs over description logic knowledge bases: A functional approach', in Knowing, Reasoning, and Acting: Essays in Honour of Hector Levesque, College Publications, (2011).
11. E. M. Clarke, O. Grumberg, and D. A. Peled, Model checking, The MIT Press, Cambridge, MA, USA, 1999.
12. D. Cohn and R. Hull, 'Business artifacts: A data-centric approach to modeling business operations and processes', IEEE Bull. on Data Engineering, 32(3), 3-9, (2009).
13. E. Damaggio, A. Deutsch, and V. Vianu, 'Artifact systems with data dependencies and arithmetic', in Proc. of ICDT, pp. 66-77, (2011).
14. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu, 'Automatic verification of data-centric business processes', in Proc. of ICDT, (2009).
15. R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa, 'Data exchange: Semantics and query answering', Theoretical Computer Science, 336(1), 89-124, (2005).
16. H. Katsuno and A. Mendelzon, 'On the difference between updating a knowledge base and revising it', in Proc. of KR, pp. 387-394, (1991).
17. H. J. Levesque, 'Foundations of a functional approach to knowledge representation', Artificial Intelligence, 23, 155-212, (1984).
18. F. Lin and R. Reiter, 'State constraints revisited', J. of Logic Programming, 4(5), 655-678, (1994).
19. H. Liu, C. Lutz, M. Milicic, and F. Wolter, 'Reasoning about actions using description logics with general TBoxes', in Proc. of JELIA, (2006).
20. H. Liu, C. Lutz, M. Milicic, and F. Wolter, 'Updating description logic ABoxes', in Proc. of KR, pp. 46-56, (2006).
21. B. Marnette and F. Geerts, 'Static analysis of schema-mappings ensuring oblivious termination', in Proc. of ICDT, pp. 183-195, (2010).
22. M. Meier, M. Schmidt, F. Wei, and G. Lausen, 'Semantic query optimization in the presence of types', in Proc. of PODS, (2010).
23. R. Milner, 'An algebraic definition of simulation between programs', in Proc. of IJCAI, pp. 481-489, (1971).
24. D. Park, 'Finiteness is mu-ineffable', Theoretical Computer Science, 3, 173-181, (1976).
25. A. Poggi, D. Lembo, D. Calvanese, G. De Giacomo, M. Lenzerini, and R. Rosati, 'Linking data to ontologies', J. on Data Semantics, (2008).
26. R. Reiter, Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems, The MIT Press, 2001.
27. C. Stirling, Modal and Temporal Properties of Processes, Springer, 2001.
28. H. van Ditmarsch, W. van der Hoek, and B. Kooi, Dynamic epistemic logic, Springer, 2007.
29. V. Vianu, 'Automatic verification of database-driven systems: a new frontier', in Proc. of ICDT, pp. 1-13, (2009).
30. F. Wolter and M. Zakharyaschev, 'Temporalizing description logic', in Frontiers of Combining Systems, Studies Press/Wiley, (1999).