{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:31:57Z","timestamp":1725471117077},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540395867"},{"type":"electronic","value":"9783540395874"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11853107_11","type":"book-chapter","created":{"date-parts":[[2006,9,29]],"date-time":"2006-09-29T07:49:56Z","timestamp":1159516196000},"page":"149-163","source":"Crossref","is-referenced-by-count":16,"title":["Supporting Open and Closed World Reasoning on the Web"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anastasia","family":"Analyti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Grigoris","family":"Antoniou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerd","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"11_CR1","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"Alferes, J.J., Dam\u00e1sio, C.V., Pereira, L.M.: A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning\u00a014(1), 93\u2013147 (1995)","journal-title":"Journal of Automated Reasoning"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Analyti, A., Antoniou, G., Dam\u00e1sio, C.V., Wagner, G.: Stable Model Theory for Extended RDF Ontologies. In: 4th Int. Semantic Web Conf., pp. 21\u201336 (2005)","DOI":"10.1007\/11574620_5"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"11_CR4","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. Journal of Logic Programming\u00a012(1) (1993)"},{"key":"11_CR5","unstructured":"CWM-closed world machine, http:\/\/www.w3.org\/2000\/10\/swap\/doc\/cwm.html"},{"key":"11_CR6","first-page":"241","volume-title":"Handbook of Defeasible Reasoning and Uncertainty Management Systems","author":"C.V. Dam\u00e1sio","year":"1998","unstructured":"Dam\u00e1sio, C.V., Pereira, L.M.: A survey of paraconsistent semantics for logic programs. In: Gabbay, D., Smets, P. (eds.) Handbook of Defeasible Reasoning and Uncertainty Management Systems, vol.\u00a02, pp. 241\u2013320. Kluwer, Dordrecht (1998)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Duerst, Suignard: Internationalized Resource Identifiers. RFC 3987 (January 2005)","DOI":"10.17487\/rfc3987"},{"key":"11_CR8","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H.: A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In: Proc. of IJCAI 2005, pp. 90\u201396. Professional Book Center (2005)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1007\/978-3-540-25956-5_24","volume-title":"The Semantic Web: Research and Applications","author":"R. Gavriloaie","year":"2004","unstructured":"Gavriloaie, R., Nejdl, W., Olmedilla, D., Seamons, K.E., Winslett, M.: No registration needed: How to use declarative policies and negotiation to access sensitive resources on the semantic web. In: Bussler, C.J., Davies, J., Fensel, D., Studer, R. (eds.) ESWS 2004. LNCS, vol.\u00a03053, pp. 342\u2013356. Springer, Heidelberg (2004)"},{"key":"11_CR10","first-page":"579","volume-title":"Proc. of 7th ICLP","author":"M. Gelfond","year":"1990","unstructured":"Gelfond, M., Lifschitz, V.: Logic programs with classical negation. In: Warren, Szeredi (eds.) Proc. of 7th ICLP, pp. 579\u2013597. MIT Press, Cambridge (1990)"},{"key":"11_CR11","series-title":"WS-02-11","first-page":"63","volume-title":"Ontologies and the Semantic Web","author":"J. Heflin","year":"2002","unstructured":"Heflin, J., Avila, H.M.: Lcw-based agent planning for the semantic web. In: Ontologies and the Semantic Web. WS-02-11, pp. 63\u201370. AAAI Press, Menlo Park (2002)"},{"key":"11_CR12","volume-title":"What Is Negation?","author":"H. Herre","year":"1999","unstructured":"Herre, H., Jaspars, J., Wagner, G.: Partial Logics with Two Kinds of Negation as a Foundation of Knowledge-Based Reasoning. In: Gabbay, D.M., Wansing, H. (eds.) What Is Negation? Kluwer Academic Publishers, Dordrecht (1999)"},{"key":"11_CR13","unstructured":"Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B., Dean, M.: SWRL: A semantic web rule language combining OWL and RuleML. W3C Member Submission (May 21, 2004)"},{"key":"11_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/11580072_3","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"M. Kifer","year":"2005","unstructured":"Kifer, M., de Bruijn, J., Boley, H., Fensel, D.: A realistic architecture for the semantic web. In: Adi, A., Stoutenburg, S., Tabet, S. (eds.) RuleML 2005. LNCS, vol.\u00a03791, pp. 17\u201329. Springer, Heidelberg (2005)"},{"key":"11_CR15","first-page":"102","volume-title":"ECAI 1992","author":"L.M. Pereira","year":"1992","unstructured":"Pereira, L.M., Alferes, J.J.: Well founded semantics for logic programs with explicit negation. In: Neumann, B. (ed.) ECAI 1992, pp. 102\u2013106. John Wiley & Sons, Chichester (1992)"},{"key":"11_CR16","unstructured":"The rule interchange WG charter, http:\/\/www.w3.org\/2005\/rules\/wg\/charter"},{"key":"11_CR17","unstructured":"The Rule Markup Initiative (RuleML). available at: http:\/\/www.ruleml.org"},{"key":"11_CR18","volume-title":"Proc. of SIGMOD 1994 Conference","author":"K. Sagonas","year":"1994","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: XSB as an efficient deductive database engine. In: Proc. of SIGMOD 1994 Conference. ACM, New York (1994)"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1093\/logcom\/5.3.265","volume":"5","author":"C. Sakama","year":"1995","unstructured":"Sakama, C., Inoue, K.: Paraconsistent Stable Semantics for extended disjunctive programs. Journal of Logic and Computation\u00a05(3), 265\u2013285 (1995)","journal-title":"Journal of Logic and Computation"},{"key":"11_CR20","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1016\/B978-0-934613-40-8.50005-1","volume-title":"Found. of Ded. Databases and Logic Programming","author":"J. Shepherdson","year":"1988","unstructured":"Shepherdson, J.: Negation in logic programming for general logic programs. In: Minker, J. (ed.) Found. of Ded. Databases and Logic Programming, pp. 19\u201388. Morgan Kaufmann, San Francisco (1988)"},{"issue":"1","key":"11_CR21","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(84)90023-2","volume":"1","author":"J.C. Shepherdson","year":"1984","unstructured":"Shepherdson, J.C.: Negation as failure: a comparison of Clark\u2019s completed data base and Reiter\u2019s CWA. Journal of Logic Programming\u00a01(1), 51\u201379 (1984)","journal-title":"Journal of Logic Programming"},{"key":"11_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-48005-6_28","volume-title":"The Semantic Web - ISWC 2002","author":"M. Sintek","year":"2002","unstructured":"Sintek, M., Decker, S.: TRIPLE - A Query, Inference, and Transformation Language for the Semantic Web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 364\u2013378. Springer, Heidelberg (2002)"},{"key":"11_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-24572-8_3","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"G. Wagner","year":"2003","unstructured":"Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Ma\u0142uszy\u0144ski, J. (eds.) PPSWR 2003. LNCS, vol.\u00a02901, pp. 33\u201350. Springer, Heidelberg (2003)"},{"key":"11_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1007\/978-3-540-39964-3_43","volume-title":"On The Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ODBASE","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M., Zhao, C.: Flora-2: A Rule-Based Know. Representation and Inference Infrastructure for the Sem. Web. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol.\u00a02888, pp. 671\u2013688. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Principles and Practice of Semantic Web Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11853107_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:42:55Z","timestamp":1605642175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11853107_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540395867","9783540395874"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11853107_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}