Verification of conjunctive-query based semantic artifacts?

CEUR Workshop Proceedings

Volumn 745, Issue , 2011, Pages 48-58

  Hariri, Babak Bagheri ^a   Calvanese, Diego ^a   De Giacomo, Giuseppe ^b   De Masellis, Riccardo ^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; CONJUNCTIVE QUERIES; FINITE STATE;

COMPUTABILITY AND DECIDABILITY; ELECTRONIC DATA INTERCHANGE; FORMAL LANGUAGES; SEMANTICS;

DATA DESCRIPTION;

EID: 84872961712     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Bull. on Data Engineering 32(3) (2009) 3-9
2. Clarke, E.M., Grumberg, O., Peled, D.A.: Model checking. The MIT Press (1999)
3. Cangialosi, P., De Giacomo, G., De Masellis, R., Rosati, R.: Conjunctive artifact-centric services. In: Proc. of ICSOC 2010. Volume 6470 of LNCS., Springer (2010) 318-333
4. Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. In: Proc. of ICDT 2011. (2011) 66-77
5. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-Lite family. J. of Automated Reasoning 39(3) (2007) 385-429
6. Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: EQL-Lite: Effective first-order query processing in description logics. In: Proc. of IJCAI 2007. (2007) 274-279
7. Emerson, E.A.: Automated temporal reasoning about reactive systems. In: Logics for Concurrency: Structure versus Automata. Volume 1043 of LNCS. Springer (1996) 41-101
8. Kolaitis, P.G.: Schema mappings, data exchange, and metadata management. In: Proc. of PODS 2005. (2005) 61-75
9. Katsuno, H., Mendelzon, A.: On the difference between updating a knowledge base and revising it. In: Proc. of KR'91. (1991)
10. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems. The MIT Press (2001)
11. Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proc. of STOC'77. (1977) 77-90
12. Milner, R.: An algebraic definition of simulation between programs. In: Proc. of IJCAI'71. (1971) 481-489
13. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley (1995)
14. Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Proc. of ICALP'81. Volume 115 of LNCS., Springer (1981) 73-85
15. Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific J. of Mathematics 5(2) (1955) 285-309
16. Gurevich, Y., Shelah, S.: Fixed-point extensions of first order logic. Annals of Pure and Applied Logics 32 (1986) 265-280
17. Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. Theor. Comp. Sci. 336(1) (2005) 89-124
18. Meier, M., Schmidt, M., Lausen, G.: On chase termination beyond stratification. PVLDB 2(1) (2009) 970-981
19. Calvanese, D., Kharlamov, E., Nutt, W., Zheleznyakov, D.: Evolution of DL-Lite knowledge bases. In: Proc. of ISWC 2010. Volume 6496 of LNCS., Springer (2010) 112-128