Description logic knowledge and action bases

Journal of Artificial Intelligence Research

Volumn 46, Issue , 2013, Pages 651-686

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

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACYCLICITY; CONDITIONAL EFFECTS; DESCRIPTION LOGIC; DL-LITE; FIRST-ORDER; KNOWLEDGE BASE; VERIFICATION OF TEMPORAL PROPERTIES;

COMPUTABILITY AND DECIDABILITY; ELECTRONIC DATA INTERCHANGE; FORMAL LANGUAGES; KNOWLEDGE BASED SYSTEMS;

DATA DESCRIPTION;

EID: 84878287886     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.3826     Document Type: Article

References (75)

1. Artale, A., Calvanese, D., Kontchakov, R., & Zakharyaschev, M. (2009). The DL-Lite family and relations. J. of Artificial Intelligence Research, 36, 1-69.
2. Artale, A., & Franconi, E. (1998). A temporal description logic for reasoning about actions and plans. J. of Artificial Intelligence Research, 9, 463-506.
3. Artale, A., & Franconi, E. (2005). Temporal description logics. In Gabbay, D., Fisher, M., & Vila, L. (Eds.), Handbook of Temporal Reasoning in Artificial Intelligence, Foundations of Artificial Intelligence. Elsevier.
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., & Patel-Schneider, P. F. (Eds.). (2003). The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
5. Baader, F., Ghilardi, S., & Lutz, C. (2012). LTL over description logic axioms. ACM Trans. on Computational Logic, 13(3), 21: 1-21: 32.
6. Baader, F., & Laux, A. (1995). Terminological logics with modal operators. In Proc. of the 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), pp. 808-814.
7. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., & De Masellis, R. (2011). Verification of conjunctive-query based semantic artifacts. In Proc. of the 24th Int. Workshop on Description Logic (DL 2011), Vol. 745 of CEUR Electronic Workshop Proceedings, http: //ceur-ws.org/.
8. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., De Masellis, R., & Felli, P. (2011). Foundations of relational artifacts verification. In Proc. of the 9th Int. Conference on Business Process Management (BPM 2011), Vol. 6896 of Lecture Notes in Computer Science, pp. 379-395. Springer.
9. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., & Montali, M. (2012). Verification of relational data-centric dynamic systems with external services. Corr technical report arXiv: 1203.0024, arXiv.org e-Print archive. Available at http: //arxiv.org/abs/ 1203.0024.
10. Bagheri Hariri, B., Calvanese, D., De Giacomo, G., Deutsch, A., & Montali, M. (2013). Verification of relational data-centric dynamic systems with external services. In Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2013).
11. Bao, J., et al. (2012). OWL 2 Web Ontology Language document overview (second edition). W3C Recommendation, World Wide Web Consortium. Available at http: //www.w3.org/ TR/owl2-overview/.
12. Belardinelli, F., Lomuscio, A., & Patrizi, F. (2011). Verification of deployed artifact systems via data abstraction. In Proc. of the 9th Int. Joint Conf. on Service Oriented Computing (ICSOC 2011), Vol. 7084 of Lecture Notes in Computer Science, pp. 142-156. Springer.
13. Belardinelli, F., Lomuscio, A., & Patrizi, F. (2012). An abstraction technique for the verification of artifact-centric systems. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 319-328.
14. Berardi, D., Calvanese, D., & De Giacomo, G. (2005). Reasoning on UML class diagrams. Artificial Intelligence, 168(1-2), 70-118.
15. Bhattacharya, K., Gerede, C., Hull, R., Liu, R., & Su, J. (2007). Towards formal analysis of artifactcentric business process models. In Proc. of the 5th Int. Conference on Business Process Management (BPM 2007), Vol. 4714 of Lecture Notes in Computer Science, pp. 288-234. Springer.
16. Burkart, O., Caucal, D., Moller, F., & Steffen, B. (2001). Verification of infinite structures. In Handbook of Process Algebra. Elsevier Science.
17. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Poggi, A., Rodríguez-Muro, M., & Rosati, R. (2009). Ontologies and databases: The DL-Lite approach. In Tessaris, S., & Franconi, E. (Eds.), Reasoning Web. Semantic Technologies for Informations Systems-5th Int. Summer School Tutorial Lectures (RW 2009), Vol. 5689 of Lecture Notes in Computer Science, pp. 255-356. Springer.
18. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007a). EQL-Lite: Effective first-order query processing in description logics. In Proc. of the 20th Int. Joint Conf. on Artificial Intelligence (IJCAI 2007), pp. 274-279.
19. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2007b). Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning, 39(3), 385-429.
20. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., & Rosati, R. (2013). Data complexity of query answering in description logics. Artificial Intelligence, 195, 335-360.
21. Calvanese, D., De Giacomo, G., Lembo, D., Montali, M., & Santoso, A. (2012). Ontology-based governance of data-aware processes. In Proc. of the 6th Int. Conf. on Web Reasoning and Rule Systems (RR 2012), Vol. 7497 of Lecture Notes in Computer Science, pp. 25-41. Springer.
22. Calvanese, D., De Giacomo, G., & Lenzerini, M. (2008). Conjunctive query containment and answering under description logics constraints. ACM Trans. on Computational Logic, 9(3), 22.1-22.31.
23. Calvanese, D., De Giacomo, G., Lenzerini, M., & Rosati, R. (2007). Actions and programs over description logic ontologies. In Proc. of the 20th Int.Workshop on Description Logic (DL 2007), Vol. 250 of CEUR Electronic Workshop Proceedings, http: //ceur-ws.org/, pp. 29-40.
24. Calvanese, D., De Giacomo, G., Lenzerini, M., & Rosati, R. (2011). Actions and programs over description logic knowledge bases: A functional approach. In Lakemeyer, G., & McIlraith, S. A. (Eds.), Knowing, Reasoning, and Acting: Essays in Honour of Hector Levesque. College Publications.
25. Calvanese, D., De Giacomo, G., & Montali, M. (2013). Foundations of data aware process analysis: A database theory perspective. In Proc. of the 32nd ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2013).
26. Calvanese, D., De Giacomo, G., & Vardi, M. Y. (2002). Reasoning about actions and planning in LTL action theories. In Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2002), pp. 593-602.
27. Calvanese, D., Kharlamov, E., Nutt, W., & Zheleznyakov, D. (2010). Updating ABoxes in DL-Lite. In Proc. of the 4th Alberto Mendelzon Int. Workshop on Foundations of Data Management (AMW 2010), Vol. 619 of CEUR Electronic Workshop Proceedings, http: //ceur-ws.org/, pp. 3.1-3.12.
28. Cangialosi, P., De Giacomo, G., De Masellis, R., & Rosati, R. (2010). Conjunctive artifact-centric services. In Proc. of the 8th Int. Joint Conf. on Service Oriented Computing (ICSOC 2010), Vol. 6470 of Lecture Notes in Computer Science, pp. 318-333. Springer.
29. Clarke, E. M., Grumberg, O., & Peled, D. A. (1999). Model checking. The MIT Press, Cambridge, MA, USA
30. Cohn, D., & Hull, R. (2009). Business artifacts: A data-centric approach to modeling business operations and processes. Bull. of the IEEE Computer Society Technical Committee on Data Engineering, 32(3), 3-9.
31. Cuenca Grau, B., Horrocks, I., Kr?otzsch, M., Kupke, C., Magka, D., Motik, B., & Wang, Z. (2012). Acyclicity conditions and their application to query answering in description logics. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 243-253.
32. Damaggio, E., Deutsch, A., & Vianu, V. (2011). Artifact systems with data dependencies and arithmetic. In Proc. of the 14th Int. Conf. on Database Theory (ICDT 2011), pp. 66-77.
33. De Giacomo, G., De Masellis, R., & Rosati, R. (2012). Verification of conjunctive artifact-centric services. Int. J. of Cooperative Information Systems, 21(2), 111-139.
34. De Giacomo, G., Iocchi, L., Nardi, D., & Rosati, R. (1999). A theory and implementation of cognitive mobile robots. J. of Logic and Computation, 9(5), 759-785.
35. De Giacomo, G., Lenzerini, M., Poggi, A., & Rosati, R. (2009). On instance-level update and erasure in description logic ontologies. J. of Logic and Computation, Special Issue on Ontology Dynamics, 19(5), 745-770.
36. De Giacomo, G., Lesṕerance, Y., & Levesque, H. J. (2000). ConGolog, a concurrent programming language based on the situation calculus. Artificial Intelligence, 121(1-2), 109-169.
37. De Giacomo, G., Lesperance, Y., & Patrizi, F. (2012). Bounded situation calculus action theories and decidable verification. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 467-477.
38. Deutsch, A., Hull, R., Patrizi, F., & Vianu, V. (2009). Automatic verification of data-centric business processes. In Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pp. 252-267.
39. Deutsch, A., Nash, A., & Remmel, J. B. (2008). The chase revisited. In Proc. of the 27th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2008), pp. 149-158.
40. Fagin, R., Kolaitis, P. G., Miller, R. J., & Popa, L. (2005). Data exchange: Semantics and query answering. Theoretical Computer Science, 336(1), 89-124.
41. Gabbay, D., Kurusz, A.,Wolter, F., & Zakharyaschev, M. (2003). Many-dimensional Modal Logics: Theory and Applications. Elsevier Science Publishers.
42. Gu, Y., & Soutchanski, M. (2010). A description logic based situation calculus. Ann. of Mathematics and Artificial Intelligence, 58(1-2), 3-83.
43. Guti'errez-Basulto, V., Jung, J. C., & Lutz, C. (2012). Complexity of branching temporal description logics. In Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI 2012), pp. 390-395.
44. Jamroga, W. (2012). Concepts, agents, and coalitions in alternating time. In Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI 2012), pp. 438-443.
45. Katsuno, H., & Mendelzon, A. (1991). On the difference between updating a knowledge base and revising it. In Proc. of the 2nd Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'91), pp. 387-394.
46. Kowalski, R. A., & Sadri, F. (2011). Abductive logic programming agents with destructive databases. Ann. of Mathematics and Artificial Intelligence, 62(1-2), 129-158.
47. Lenzerini, M., & Savo, D. F. (2012). Updating inconsistent description logic knowledge bases. In Proc. of the 20th Eur. Conf. on Artificial Intelligence (ECAI 2012), pp. 516-521.
48. Levesque, H. J., Reiter, R., Lesperance, Y., Lin, F., & Scherl, R. (1997). GOLOG: A logic programming language for dynamic domains. J. of Logic Programming, 31, 59-84.
49. Levesque, H. J. (1984). Foundations of a functional approach to knowledge representation. Artificial Intelligence, 23, 155-212.
50. Limonad, L., De Leenheer, P., Linehan, M., Hull, R., & Vaculin, R. (2012). Ontology of dynamic entities. In Proc. of the 31st Int. Conf. on Conceptual Modeling (ER 2012).
51. Lin, F., & Reiter, R. (1994). State constraints revisited. J. of Logic Programming, 4(5), 655-678.
52. Liu, H., Lutz, C., Milicic, M., & Wolter, F. (2006a). Reasoning about actions using description logics with general TBoxes. In Proc. of the 10th Eur. Conference on Logics in Artificial Intelligence (JELIA 2006), Vol. 4160 of Lecture Notes in Computer Science. Springer.
53. Liu, H., Lutz, C., Milicic, M., &Wolter, F. (2006b). Updating description logic ABoxes. In Proc. of the 10th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2006), pp. 46-56.
54. Lutz, C., Wolter, F., & Zakharyaschev, M. (2008). Temporal description logics: A survey. In Proc. of the 15th Int. Symp. on Temporal Representation and Reasoning (TIME 2008), pp. 3-14.
55. Marnette, B. (2009). Generalized schema-mappings: from termination to tractability. In Proc. of the 28th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2009), pp. 13-22.
56. Marnette, B., & Geerts, F. (2010). Static analysis of schema-mappings ensuring oblivious termination. In Proc. of the 13th Int. Conf. on Database Theory (ICDT 2010), pp. 183-195.
57. Martin, D., Paolucci, M., McIlraith, S., Burstein, M., McDermott, D., McGuinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, Srinivasan, N., & Sycara, K. (2004). Bringing semantics to web services: The OWL-S approach. In Proc. of the 1st Int. Workshop on Semantic Web Services and Web Process Composition (SWSWPC 2004).
58. Meier, M., Schmidt, M.,Wei, F., & Lausen, G. (2010). Semantic query optimization in the presence of types. In 111-122 (Ed.), Proc. of the 29th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2010).
59. Meyer, A., Smirnov, S., & Weske, M. (2011). Data in business processes. EMISA Forum, 31(3), 5-31.
60. Milner, R. (1971). An algebraic definition of simulation between programs. In Proc. of the 2nd Int. Joint Conf. on Artificial Intelligence (IJCAI'71), pp. 481-489.
61. Motik, B., Cuenca Grau, B., Horrocks, I., Wu, Z., Fokoue, A., & Lutz, C. (2012). OWL 2 Web Ontology Language profiles (second edition). W3C Recommendation, World Wide Web Consortium. Available at http: //www.w3.org/TR/owl2-profiles/.
62. Nigam, A., & Caswell, N. S. (2003). Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3), 428-445.
63. Park, D. M. R. (1976). Finiteness is Mu-ineffable. Theoretical Computer Science, 3(2), 173-181.
64. Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., & Rosati, R. (2008). Linking data to ontologies. J. on Data Semantics, X, 133-173.
65. Reiter, R. (2001). Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press.
66. Robinson, R. (1971). Undecidability and nonperiodicity of tilings on the plane. Inventiones Math., 12, 177-209.
67. Rosati, R., & Franconi, E. (2012). Generalized ontology-based production systems. In Proc. of the 13th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2012), pp. 435-445. AAAI Press.
68. Schild, K. (1993). Combining terminological logics with tense logic. In Proc. of the 6th Portuguese Conf. on Artificial Intelligence (EPIA'93), Vol. 727 of Lecture Notes in Computer Science, pp. 105-120. Springer.
69. Stirling, C. (2001). Modal and Temporal Properties of Processes. Springer.
70. van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic. Springer.
71. van Emde Boas, P. (1997). The convenience of tilings. In Sorbi, A. (Ed.), Complexity, Logic, and Recursion Theory, Vol. 187 of Lecture Notes in Pure and Applied Mathematics, pp. 331-363. Marcel Dekker Inc.
72. Vianu, V. (2009). Automatic verification of database-driven systems: a new frontier. In Proc. of the 12th Int. Conf. on Database Theory (ICDT 2009), pp. 1-13.
73. Wolter, F., & Zakharyaschev, M. (1998). Satisfiability problem in description logics with modal operators. In Proc. of the 6th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR'98), pp. 512-523.
74. Wolter, F., & Zakharyaschev, M. (1999a). Modal description logics: Modalizing roles. Fundamenta Informaticae, 39(4), 411-438.
75. Wolter, F., & Zakharyaschev, M. (1999b). Temporalizing description logic. In Gabbay, D., & de Rijke, M. (Eds.), Frontiers of Combining Systems, pp. 379-402. Studies Press/Wiley.