{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:06:46Z","timestamp":1648948006384},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T00:00:00Z","timestamp":1444694400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["K\u00fcnstl Intell"],"published-print":{"date-parts":[[2016,6]]},"DOI":"10.1007\/s13218-015-0399-3","type":"journal-article","created":{"date-parts":[[2015,10,13]],"date-time":"2015-10-13T19:17:36Z","timestamp":1444763856000},"page":"177-182","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Abductive Conjunctive Query Answering w.r.t. Ontologies"],"prefix":"10.1007","volume":"30","author":[{"given":"Ralf","family":"M\u00f6ller","sequence":"first","affiliation":[]},{"given":"\u00d6zg\u00fcr","family":"\u00d6z\u00e7ep","sequence":"additional","affiliation":[]},{"given":"Volker","family":"Haarslev","sequence":"additional","affiliation":[]},{"given":"Anahita","family":"Nafissi","sequence":"additional","affiliation":[]},{"given":"Michael","family":"Wessel","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,10,13]]},"reference":[{"issue":"6","key":"399_CR1","first-page":"239","volume":"2","author":"A Kakas","year":"1993","unstructured":"Kakas A, Kowalski R, Toni F (1993) Abductive logic programming. J Logic Comput 2(6):239\u2013770","journal-title":"J Logic Comput"},{"key":"399_CR2","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/BF00962922","volume":"1","author":"T Gaasterland","year":"1992","unstructured":"Gaasterland T, Godfrey P, Minker J (1992) Relaxation as a platform for cooperative answering. J Intell Inf Syst 1:293\u2013321","journal-title":"J Intell Inf Syst"},{"issue":"1","key":"399_CR3","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1207\/s15516709cog2901_5","volume":"29","author":"M Shanahan","year":"2005","unstructured":"Shanahan M (2005) Perception as abduction: turning sensor data into meaningful representation. Cognit Sci 29(1):103\u2013134","journal-title":"Cognit Sci"},{"key":"399_CR4","unstructured":"Petasis G, M\u00f6ller R, Karkaletsis V (2013) Boemie: reasoning-based information extraction. In: Proceedings of the 1st workshop on natural language processing and automated reasoning co-located with 12th international conference on logic programming and nonmonotonic reasoning (LPNMR 2013), pp 60\u201375"},{"issue":"3","key":"399_CR5","doi-asserted-by":"crossref","first-page":"267","DOI":"10.3233\/SW-2011-0032","volume":"3","author":"V Haarslev","year":"2012","unstructured":"Haarslev V, Hidde K, M\u00f6ller R, Wessel M (2012) The RacerPro knowledge representation and reasoning system. Seman Web J 3(3):267\u2013277","journal-title":"Seman Web J"},{"key":"399_CR6","unstructured":"Espinosa S, Kaya A, M\u00f6ller R (2009) The BOEMIE semantic browser: a semantic application exploiting rich semantic metadata. In: Proceedings of the applications of semantic technologies workshop (AST-2009), L\u00fcbeck, Germany"},{"issue":"1\u20133","key":"399_CR7","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0004-3702(91)90055-O","volume":"47","author":"DB Lenat","year":"1991","unstructured":"Lenat DB, Feigenbaum EA (1991) On the thresholds of knowledge. Artif Intell 47(1\u20133):185\u2013250","journal-title":"Artif Intell"},{"key":"399_CR8","doi-asserted-by":"crossref","unstructured":"Denecker M, Kakas AC (2002) Abduction in logic programming. In: Kakas AC, Sadri F (eds) Computational logic: logic programming and beyond, essays in honour of Robert A. Kowalski, part I. Lecture notes in computer science, vol 2407. Springer, Berlin, pp 402\u2013436","DOI":"10.1007\/3-540-45628-7_16"},{"key":"399_CR9","doi-asserted-by":"crossref","unstructured":"M\u00f6ller R, Neumann B (2008) Ontology-based reasoning techniques for multimedia interpretation and retrieval. In: Semantic multimedia and ontologies : theory and applications. Springer, Berlin, pp 55\u201398","DOI":"10.1007\/978-1-84800-076-6_3"},{"key":"399_CR10","doi-asserted-by":"crossref","unstructured":"Espinosa Peraldi S, Kaya A, Melzer S, M\u00f6ller R (2008) On ontology based abduction for text interpretation. In: Gelbukh A (ed) Proceedings of 9th international conference on intelligent text processing and computational linguistics (CICLing-2008)","DOI":"10.1007\/978-3-540-78135-6_17"},{"key":"399_CR11","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10844-008-0070-7","volume":"33","author":"P Dolog","year":"2009","unstructured":"Dolog P, Stuckenschmidt H, Wache H, Diederich J (2009) Relaxing rdf queries based on user and domain preferences. J Intell Inf Syst 33:239\u2013260","journal-title":"J Intell Inf Syst"},{"key":"399_CR12","unstructured":"Espinosa S (2011) Content management and knowledge management: two faces of ontology-based text interpretation. PhD thesis, Hamburg University of Technology"},{"key":"399_CR13","unstructured":"Espinosa S, Atila K, M\u00f6ller R (2011) Knowledge-driven multimedia information extraction and ontology evolution. In: LNCS, chapter logical formalization of multimedia interpretation, vol 6050. Springer, Berlin, pp 110\u2013133"},{"key":"399_CR14","unstructured":"Kaya A (2010) A logic-based approach to multimedia interpretation. PhD thesis, Hamburg University of Technology"},{"issue":"5","key":"399_CR15","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1093\/logcom\/exn049","volume":"19","author":"S Castano","year":"2009","unstructured":"Castano S, Peraldi ISE, Ferrara A, Karkaletsis V, Kaya A, M\u00f6ller R, Montanelli S, Petasis G, Wessel M (2009) Multimedia interpretation for dynamic ontology evolution. J. Log. Comput. 19(5):859\u2013897","journal-title":"J. Log. Comput."},{"key":"399_CR16","unstructured":"Espinosa S, Kaya A, M\u00f6ller R (2009) Formalizing multimedia interpretation based on abduction over description logic aboxes. In: Proceedings of the 2009 international workshop on description logics DL- 2009, 27 to 30 July 2009. CEUR workshop proceedings, vol 477, Oxford, UK"},{"issue":"2","key":"399_CR17","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2012040101","volume":"8","author":"J Du","year":"2012","unstructured":"Du J, Guilin Q, Yi-Dong S, Jeff PZ (2012) Towards practical abox abduction in large description logic ontologies. Int. J. Seman. Web Inf. Syst. 8(2):1\u201333","journal-title":"Int. J. Seman. Web Inf. Syst."},{"issue":"1","key":"399_CR18","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/s10817-010-9168-z","volume":"46","author":"S Klarman","year":"2011","unstructured":"Klarman S, Endriss U, Schlobach S (2011) Abox abduction in the description logic ALC. J Autom Reas 46(1):43\u201380","journal-title":"J Autom Reas"},{"key":"399_CR19","doi-asserted-by":"crossref","unstructured":"Ma Y, Gu T, Xu B, Chang L (2012) An abox abduction algorithm for the description logic alci. In: Intelligent information processing VI. IFIP advances in information and communication technology, vol 385. Springer, Berlin, pp 125\u2013130","DOI":"10.1007\/978-3-642-32891-6_17"},{"issue":"1\u20132","key":"399_CR20","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1016\/0004-3702(93)90015-4","volume":"63","author":"JR Hobbs","year":"1993","unstructured":"Hobbs JR, Stickel ME, Appelt DE, Martin PA (1993) Interpretation as abduction. Artif Intell 63(1\u20132):69\u2013142","journal-title":"Artif Intell"},{"key":"399_CR21","doi-asserted-by":"crossref","unstructured":"Gries O, M\u00f6ller R, Nafissi A, Rosenfeld M, Sokolski K, Wessel M (2010) A probabilistic abduction engine for media interpretation based on ontologies. In: Hitzler P, Lukasiewicz T (eds) Web reasoning and rule systems\u2014fourth international conference, RR 2010, Bressanone\/Brixen, Italy, September 22\u201324, 2010. Proceedings. Lecture notes in computer science, vol 6333. Springer, Berlin, pp 182\u2013194","DOI":"10.1007\/978-3-642-15918-3_15"},{"key":"399_CR22","unstructured":"Nafissi A (2013) Applying markov logics for controlling abox abduction. PhD thesis, Hamburg University of Technology"},{"issue":"1","key":"399_CR23","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F Baader","year":"2010","unstructured":"Baader F, Pe\u00f1aloza R (2010) Axiom pinpointing in general tableaux. J Logic Comput 20(1):5\u201334 (Special Issue: Tableaux and Analytic Proof Methods)","journal-title":"J Logic Comput"},{"key":"399_CR24","doi-asserted-by":"crossref","unstructured":"Kalyanpur A, Parsia B, Horridge M, Sirin E (2007) Finding all justifications of owl dl entailments. In: The semantic web. Springer, Berlin, pp 267\u2013280","DOI":"10.1007\/978-3-540-76298-0_20"},{"key":"399_CR25","doi-asserted-by":"crossref","unstructured":"\u00d6z\u00e7ep OL, M\u00f6ller R, Neuenstadt C (2014) A stream-temporal query language for ontology based data access. In: KI 2014, vol 8736. LNCS, pp 183\u2013194","DOI":"10.1007\/978-3-319-11206-0_18"}],"container-title":["KI - K\u00fcnstliche Intelligenz"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-015-0399-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13218-015-0399-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13218-015-0399-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,9]],"date-time":"2020-09-09T17:39:19Z","timestamp":1599673159000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13218-015-0399-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,13]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,6]]}},"alternative-id":["399"],"URL":"https:\/\/doi.org\/10.1007\/s13218-015-0399-3","relation":{},"ISSN":["0933-1875","1610-1987"],"issn-type":[{"value":"0933-1875","type":"print"},{"value":"1610-1987","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,13]]}}}