Extended RDF as a semantic foundation of rule markup languages

Journal of Artificial Intelligence Research

Volumn 32, Issue , 2008, Pages 37-94

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

^a INSTITUTE OF COMPUTER SCIENCE   (Greece)

^b UNIVERSITY OF CRETE   (Greece)

^c UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^d BRANDENBURG UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; MARKUP LANGUAGES; ONTOLOGY;

AUTOMATED REASONING; CLOSED WORLD ASSUMPTION; EXPLICIT REPRESENTATION; NEGATIVE INFORMATION; RULE MARKUP LANGUAGES; SEMANTIC FOUNDATION; STABLE MODEL SEMANTICS; STRONG NEGATIONS;

SEMANTIC WEB;

EID: 51849162273     PISSN: None     EISSN: 10769757     Source Type: Journal    
DOI: 10.1613/jair.2425     Document Type: Article

References (55)

1. Alferes, J. J., Damásio, C. V., & Pereira, L. M. (1995). A Logic Programming System for Non-monotonic Reasoning. Special Issue of the Journal of Automated Reasoning, 14(1), 93-147.
2. Alferes, J. J., Damásio, C. V., & Pereira, L. M. (2003). Semantic Web Logic Programming Tools. In International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'03), pp. 16-32.
3. Analyti, A.. Antoniou, G., Damásio, C. V., & Wagner, G. (2004). Negation and Negative Information in the W3C Resource Description Framework. Annals of Mathematics, Computing & Teleinformatics (AMCT), 1(2), 25-34.
4. Analyti, A., Antoniou, G., Damásio, C. V., & Wagner, G. (2005). Stable Model Theory for Extended RDF Ontologies. In 4th International Semantic Web Conference (ISWC-2005), pp. 21-36.
5. Antoniou, G., Bikakis, A., & Wagner, G. (2004). A System for Nonmonotonic Rules on the Web. In 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RULEML'03), pp. 23-36.
6. Antoniou, G., Billington, D., Governatori, G., & Maher, M. J. (2001). Representation Results for Defeasible Logic. ACM Transactions on Computational Logic (TOCL), 2(2), 255-287.
7. Baader, F., Calvanese, D., McGuinness, D. L., Nardi, D., & Patel-Schneider, P. F. (Eds.). (2003). The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
8. Bassiliades, N., Antoniou, G., & Vlahavas, I. P. (2004). DR-DEVICE: A Defeasible Logic System for the Semantic Web. In 2nd International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'04), pp. 134-148.
9. Beckett, D. (2004). RDF/XML Syntax Specification (Revised). W3C Recommendation. Available at http://www.w3.org/TR/2004/REC-rdf-syntax-grammar- 20040210/.
10. Berger, R. (1966). The Undecidability of the Dominoe Problem. Memoirs of the American Mathematical Society, 66, 1-72.
11. Berners-Lee, T. (1998). Design Issues - Architectual and Philosophical Points. Personal notes. Available at http://www.w3.org/DesignIssues.
12. Berners-Lee, T., Connolly, D., Kagal, L., Scharf, Y., & Hendler, J. (2008). N3Logic: A Logical Framework For the World Wide Web. to be published by Theory and Practice of Logic Programming (TPLP), Special Issue on Logic Programming and the Web.
13. Bry, F., & Marchiori, M. (2005). Ten Theses on Logic Languages for the Semantic Web. In 3rd International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR-2005), pp. 42-49.
14. Damásio, C. V., Analyti, A., Antoniou, G., & Wagner, G (2006). Supporting Open and Closed World Reasoning on the Web. In 4th Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR-2006), pp. 149-163.
15. de Bruijn, J., Franconi, E., & Tessaris, S. (2005). Logical Reconstruction of Normative RDF. In OWL: Experiences and Directions Workshop (OWLED-2005), Galway, Ireland.
16. Donini, F. M., Lenzerini, M., Nardi, D., & Schaerf, A. (1998). A-log: Integrating Datalog and Description Logics. Journal of Intelligent Information Systems, 10(3), 227-252.
17. Donini, F. M., Nardi, D., & Rosati, R. (2002). Description Logics of Minimal Knowledge and Negation as Failure. ACM Transactions on Computational Logic, 3(2), 177-225.
18. Eiter, T., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2004a). Combining Answer Set Programming with Description Logics for the Semantic Web. In 9th International Conference on Principles of Knowledge Representation and Reasoning (KR '04), pp. 141-151.
19. Eiter, T., Lukasiewicz, T., Schindlauer, R., & Tompits, H. (2004b). Well-Founded Semantics for Description Logic Programs in the Semantic Web. In 3rd International Workshop on Rules and Rule Markup Languages for the Semantic Web (R.uleML'04), pp. 81-97.
20. Eiter, T., Ianni, G., Polleres, A., & Schindlauer, R. (2006). Answer Set Programming for the Semantic Web. Tutorial co-located with the 3d European Semantic Web Conference (ESWC-2006).
21. Gelder, A. V., Ross, K. A., & Schlipf, J. S. (1991). The Well-Founded Semantics for General Logic Programs. Journal of the ACM, 38(3), 620-650.
22. Gelfond, M., & Lifschitz, V. (1988). The Stable Model Semantics for Logic Programming. In Kowalski, R., & Bowen, K. A. (Eds.), 5th International Conference on Logic Programming, pp. 1070-1080. MIT Press.
23. Gelfond, M., & Lifschitz, V. (1990). Logic programs with Classical Negation. In Warren, & Szeredi (Eds.), 7th International Conference on Logic Programming, pp. 579-597. MIT Press.
24. Gelfond, M.. & Lifschitz, V. (1991). Classical Negation in Logic: programs and Disjunctive Databases. New Generation Computing, 9, 365-385.
25. Hayes, P. (2004). RDF Semantics. W3C Recommendation. Available at http://www.w3.org/TR/2004/REC-rdf-mt-20040210/.
26. Herre, H., Jaspars, J., & Wagner, G (1999). Partial Logics with Two Kinds of Negation as a Foundation of Knowledge-Based Reasoning. In Gabbay, D. M., & Wansing, H. (Eds.), What Is Negation? Kluwer Academic Publishers.
27. Herre, H., & Wagner, G. (1997). Stable Models are Generated by a Stable Chain. Journal of Logic Programming, 30(2), 165-177.
28. Horrocks, I., & Patel-Schneider, P. F. (2003). Reducing OWL Entailment to Description Logic Satisfiability. In 2nd International Semantic Web Conference (ISWC-2003), pp. 17-29.
29. Horrocks, I., & Patel-Schneider, P. F. (2004). A Proposal for an OWL Rules Language. In 13th International Conference on World Wide Web (WWW'04), pp. 723-731. ACM Press.
30. Horrocks, I., Patel-Schneider, P. F., Boley, H., Tabet, S., Grosof, B., & Dean, M. (2004). SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission. Available at http://www.w3.org/Submission/2004/ SUBM-SWRL-20040521/.
31. Kifer, M., Lausen, G., & Wu, J. (1995). Logical Foundations of Object-Oriented and FrameBased Languages. Journal of the ACM, 42(4), 741-843.
32. Klyne, G., & Carroll, J. J. (2004). Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation. Available at http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/.
33. Levy, A. Y., & Rousset, M. (1998). Combining Horn Rules and Description Logics in CARIN. Artificial Intelligence, 104(1-2), 165-209.
34. Lloyd, J. W., & Topor, R. W. (1984). Making Prolog more Expressive. Journal of Logic Programming, 1(3), 225-240.
35. Maher, M. J. (2002). A Model-Theoretic Semantics for Defeasible Logic. In ICLP 2002 Workshop on Paraconsistent Computational Logic (PCL-2002), pp. 255-287.
36. McGuinness, D. L., & van Harmelen, F. (2004). OWL Web Ontology Language Overview. W3C Recommendation. Available at http://www.w3.org/TR/2004/ REC-owl-features-20040210/.
37. Motik, B., Sattler, U., & Studer, R. (2004). Query Answering for OWL-DL with Rules. In 3rd International Semantic Web Conference (ISWC-2004), pp. 549-563.
38. Patel-Schneider, P. F., Hayes, P., & Horrocks, I. (2004). OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation. Available at http://www.w3.org/TR/2004/REC-owl-semantics-20040210/.
39. Pereira, L. M., & Alferes, J. J. (1992). Well-Founded Semantics for Logic Programs with Explicit Negation. In Neumann, B. (Ed.), European Conference on Artificial Intelligence, pp. 102-106. John Wiley & Sons.
40. Prud'hommeaux, E., & Seaborne, A. (2008). SPARQL Query Language for RDF. W3C Recommendation. Available at http://www.w3.org/TR/rdf-sparql-query/.
41. Rao, P., Sagonas, K. F., Swift, T., Warren, D. S., & Freire, J. (1997). XSB: A System for Efficiently Computing WFS. In Proceedings of 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), pp. 1070-1080.
42. Rosati, R. (1999). Towards Expressive KR Systems Integrating Datalog and Description Logics: Preliminary Report. In Proc. of the 1999 Description Logic Workshop (DL'99), pp. 160-164.
43. Rosati, R. (2005). On the Decidability and Complexity of Integrating Ontologies and Rules. Journal of Web Semantics, 3, 61-73.
44. Schaffert, S., Bry, F., Besnard, P., Decker, H., Decker, S., Enguix, C. F., & Herzig, A. (2005). Paraconsistent Reasoning for the Semantic Web. In Workshop on Uncertainty Reasoning for the Semantic Web, co-located with ISWC-2005, pp. 104-105.
45. Sintek, M., & Decker, S. (2002). TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In 1st International Semantic Web Conference (ISWC-2002), pp. 364-378. Springer-Verlag.
46. ter Horst, H. J. (2004). Extending the RDFS Entailment Lemma. In 3rd International Semantic Web Conference (ISWC-2004), pp. 77-91.
47. ter Horst, H. J. (2005a). Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. In 4th International Semantic Web Conference (ISWC-2005), pp. 668-684.
48. ter Horst, H. J. (2005b). Completeness, Decidability and Complexity of Entailment for RDF Schema and a Semantic Extension Involving the OWL Vocabulary. Journal of Web Semantics, 3(2-3), 79-115.
49. Wagner, G. (1991). A Database Needs Two Kinds of Negation. In 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS'91), pp. 357-371. Springer-Verlag.
50. Wagner, G. (2003). Web Rules Need Two Kinds of Negation. In 1st International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'03), pp. 33-50. Springer-Verlag.
51. Wagner, G., Giurca, A., & Lukichev, S. (2005). A General Markup Framework for Integrity and Derivation Rules. In Dagstuhl Seminar Proceedings: Principles and Practices of Semantic Web Reasoning.
52. Wagner, G., Giurca, A., & Lukichev, S. (2006). A Usable Interchange Format for Rich Syntax Rules Integrating OCL, RuleML and SWRL. In Workshop on Reasoning on the Web (RoW-2006), co-located with WWW-2006).
53. Yang, G., & Kifer, M. (2003a). Inheritance and Rules in Object-Oriented Semantic Web Languages. In 2nd International Workshop on Rules and Rule Markup Languages for the Semantic Web (RULEML'03), pp. 95-110.
54. Yang, G., & Kifer, M. (2003b). Reasoning about Anonymous Resources and Meta Statements on the Semantic Web. Journal on Data Semantics, 1, 69-97.
55. Yang, G., Kifer, M., & Zhao, C. (2003). Flora-2: A Rule-Based Knowledge Representation and Inference Infrastructure for the Semantic Web. In 2nd International Conference on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems (ODBASE'03), pp. 671-688.