{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:15:45Z","timestamp":1725891345825},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729815"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72982-2_10","type":"book-chapter","created":{"date-parts":[[2007,6,26]],"date-time":"2007-06-26T05:29:37Z","timestamp":1182835777000},"page":"133-147","source":"Crossref","is-referenced-by-count":13,"title":["A Framework for Combining Rules and Geo-ontologies"],"prefix":"10.1007","author":[{"given":"Philip D.","family":"Smart","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alia I.","family":"Abdelmoty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Baher A.","family":"El-Geresy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christopher B.","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"Abdelmoty, A.I., Smart, P.D., Jones, C.B., Fu, G., Finch, D.: A Critical evaluation of ontology languages for geographic information retrieval on the Internet. Journal of Visual Languages and Computing, pp. 331\u2013358 (August 2005)","DOI":"10.1016\/j.jvlc.2004.11.001"},{"key":"10_CR2","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Tech. rep. University of Rochester, Department of Computer Science (1981)"},{"issue":"2","key":"10_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1109\/TKDE.2007.29","volume":"19","author":"G. Antoniou","year":"2007","unstructured":"Antoniou, G., Bikakis, A.: DR-prolog: A system for defeasible reasoning with rules and ontologies on the semantic web. IEEE Trans. Knowl. Data Eng.\u00a019(2), 233\u2013245 (2007)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"10_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-30122-6_10","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"N. Bassiliades","year":"2004","unstructured":"Bassiliades, N., Antoniou, G., Vlahavas, I.P.: DR-DEVICE: A defeasible logic system for the semantic web. In: Ohlbach, H.J., Schaffert, S. (eds.) PPSWR 2004. LNCS, vol.\u00a03208, pp. 134\u2013148. Springer, Heidelberg (2004)"},{"key":"10_CR5","unstructured":"Bernard, L., Einspanier, U., Haubrock, S.: Ontology-based discovery and retrieval of geographic information in spatial data infrastructures. In: Geotechnologien Science Report No. 4 (2004), http:\/\/www.delphi-imm.de\/meanings\/index_eng.html"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/585147.585148","volume-title":"Proceedings of the tenth ACM international symposium on Advances in geographic information systems","author":"M.J. Egenhofer","year":"2002","unstructured":"Egenhofer, M.J.: Toward the semantic geospatial web. In: Proceedings of the tenth ACM international symposium on Advances in geographic information systems, pp. 1\u20134. ACM Press, New York (2002)"},{"issue":"1","key":"10_CR7","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many patterns\/many objects match problem. Artif. Intell.\u00a019(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"key":"10_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming, pp. 1070\u20131080"},{"key":"10_CR9","unstructured":"Goodwin, J.: Experiences of using owl at the ordnance survey, pp. 1\u201311, http:\/\/www.mindswap.org\/2005\/OWLWorkshop\/"},{"key":"10_CR10","unstructured":"Grosof, B.N.: Prioritized conflict handling for logic programs, pp. 197\u2013211"},{"key":"10_CR11","unstructured":"Grosof, B.N.: Compiling prioritized default rules into ordinary logic programs (June 23, 1999)"},{"key":"10_CR12","unstructured":"Grosof, B.N.: DIPLOMAT: Compiling prioritized default rules into ordinary logic programs, for E-commerce applications. In: AAAI\/IAAI, pp.\u00a0912\u2013913 (1999)"},{"key":"10_CR13","unstructured":"Horrocks, I., Patel-Schneider, P.F., Tabet, H.B.S., Grosof, B., Dean, M.: Swrl: A semantic web rule language combining owl and ruleml. Internet Report, http:\/\/www.w3.org\/Submission\/2004\/SUBM-SWRL-20040521\/ (May 2004)"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Jones, C., Abdelmoty, A., Fu, G.: Maintaining ontologies for geographical information retrieval on the web (2003)","DOI":"10.1007\/978-3-540-39964-3_59"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Mackworth, A.: Consistency in networks of constraints. Artificial Intelligence vol. 8 (1977)","DOI":"10.1016\/0004-3702(77)90007-8"},{"key":"10_CR16","unstructured":"Maher, M., Miller, T.: Delores a defeasible logic reasoning system. Internet (2007), http:\/\/www.nothingisreal.com\/dfki\/delores\/"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0004-3702(80)90011-9","volume":"13","author":"J. McCarthy","year":"1990","unstructured":"McCarthy, J.: Circumscription, a form of non-monotonic reasoning. Artificial Intelligence\u00a013, 27\u201339 (1990)","journal-title":"Artificial Intelligence"},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"Montanari, U.: Networks of constraints: Fundamental properties and application to picture processing. Information Science\u00a07 (1974)","DOI":"10.1016\/0020-0255(74)90008-5"},{"key":"10_CR19","unstructured":"Neogy, C.\u00a0C., (UMBC), S.\u00a0G., Grosof, B., Dean, M., Tabet, S.: Sweetrules. Internet (2006), http:\/\/sweetrules.projects.semwebcentral.org\/"},{"key":"10_CR20","unstructured":"Nute, D.: General Defeasible Logic. Tech. Rep. forthcoming, University of Georgia (1989)"},{"key":"10_CR21","first-page":"81","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. AI\u00a013, 81\u2013132 (1980)","journal-title":"AI"},{"key":"10_CR22","unstructured":"RuleML. Ruleml web site. Internet (2006), http:\/\/www.ruleml.org\/"},{"key":"10_CR23","unstructured":"Sagonas, K., Swift, T., Warren, D.S.: Xsb: An overview of its use and implementation. Tech. rep. (November 02, 1993)"},{"issue":"12","key":"10_CR24","first-page":"24","volume":"7","author":"B. Schneier","year":"1992","unstructured":"Schneier, B.: The rete matching algorithm. AI Expert\u00a07(12), 24\u201329 (1992)","journal-title":"AI Expert"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72982-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:08:59Z","timestamp":1605744539000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72982-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729815"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72982-2_10","relation":{},"subject":[]}}