Supporting open and closed world reasoning on the web

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

Volumn 4187 LNCS, Issue , 2006, Pages 149-163

  Damásio, Carlos Viegas ^a   Analyti, Anastasia ^b   Antoniou, Grigoris ^b,c   Wagner, Gerd ^d  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b INSTITUTE OF COMPUTER SCIENCE   (Greece)

^c UNIVERSITY OF CRETE   (Greece)

^d BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING; MATHEMATICAL TRANSFORMATIONS; SEMANTICS; SYNTACTICS;

CLOSED WORLD REASONING; DEFAULT NEGATION; MODULAR PROGRAM TRANSFORMATIONS;

WORLD WIDE WEB;

EID: 33845227330     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11853107_11     Document Type: Conference Paper

References (24)

1. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14(1):93-147, 1995.
2. A. Analyti, G. Antoniou, C. V. Damasio, and G. Wagner. Stable Model Theory for Extended RDF Ontologies. In 4th Int. Semantic Web Conf., pages 21-36, 2005.
3. T. Berners-Lee, J. Hendler, and O. Lassila. The semantic web. Scientific American, May 2001.
4. M. Bugliesi, E. Lamma, and P. Mello. Modularity in logic programming. Journal of Logic Programming, 12(1), 1993.
5. CWM-closed world machine. (http://www.w3.org/2000/10/swap/doc/cwm.html).
6. C. V. Damasio and L. M. Pereira. A survey of paraconsistent semantics for logic programs. In D. Gabbay and P. Smets, editors, Handbook of Defeasible Reasoning and Uncertainty Management Systems, volume 2, pages 241-320. Kluwer, 1998.
7. Duerst and Suignard. Internationalized Resource Identifiers. RFC 3987, Jan. 2005.
8. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proc. of IJCAI'05, pages 90-96. Professional Book Center, 2005.
9. R. Gavriloaie, W. Nejdl, D. Olmedilla, K. E. Seamons, and M. Winslett. No registration needed: How to use declarative policies and negotiation to access sensitive resources on the semantic web. In Proc. of 1st ESWS-2004, pages 342-356, 2004.
10. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, Proc. of 7th ICLP, pages 579-597. MIT Press, 1990.
11. J. Heflin and H. M. Avila. Lcw-based agent planning for the semantic web. In Ontologies and the Semantic Web, WS-02-11, pages 63-70. AAAI Press, 2002.
12. H. Herre, J. Jaspars, and G. Wagner. Partial Logics with Two Kinds of Negation as a Foundation of Knowledge-Based Reasoning. In D. M. Gabbay and H. Wansing, editors, What Is Negation? Kluwer Academic Publishers, 1999.
13. I. Horrocks, P. F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof, and M. Dean. SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission, 21 May 2004.
14. M. Kifer, J. de Bruijn, H. Boley, and D. Fensel. A realistic architecture for the semantic web. In Proc. of RuleML 2005, pages 17-29. Springer, November 2005.
15. L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, ECAI'92, pages 102-106. John Wiley & Sons, 1992.
16. The rule interchange WG charter. (http://www.w3.org/2005/rules/wg/ charter).
17. The Rule Markup Initiative (RuleML). Available at http://www.ruleml.org.
18. K. Sagonas, T. Swift, and D. S. Warren. XSB as an efficient deductive database engine. In Proc. of SIGMOD 1994 Conference. ACM, 1994.
19. C. Sakama and K. Inoue. Paraconsistent Stable Semantics for extended disjunctive programs. Journal of Logic and Computation, 5(3):265-285, 1995.
20. J. Shepherdson. Negation in logic programming for general logic programs. In J. Minker, editor, Found. of Ded. Databases and Logic Programming, pages 19-88. Morgan Kaufmann, 1988.
21. J. C. Shepherdson. Negation as failure: a comparison of Clark's completed data base and Reiter's CWA. Journal of Logic Programming, 1(1):51-79, 1984.
22. M. Sintek and S. Decker. TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In First International Semantic Web Conference on The Semantic Web (ISWC2002), pages 364-378. Springer-Verlag, 2002.
23. G. Wagner. Web Rules Need Two Kinds of Negation. In Proc. of PPSWR'03. Springer-Verlag, December 2003.
24. G. Yang, M. Kifer, and C. Zhao. Flora-2: A Rule-Based Know. Representation and Inference Infrastructure for the Sem. Web. In ODBASE'03, pages 671-688, 2003.