Introduction to the TPLP special issue, logic programming in databases: From Datalog to semantic-web rules

Theory and Practice of Logic Programming

Volumn 10, Issue 3, 2010, Pages 243-250

  Orsi, Giorgio ^a   Tanca, Letizia ^a  

^a POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION AREA; CLOSED WORLD ASSUMPTION; COMPUTATIONAL BIOLOGY; DATA BASE THEORY; DATA SETS; DATALOG; DESCRIPTION LOGIC; KNOWLEDGE BASE; LOGIC GRAMMAR; MODELING LANGUAGES; NON-MONOTONIC REASONING; PROGRAMMING CONCEPTS; QUERY ANSWERING; SEMANTIC GRAMMARS;

BIOINFORMATICS; COMPUTATIONAL CHEMISTRY; DATA DESCRIPTION; DATABASE SYSTEMS; KNOWLEDGE BASED SYSTEMS; LINGUISTICS; LOGIC PROGRAMMING;

SEMANTIC WEB;

EID: 77957257518     PISSN: 14710684     EISSN: 14753081     Source Type: Journal    
DOI: 10.1017/S1471068410000086     Document Type: Review

References (30)

1. ABITEBOUL, S., HULL, R. AND VIANU, V., Eds. 1995. Foundations of Databases. Addison-Wesley Longman Publishing Co., Inc.
2. ABITEBOUL, S., OMAR, O. AND MILO, T. 2008. The active xml project: An overview. VLDB Journal 17, 5, 1019-1040.
3. ABRAMSON, H. AND DAHL, V. 1989. Logic Grammars. Springer-Verlag.
4. ARENAS, M., BERTOSSI, L. AND CHOMICKI, J. 1999. Consistent query answers in inconsistent databases. In Proc. of PODS. 68-79.
5. BAADER, F., CALVANESE, D., MCGUINNESS, D. L., NARDI, D. AND PATEL-SCHNEIDER, P. F. 2007. The Description Logic Handbook. Cambridge University Press.
6. BAGET, J., LECLERE, M. AND MUGNIER, M. 2010. Walking the decidability line for rules with existential variables. In Proc. of KR. (in press).
7. BERNERS-LEE, T. 2006. Linked data. URL: http://www.w3.org/DesignIssues/ LinkedData.html.
8. CALÍ, A., GOTTLOB, G. AND LUKASIEWICZ, T. 2009. A general datalog-based framework for tractable query answering over ontologies. In Proc. of PODS. 77-86.
9. CALVANESE, D., GIACOMO, G. D. AND LENZERINI, M. 2008. Conjunctive query containment and answering under description logic constraints. ACM Transactions on Computational Logic 9, 3.
10. CERI, S., GOTTLOB, G. AND TANCA, L. 1990. Logic Programming and Databases. Springer.
11. CODD, E. F. 1970. A relational model of data for large shared data banks. Communications of the ACM 13, 6, 377-387.
12. DE VIRGILIO, R., GIUNCHIGLIA, F. AND TANCA, L. 2010. Semantic Web Information Management A Model-Based Perspective. Springer.
13. DONINI, F. M., LENZERINI, M., NARDI, D. AND SCHAERF, A. 1998. AL-log: Integrating datalog and description logics. Journal of Intelligent Information Systems 10, 3, 227-252. (Pubitemid 128517645)
14. DONINI, F. M., LENZERINI, M., NARDI, D., SCHAERF, A. AND NUTT, W. 1992. Adding epistemic operators to concept languages. In Proc. of KR. 342-353.
15. GELFOND, M. AND LIFSCHITZ, V. 1988. The stable model semantics for logic programming. In Proc. of ICLP/SLP. 1070-1080.
16. GOTTLOB, G., KOCH, C., BAUMGARTNER, R., HERZOG, M. AND FLESCA, S. 2004. The lixto data extraction project: back and forth between theory and practice. In Proc. of PODS. 1-12.
17. HORROCKS, I. AND PATEL-SCHNEIDER, P. F. 2007. A comparison of two modelling paradigms in the semantic web. Journal of Web Semantics 5, 4, 240-250. (Pubitemid 350186144)
18. KRÖTZSCH, M., RUDOLPH, S. AND HITZLER, P. 2008. ELP: Tractable rules for OWL 2. In Proc. of ISWC. 649-664.
19. LEONE, N., RULLO, P. AND SCARCELLO, F. 1997. Disjunctive stable models: Unfounded sets, fixpoint semantics and computation. Information and Computation 135, 2, 69-112. (Pubitemid 127452754)
20. LEVY, A. Y. AND ROUSSET, M. C. 1998. Combining horn rules and description logics in carin. Artificial Intelligence 104, 1-2, 165-209.
21. LIFSCHITZ, V. 1991. Nonmonotonic databases and epistemic queries. In Proc. of IJCAI. 381-386.
22. LUKASIEWICZ, T. 2007. A novel combination of answer set programming with description logics for the semantic web. In Proc. of ESWC. 384-398. (Pubitemid 47290021)
23. MAIER, D., MENDELZON, A. O. AND SAGIV, Y. 1979. Testing implications of data dependencies. ACM Transactions on Database Systems 4, 4, 455-469.
24. MCCARTHY, J. 1980. Circumscription - A form of non-monotonic reasoning. Artificial Intelligence 13, 1-2, 27-39.
25. MINKER, J. AND SEIPEL, D. 2002. Disjunctive logic programming: A survey and assessment. In Computational Logic: Logic Programming and Beyond, A. C. Kakas and F. Sadri, Eds. Lecture Notes in Computer Science, vol. 2408. Springer, 472-511.
26. MOTIK, B. AND ROSATI, R. 2010. Reconciling description logics and rules. Journal of ACM (in press).
27. MOTIK, B., SATTLER, U. AND STUDER, R. 2005. Query answering for owl-dl with rules. Journal of Web Semantics 3, 1, 41-60. (Pubitemid 40891658)
28. REITER, R. 1987. Readings in Non-monotonic Reasoning. Morgan Kaufmann, Chapter On Closed World Data Bases, 300-310.
29. ROSATI, R. 2006. DL + log: A tight integration of description logics and disjunctive datalog. In Proc. of KR. 68-78.
30. ZANIOLO, C. 1982. Database relations with null values. In Proc. of PODS. 27-33.