Stable model theory for extended RDF ontologies

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

Volumn 3729 LNCS, Issue , 2005, Pages 21-36

  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

FAILURE ANALYSIS; FORMAL LOGIC; GRAPH THEORY; INFORMATION ANALYSIS; MATHEMATICAL MODELS; WORLD WIDE WEB;

EXTENDED RDF ONTOLOGIES; SEMANTIC WEB; THE ERDF STABLE MODEL SEMANTICS;

SEMANTICS;

EID: 33646394862     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11574620_5     Document Type: Conference Paper

References (20)

1. A. Analyti, G. Antoniou, C. V. Damasio, and G. Wagner. Negation and Negative Information in the W3C Resource Description Framework. Annals of Mathematics, Computing & Teleinformatics (AMCT), 1(2):25-34, 2004.
2. Tim Berners-Lee. Design issues - architectual and philosophical points. Personal notes, 1998. Available at http://www.w3.org/DesignIssues/.
3. E. Franconi and S. Tessaris. Rules and Queries with Ontologies: A Unified Logical Framework. In Second International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR 2004), pages 50-60, 2004.
4. 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.
5. 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.
6. Patrick Hayes. RDF Semantics. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/2004/REC-rdf-mt-20040210/.
7. 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.
8. H. Herre and G. Wagner. Stable Models are Generated by a Stable Chain. Journal of Logic Programming, 30(2): 165-177, 1997.
9. I. Horrocks and P. F. Patel-Schneider. A Proposal for an OWL Rules Language. In 13th International Conference on World Wide Web (WWW'04), pages 723-731. ACM Press, 2004.
10. 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. Available at http://www.w3.org/Submission/2004/SUBM- SWRL-20040521/.
11. M. Kifer, G. Lausen, and J. Wu. Logical Foundations of Object-Oriented and Frame-Based Languages. Journal of the ACM, 42(4):741-843, 1995.
12. G. Klyne and J. J. Carroll. Resource Description Framework (RDF): Concepts and Abstract Syntax. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/2004/REC-rdf-concepts-20040210/.
13. D. L. McGuinness and F. van Harmelen. OWL Web Ontology Language Overview. W3C Recommendation, 10 February 2004. Available at http://www.w3.org/TR/2004/ REC-owl-features-20040210/.
14. The rule markup initiative (ruleml). Available at http://www.ruleml.org.
15. 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.
16. H. J. ter Horst. Extending the RDFS Entailment Lemma. In 3rd International Semantic Web Conference (ISWC2004), pages 77-91, 2004.
17. Tim-Berners-Lee. Notation 3 - An RDF language for the Semantic Web. W3C Recommendation, 1998. Available at http://wvw.w3.org/DesignIssues/Notation3. html.
18. G. Wagner. A Database Needs Two Kinds of Negation. In 3rd Symposium on Mathematical Fundamentals of Database and Knowledge Base Systems (MFDBS'91), pages 357-371. Springer-Verlag, 1991.
19. G. Wagner. Web Rules Need Two Kinds of Negation. In 1st International Workshop on Principles and Practice of Semantic Web Reasoning (PPSWR'03), pages 33-50. Springer-Verlag, December 2003.
20. Guizhen Yang and Michael Kifer. 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), pages 95-110, 2003.