Practical applications of extended deductive databases in Datalog

Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009, WLP 2009

Volumn , Issue , 2009, Pages 37-50

  Seipel, Dietmar ^a  

^a UNIVERSITY OF WÜRZBURG   (Germany)

Author keywords

Bottom up; Built in predicates; Deductive databases; Forward backward chaining; Function symbols; Prolog; Stratification; Top down; XML

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DATABASE SYSTEMS; LOGIC PROGRAMMING; THERMAL STRATIFICATION; XML;

BACKWARD CHAINING; BOTTOM-UP; BUILT-IN PREDICATES; DEDUCTIVE DATABASE; FUNCTION SYMBOLS; PROLOG; TOP- DOWN;

PROLOG (PROGRAMMING LANGUAGE);

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

References (19)

1. S. Abiteboul, P. Bunemann, D. Suciu: Data on the Web-From Relations to Semi-Structured Data and Xml, Morgan Kaufmann, 2000.
2. C. Baral: Knowledge Representation, Reasoning and Declarative Problem Solving, Cambridge University Press, 2003.
3. J. Baumeister, D. Seipel: Smelly Owls-Design Anomalies in Ontologies, Proc. 18th International Florida Artificial Intelligence Research Society Conference, FLAIRS 2005, AAAI Press, 2005, pp. 215-220.
4. S. Brass: Range Restriction for General Formulas, Proc. 22nd Workshop on (Constraint) Logic Programming, WLP 2009.
5. I. Bratko: Prolog-Programming for Artificial Intelligence, 3rd Edition, Addison-Wesley, 2001.
6. P. Cabalar: Existential Quantifiers in the Rule Body, Proc. 22nd Workshop on (Constraint) Logic Programming, WLP 2009.
7. A. Cali, G. Gottlob, T. Lukasiewicz: A General Datalog-Based Framework for Tractable Query Answering over Ontologies, Proc. International Conference on Principles of Database Systems, PODS 2009, pp. 77-86.
8. S. Ceri, G. Gottlob, L. Tanca: Logic Programing and Databases, Springer, 1990.
9. W.F. Clocksin, C.S. Mellish: Programming in Prolog, 5th Edition, Springer, 2003.
10. G. Köstler, W. Kießling, H. Thöne, U. Güntzer: Fixpoint Iteration with Subsumption in Deductive Databases, Journal of Intelligent Information Systems, Volume 4, Number 2, Springer, 1995.
11. J. Lobo, J. Minker, A. Rajasekar: Foundations of Disjunctive Logic Programming, MIT Press, 1992.
12. B. Marnette: Generalized Schema-Mappings: From Termination To Tractability, Proc. International Conference on Principles of Database Systems, PODS 2009, pp. 13-22.
13. J. Minker (Ed.): Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, 1987.
14. P. Puppe et al.: D3. http://d3web.informatik.uni-wuerzburg.de/
15. D. Seipel: The DisLog Developers' Kit (DDK), http://www1.informatik.uni-wuerzburg.de/databases/DisLog
16. D. Seipel: Using Clausal Deductive Databases for Defining Semantics in Disjunctive Deductive Databases. Annals of Mathematics and Artificial Intelligence, vol. 33, Kluwer Academic Publishers, 2001, pp. 347-378.
17. D. Seipel, M. Hopfner, B. Heumesser: Analyzing and Visualizing Prolog Programs based on Xml Representations. Proc. InternationalWorkshop on Logic Programing Environments, WLPE 2003.
18. D. Seipel, J. Baumeister: Declarative Specification and Interpretation of Rule-Based Systems, Proc. 21st International Florida Artificial Intelligence Research Society Conference, FLAIRS 2008, AAAI Press, 2008.
19. J. Wielemaker: Swi-Prolog 5.0 Reference Manual and J. Wielemaker, A. Anjewierden: Programming in Xpce/Prolog, http://www.swi-prolog.org/