Rules with contextually scoped negation

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

Volumn 4011 LNCS, Issue , 2006, Pages 332-347

  Polleres, Axel ^a,b,c   Feier, Cristina ^a,b   Harth, Andreas ^a,b  

^a Semantic Technology Institute Innsbruck   (Austria)

^b Lower Dangan   (Ireland)

^c UNIVERSIDAD REY JUAN CARLOS   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER PROGRAMMING LANGUAGES; FEEDBACK; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; SET THEORY;

NEGATION; NONMONOTONIC; OWL; RDF(S);

SEMANTICS;

EID: 33746041417     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11762256_26     Document Type: Conference Paper

References (18)

1. J. Angele et al. Web rule language (WRL). W3C Member Submission, http://www.w3.org/Submission/WRL/, June 2005.
2. S. Battle, et al. Semantic Web services Framework (SWSF). W3C Member Submission, http://www.w3.org/Submission/SWSF/, May 2005.
3. T. Berners-Lee, D. Connolly, E. Prud'homeaux, and Y. Scharf. Experience with N3 rules. In W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USA, Apr. 2005.
4. P. Bouquet, F. Giunchiglia, F. van Harmelen, L. Serafini, and H. Stuckenschmidt. C-OWL: Contextualizing ontologies. In Second International Semantic Web Conference - ISWC 2003, Sanibel Island, FL, USA, 2003.
5. D. Brickley, R. V. Guha (eds.), and B. McBride (series ed.). RDF Vocabulary Description Language 1.0. Feb. 2004. W3C Recommendation, http://www.w3.org/TR/2004/REC-rdf-schema-20040210/.
6. J. Carroll, C. Bizer, P. Hayes, and P. Stickler. Named graphs. Journal of Web Semantics, 3(4), 2005.
7. Paulo Pinheiro da Silva, Deborah L. McGuinness, and Rob McCool. Knowledge provenance infrastructure. IEEE Data Engineering Bulletin, 26(4), 2003.
8. S. Decker, M. Sintek, and W. Nejdl. The model-theoretic semantics of TRIPLE. Technical report, 2002.
9. O. Etzioni, K. Golden, and D. Weld. Tractable closed world reasoning with updates. In KR'94: Principles of Knowledge Representation and Reasoning, Bonn, Germany, 1994.
10. A. Van Gelder, K. Ross, and J.S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In 7th ACM Symposium on Principles of Database Systems, Austin, Texas, 1988.
11. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In 5th Int'l Conf. on Logic Programming, Cambridge, Massachusetts, 1988.
12. P. Hayes. RDF semantics. W3C Recommendation, http://www.w3.org/TR/rdf-mt/ , Feb. 2004.
13. M. Kifer. Nonmonotonic reasoning in FLORA-2. In 8th Int'l Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'OS), Diamante, Italy, 2005.
14. M. Kifer, G. Lausen, and J, Wu. Logical foundations of object-oriented and frame-based languages. JACM, 42(4), 1995.
15. V. Lifschitz and H. Turner. Splitting a logic program. In Pascal Van Hentenryck, editor, 11th Int'l Conf. on Logic Programming (ICLP'94), Santa Margherita Ligure, Italy, June 1994.
16. D.L, McGuinness and F. van Harmelen. OWL Web ontology language overview. W3C Recommendation, http://www.w3.org/TR/2004/REC-owl-features-20040210/, Feb. 2004.
17. E, Prud'hommeaux and A. Seaborne (eds.), SPARQL Query Language for RDF, July 2005, W3C Working Draft.
18. J.S. Schlipf. Formalizing a Logic for Logic Programming. AMAI,5(2-4), 1992.