@inproceedings{poll-etal-2006b,
	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).},
	Address = {Budva, Montenegro},
	Author = {Axel Polleres and Cristina Feier and Andreas Harth},
	Booktitle = {Proceedings of the 3rd European Semantic Web Conference (ESWC2006)},
	Day = {11--14},
	Month = JUN,
	Pages = {332--347},
	Publisher = {Springer},
	Series = LNCS,
	Talk = {Axel Polleres},
	Title = {Rules with Contextually Scoped Negation},
	Type = CONF,
	Url = {http://www.polleres.net/publications/poll-etal-2006b.pdf},
	Volume = 4011,
	Year = 2006,
	Bdsk-Url-1 = {http://www.polleres.net/publications/poll-etal-2006b.pdf}}

{"_id":{"_str":"5342c5430e946d920a0036ca"},"__v":40,"authorIDs":["545720922abc8e9f370000ae","54579d5a2abc8e9f37000584","5457fecf2abc8e9f370009ab","5PFMiHGwfvbGBZwWF","5de7280d97054edf010000c3","5e02b1a419da8edf01000028","5e048450db7916df010000b1","5e06d565a0810cde0100009b","5e10e27445c12cde01000062","5e123345c196d3de01000074","5e14ba61e55ed8de01000072","5e189b4e779abfdf0100013f","5e216f7e5a651cdf010000eb","5e25b9fdf299d4de01000001","5e2d64605e7586df01000083","5e36e5e9b26a0fde0100005e","5e37d23b56571fde010000de","5e4ded1052c311f20100018e","5e51a3102793ecde010000e0","5e59a6b5ad6c7fde01000114","5e5d588ead47bcde01000072","5e60e857839e59df010000f1","A5AFuDAiNR4HEYiFD","BtzwZ6TFPsASbdqvo","DLdeXAmrbA4niYQzH","FyLDFGg993nDS2Spf","NCjPvWahWRjdP3ghB","XcyP3jptz7zE4ZLws","aiXjXMLP63k5WCt84","fTDcT5K3oSTcdxSBj","fbKNfWffDzdzubrER","haaAs2rQaQA7EaZva","nQX2P8WzFeKwcpLqd","nuWuyLnGu7YzMrn4d","pfENTBFWo85mRy3ik","rX6EShFR2rMFmQL2C","w6wHZukTjqqera7BR","woa42kCD35yCmdQTj","yPgvarsL7KAT9yfZd","yzkCNJMYNL8B3bni2","zDG3tj87ZfYXo7u9c"],"author_short":["Polleres, A.","Feier, C.","Harth, A."],"bibbaseid":"polleres-feier-harth-ruleswithcontextuallyscopednegation-2006","bibdata":{"bibtype":"inproceedings","type":"Conference paper","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).","address":"Budva, Montenegro","author":[{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]},{"firstnames":["Cristina"],"propositions":[],"lastnames":["Feier"],"suffixes":[]},{"firstnames":["Andreas"],"propositions":[],"lastnames":["Harth"],"suffixes":[]}],"booktitle":"Proceedings of the 3rd European Semantic Web Conference (ESWC2006)","day":"11–14","month":"June","pages":"332–347","publisher":"Springer","series":"Lecture Notes in Computer Science (LNCS)","talk":"Axel Polleres","title":"Rules with Contextually Scoped Negation","url":"http://www.polleres.net/publications/poll-etal-2006b.pdf","volume":"4011","year":"2006","bdsk-url-1":"http://www.polleres.net/publications/poll-etal-2006b.pdf","bibtex":"@inproceedings{poll-etal-2006b,\n\tAbstract = {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).},\n\tAddress = {Budva, Montenegro},\n\tAuthor = {Axel Polleres and Cristina Feier and Andreas Harth},\n\tBooktitle = {Proceedings of the 3rd European Semantic Web Conference (ESWC2006)},\n\tDay = {11--14},\n\tMonth = JUN,\n\tPages = {332--347},\n\tPublisher = {Springer},\n\tSeries = LNCS,\n\tTalk = {Axel Polleres},\n\tTitle = {Rules with Contextually Scoped Negation},\n\tType = CONF,\n\tUrl = {http://www.polleres.net/publications/poll-etal-2006b.pdf},\n\tVolume = 4011,\n\tYear = 2006,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/poll-etal-2006b.pdf}}\n\n","author_short":["Polleres, A.","Feier, C.","Harth, A."],"key":"poll-etal-2006b","id":"poll-etal-2006b","bibbaseid":"polleres-feier-harth-ruleswithcontextuallyscopednegation-2006","role":"author","urls":{"Paper":"http://www.polleres.net/publications/poll-etal-2006b.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","downloads":0,"keywords":[],"search_terms":["rules","contextually","scoped","negation","polleres","feier","harth"],"title":"Rules with Contextually Scoped Negation","year":2006,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}