Semantic Web logic programming tools

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2901, Issue , 2003, Pages 16-32

  Alferes, J J ^a   Damasio C V ^a   Pereira, L M ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTIC WEB; WORLD WIDE WEB;

INTEGRATED STANDARDS; MISSING INFORMATION; WEB COMMUNITY;

LOGIC PROGRAMMING;

EID: 0347526071     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24572-8_2     Document Type: Article

References (35)

1. J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. Evolving logic programs. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), volume 2424 of LNAI, pages 50-61. Springer-Verlag, 2002.
2. J. J. Alferes, A. Brogi, J. A. Leite, and L. M. Pereira. Logic programming for evolving agents. In M. Klusch, A. Omicini, and S. Ossowski, editors, Proceedings of the 7th International Cooperative Information Agents (CIA'03), LNAI. Springer-Verlag, 2003.
3. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Special Issue of the Journal of Automated Reasoning, 14(1):93-147, 1995.
4. J. J. Alferes, P. Dell'Acqua, and L. M. Pereira. A compilation of updates plus preferences. In S. Flesca, S. Greco, N. Leone, and G. Ianni, editors, Proceedings of the 8th European Conference on Logics in Artificial Intelligence (JELIA'02), volume 2424 of LNAI, pages 62-73. Springer-Verlag, 2002.
5. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming, 45(1-3):43-70, September/October 2000.
6. A short version appeared in A. Cohn and L. Schubert (eds.), KR'98, Morgan Kaufmann.
7. J. J. Alferes and L. M. Pereira. Reasoning with logic programming, volume 1111 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1996.
8. J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego, I. P. de Guzman, G. Brewka, and L. M. Pereira, editors, Proceedings of the 7th European Conference on Logics in Artificial Intelligence (JELIA'00), volume 1919 of LNAI, pages 345-360. Springer-Verlag, 2000.
9. J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 132(1 & 2), 2002.
10. A short version appeared in M. Gelfond, N. Leone and G. Pfeifer (eds.), LPNMR'99, Springer LNAI 1730.
11. The DLV Project: A Disjunctive Datalog System (and more). http://www.dbai.tuwien.ac.at/proj/dlv/, 2000.
12. Tim Berners-Lee, James Hendler, and Ora Lassila. The Semantic Web. Scientific American, May 2001.
13. G. Brewka and T. Eiter. Preferred answer sets for extended logic programs. Artificial Intelligence, 109, 1999.
14. A short version appeared in A. Cohn and L. Schubert (eds.), KR'98, Morgan Kaufmann.
15. D. Brickley and R.V. Guha. RDF Vocabulary Description Language 1.0: RDF Schema, 23 January 2003 (work in progress). http://www.w3.org/TR/2003/WD-rdf-schema-20030123/.
16. D. Connolly D., F. van Harmelen, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Stein. DAML+OIL (March 2001) Reference Description. http://www.w3.org/TR/daml+oil-reference.
17. Carlos Viegas Damásio and Luís Moniz Pereira. Default negated conclusions: why not ? In R. Dyckhoff, H. Herre, and P. Schroeder-Heister, editors, Proc. of the 5th International Workshop on Extensions of Logic Programming (ELP'96), number 1050 in LNAI, pages 103-117, 1996.
18. Carlos Viegas Damásio and Luís Moniz Pereira. A paraconsistent semantics with contradiction support detection. In Jürgen Dix, Ulrich Furbach, and Anil Nerode, editors, Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), volume 1265 of Lecture Notes in Artificial Intelligence, pages 224-243, Castelo de Dagstuhl, Alemanha, July 1997. Springer.
19. Carlos Viegas Damásio and Luís Moniz Pereira. A survey of paraconsistent semantics for logic programas. In D. Gabbay and P. Smets, editors, Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 2, Reasoning with Actual and Potential Contradictions. Coordenado por P. Besnard e A. Hunter, pages 241-320. Kluwer Academic Publishers, 1998.
20. M. Dean, G. Schreiber, F. van Harmelen, J. Hendler, I. Horrocks, D.L. McGuinness, P.F. Patel-Schneider, and L.A. Stein. OWL Web Ontology Language Reference, 18 August 2003 (Candidate Recommendation). http://www.w3.org/TR/2003/CR-owl-ref-20030818/.
21. T. Eiter, M. Fink, G. Sabbatini, and H Tompits. A framework for declarative update specifications in logic programs. In IJCAI'01. Morgan-Kaufmann, 2001.
22. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming, 2(6), 2002.
23. M. Van Emden and R. Kowalski. The semantics of predicate logic as a programming language. Journal of ACM, 4(23):733-742, 1976.
24. A. Van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
25. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, 5th International Conference on Logic Programming, pages 1070-1080. MIT Press, 1988.
26. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on Logic Programming, pages 579-597. MIT Press, 1990.
27. P. (Editor) Hayes. RDF semantics, 23 January 2003 (work in progress). http://www.w3.org/TR/2003/WD-rdf-mt-20030123/.
28. The Rule Markup Initiative. http://www.ruleml.org/.
29. O. Lassila and R. Swick. Resource description framework (RDF) model and syntax specification, 22 February 1999. http://www.w3.org/TR/REC-rdf-syntax/.
30. J. A. Leite. Evolving Knowledge Bases. IOS Press, 2003.
31. J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledge representation. In T. Eiter, W. Faber, and M. Truszczynski, editors, Proceedings of the 6th International Conference on Logics Programming and Non-Monotonic Reasoning (LPNMR'01), volume 2173 of LNAI, pages 365-378. Springer-Verlag, 2001.
32. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning (KR-92). Morgan-Kaufmann, 1992.
33. The XSB Logic Programming Systems. http://xsb.sourceforge.net, 2003.
34. The smodels system. http://www.tcs.hut.fi/Software/smodels/, 2000.
35. The W4 RuleML compiler. http://centria.fct.unl.pt/∼cd/projectos/w4/.