@inproceedings{poll-2006,
	Abstract = {The Semantic Web community is currently dominated by knowledge representation formalisms adhering to a strict open world assumption. Nonmonotonic reasoning formalisms are viewed with partial scepticism and it is often argued that nonmonotonic reasoning techniques which adopt a closed world assumption are invalid in an open environment such as the Web where knowledge is notoriously incomplete. Nonetheless, in the ongoing discussion about rule extensions for Semantic Web Languages like RDF(S) or OWL several proposals have been made to partly break with this view and to allow a restricted form of negation as failure. Recently, the term ``scoped negation'' emerged in discussions around this topic, yet a clear definition about the meaning of ``scope'' and ``scoped negation'' and a formal semantics are still missing. In this paper we provide preliminary results towards these missing definitions and define two possible semantics for logic programs with contextually scoped negation, which we propose as an extension of RDFS.},
	Address = {Vienna, Austria},
	Author = {Axel Polleres},
	Booktitle = {20th Workshop on Logic Programming ({WLP 2006})},
	Day = {22--24},
	Month = FEB,
	Talk = {Axel Polleres},
	Title = {Logic Programs with Contextually Scoped Negation},
	Type = WS,
	Url = {http://www.polleres.net/publications/poll-2006.pdf},
	Year = 2006,
	Bdsk-Url-1 = {http://www.polleres.net/publications/poll-2006.pdf}}

{"_id":{"_str":"52086bfba9e4b91d2f00008a"},"__v":35,"authorIDs":["545720922abc8e9f370000ae","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."],"bibbaseid":"polleres-logicprogramswithcontextuallyscopednegation-2006","bibdata":{"bibtype":"inproceedings","type":"workshop","abstract":"The Semantic Web community is currently dominated by knowledge representation formalisms adhering to a strict open world assumption. Nonmonotonic reasoning formalisms are viewed with partial scepticism and it is often argued that nonmonotonic reasoning techniques which adopt a closed world assumption are invalid in an open environment such as the Web where knowledge is notoriously incomplete. Nonetheless, in the ongoing discussion about rule extensions for Semantic Web Languages like RDF(S) or OWL several proposals have been made to partly break with this view and to allow a restricted form of negation as failure. Recently, the term ``scoped negation'' emerged in discussions around this topic, yet a clear definition about the meaning of ``scope'' and ``scoped negation'' and a formal semantics are still missing. In this paper we provide preliminary results towards these missing definitions and define two possible semantics for logic programs with contextually scoped negation, which we propose as an extension of RDFS.","address":"Vienna, Austria","author":[{"firstnames":["Axel"],"propositions":[],"lastnames":["Polleres"],"suffixes":[]}],"booktitle":"20th Workshop on Logic Programming (WLP 2006)","day":"22–24","month":"February","talk":"Axel Polleres","title":"Logic Programs with Contextually Scoped Negation","url":"http://www.polleres.net/publications/poll-2006.pdf","year":"2006","bdsk-url-1":"http://www.polleres.net/publications/poll-2006.pdf","bibtex":"@inproceedings{poll-2006,\n\tAbstract = {The Semantic Web community is currently dominated by knowledge representation formalisms adhering to a strict open world assumption. Nonmonotonic reasoning formalisms are viewed with partial scepticism and it is often argued that nonmonotonic reasoning techniques which adopt a closed world assumption are invalid in an open environment such as the Web where knowledge is notoriously incomplete. Nonetheless, in the ongoing discussion about rule extensions for Semantic Web Languages like RDF(S) or OWL several proposals have been made to partly break with this view and to allow a restricted form of negation as failure. Recently, the term ``scoped negation'' emerged in discussions around this topic, yet a clear definition about the meaning of ``scope'' and ``scoped negation'' and a formal semantics are still missing. In this paper we provide preliminary results towards these missing definitions and define two possible semantics for logic programs with contextually scoped negation, which we propose as an extension of RDFS.},\n\tAddress = {Vienna, Austria},\n\tAuthor = {Axel Polleres},\n\tBooktitle = {20th Workshop on Logic Programming ({WLP 2006})},\n\tDay = {22--24},\n\tMonth = FEB,\n\tTalk = {Axel Polleres},\n\tTitle = {Logic Programs with Contextually Scoped Negation},\n\tType = WS,\n\tUrl = {http://www.polleres.net/publications/poll-2006.pdf},\n\tYear = 2006,\n\tBdsk-Url-1 = {http://www.polleres.net/publications/poll-2006.pdf}}\n\n","author_short":["Polleres, A."],"key":"poll-2006","id":"poll-2006","bibbaseid":"polleres-logicprogramswithcontextuallyscopednegation-2006","role":"author","urls":{"Paper":"http://www.polleres.net/publications/poll-2006.pdf"},"metadata":{"authorlinks":{"polleres, a":"https://bibbase.org/show?bib=www.polleres.net/mypublications.bib"}}},"bibtype":"inproceedings","biburl":"www.polleres.net/mypublications.bib","downloads":0,"keywords":[],"search_terms":["logic","programs","contextually","scoped","negation","polleres"],"title":"Logic Programs with Contextually Scoped Negation","title_words":["logic","programs","contextually","scoped","negation"],"year":2006,"dataSources":["cBfwyqsLFQQMc4Fss","gixxkiKt6rtWGoKSh","QfLT6siHZuHw9MqvK"]}