Abstract
Knowledge representation formalisms used on the Semantic Web adhere to a strict open world assumption. Therefore, nonmonotonic reasoning techniques are often viewed with scepticism. Especially negation as failure, which intuitively adopts a closed world view, is often claimed to be unsuitable for the Web where knowledge is notoriously incomplete. Nonetheless, it was suggested in the ongoing discussions around rules extensions for languages like RDF(S) or OWL to allow at least restricted forms of negation as failure, as long as negation has an explicitly defined, finite scope. Yet clear definitions of such “scoped negation” as well as formal semantics thereof are missing. We propose logic programs with contexts and scoped negation and discuss two possible semantics with desirable properties. We also argue that this class of logic programs can be viewed as a rule extension to a subset of RDF(S).
Chapter PDF
Similar content being viewed by others
References
Angele, J., et al.: Web rule language (WRL). W3C Member Submission (June 2005), http://www.w3.org/Submission/WRL/
Battle, S., et al.: Semantic Web services Framework (SWSF). W3C Member Submission (May 2005), http://www.w3.org/Submission/SWSF/
Berners-Lee, T., Connolly, D., Prud’homeaux, E., Scharf, Y.: Experience with N3 rules. In: W3C Workshop on Rule Languages for Interoperability, Washington, D.C., USA (April 2005)
Bouquet, P., Giunchiglia, F., van Harmelen, F., Serafini, L., Stuckenschmidt, H.: C-OWL: Contextualizing ontologies. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 164–179. Springer, Heidelberg (2003)
Brickley, D., Guha, R.V. (eds.): McBride, B. (series ed.): RDF Vocabulary Description Language 1.0, W3C Recommendation (February 2004), http://www.w3.org/TR/2004/REC-rdf-schema-20040210/
Carroll, J., Bizer, C., Hayes, P., Stickler, P.: Named graphs. Journal of Web Semantics 3(4) (2005)
da Silva, P.P., McGuinness, D.L., McCool, R.: Knowledge provenance infrastructure. IEEE Data Engineering Bulletin 26(4) (2003)
Decker, S., Sintek, M., Nejdl, W.: The model-theoretic semantics of TRIPLE. Technical report (2002)
Etzioni, O., Golden, K., Weld, D.: Tractable closed world reasoning with updates. In: KR 1994: Principles of Knowledge Representation and Reasoning, Bonn, Germany (1994)
Van Gelder, A., Ross, K., Schlipf, J.S.: Unfounded sets and well-founded semantics for general logic programs. In: 7th ACM Symposium on Principles of Database Systems, Austin, Texas (1988)
Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: 5th Int’l. Conf. on Logic Programming, Cambridge, Massachusetts (1988)
Hayes, P.: RDF semantics. W3C Recommendation (February 2004), http://www.w3.org/TR/rdf-mt/
Kifer, M.: Nonmonotonic reasoning in FLORA-2. In: Baral, C., Greco, G., Leone, N., Terracina, G. (eds.) LPNMR 2005. LNCS, vol. 3662, pp. 1–12. Springer, Heidelberg (2005)
Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. JACM 42(4) (1995)
Lifschitz, V., Turner, H.: Splitting a logic program. In: Van Hentenryck, P. (ed.) 11th Int’l. Conf. on Logic Programming (ICLP 1994), Santa Margherita Ligure, Italy (June 1994)
McGuinness, D.L., van Harmelen, F.: OWL Web ontology language overview. W3C Recommendation (February 2004), http://www.w3.org/TR/2004/REC-owl-features-20040210/
Prud’hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF, W3C Working Draft (July 2005)
Schlipf, J.S.: Formalizing a Logic for Logic Programming. AMAI 5(2-4) (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Polleres, A., Feier, C., Harth, A. (2006). Rules with Contextually Scoped Negation. In: Sure, Y., Domingue, J. (eds) The Semantic Web: Research and Applications. ESWC 2006. Lecture Notes in Computer Science, vol 4011. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11762256_26
Download citation
DOI: https://doi.org/10.1007/11762256_26
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-34544-2
Online ISBN: 978-3-540-34545-9
eBook Packages: Computer ScienceComputer Science (R0)