{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T02:12:27Z","timestamp":1743041547801,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319115573"},{"type":"electronic","value":"9783319115580"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11558-0_30","type":"book-chapter","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T02:22:39Z","timestamp":1410834159000},"page":"426-441","source":"Crossref","is-referenced-by-count":1,"title":["Computing Repairs for Inconsistent DL-programs over $\\mathcal{EL}$ Ontologies"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daria","family":"Stepanova","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"30_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI, pp. 364\u2013369. Prof. Book Center (2005)"},{"key":"30_CR2","unstructured":"Bienvenu, M.: Complexity of abduction in the $\\mathcal{EL}$ family of lightweight description logics. In: KR Proc., pp. 220\u2013230. AAAI Press (2008)"},{"key":"30_CR3","unstructured":"Bienvenu, M., Rosati, R.: New inconsistency-tolerant semantics for robust ontology-based data access. In: DL CEUR Workshop Proc., vol.\u00a01014, pp. 53\u201364. CEUR-WS.org (2013)"},{"key":"30_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-642-17746-0_5","volume-title":"The Semantic Web \u2013 ISWC 2010","author":"P.A. Bonatti","year":"2010","unstructured":"Bonatti, P.A., Faella, M., Sauro, L.: $\\mathcal{EL}$ with default attributes and overriding. In: Patel-Schneider, P.F., Pan, Y., Hitzler, P., Mika, P., Zhang, L., Pan, J.Z., Horrocks, I., Glimm, B. (eds.) ISWC 2010, Part I. LNCS, vol.\u00a06496, pp. 64\u201379. Springer, Heidelberg (2010)"},{"key":"30_CR5","unstructured":"Borgida, A., Calvanese, D., Rodriguez-Muro, M.: Explanation in DL-Lite. In: DL CEUR Workshop Proc., vol. 353. CEUR-WS.org (2008)"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C.: Liberal safety for answer set programs with external sources. In: AAAI, pp. 267-275. AAAI Press (2013)","DOI":"10.1609\/aaai.v27i1.8571"},{"key":"30_CR7","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1613\/jair.4175","volume":"49","author":"T. Eiter","year":"2014","unstructured":"Eiter, T., Fink, M., Krennwallner, T., Redl, C., Sch\u00fcller, P.: Efficient HEX-program evaluation based on unfounded sets. J. of Artif. Intell. Res.\u00a049, 269\u2013321 (2014)","journal-title":"J. of Artif. Intell. Res."},{"key":"30_CR8","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Redl, C., Stepanova, D.: Exploiting support sets for answer set programs with external computations. In: AAAI (to appear, 2014)","DOI":"10.1609\/aaai.v28i1.8874"},{"key":"30_CR9","unstructured":"Eiter, T., Fink, M., Stepanova, D.: Data repair of inconsistent DL-programs. In: IJCAI, pp. 869-876. IJCAI\/AAAI (2013)"},{"key":"30_CR10","unstructured":"Eiter, T., Fink, M., Stepanova, D.: Towards practical deletion repair of inconsistent DL-programs. In: ECAI 2014 (to appear, 2014)"},{"issue":"12-13","key":"30_CR11","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the semantic web. Artif. Intell.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."},{"key":"30_CR12","unstructured":"Eiter, T., Schneider, P., Simkus, M., Xiao, G.: Using openstreetmap data to create benchmarks for ontology-based query answering systems. In: ORE 2014 (to appear, 2014)"},{"key":"30_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"654","DOI":"10.1007\/11926078_47","volume-title":"The Semantic Web - ISWC 2006","author":"T. Gardiner","year":"2006","unstructured":"Gardiner, T., Tsarkov, D., Horrocks, I.: Framework for an automated comparison of description logic reasoners. In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 654\u2013667. Springer, Heidelberg (2006)"},{"key":"30_CR14","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Pichler, R., Wei, F.: Efficient datalog abduction through bounded treewidth. In: AAAI, pp. 1626\u20131631. AAAI Press (2007)","DOI":"10.1145\/1142351.1142370"},{"key":"30_CR15","unstructured":"Hansen, P., Lutz, C., Seylan, I., Wolter, F.: Query rewriting under $\\mathcal{EL}$-TBoxes:efficient algorithms In: DL (to appear, 2014)"},{"key":"30_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1007\/978-3-540-87803-2_18","volume-title":"Logics in Artificial Intelligence","author":"M. Hermann","year":"2008","unstructured":"Hermann, M., Pichler, R.: Counting complexity of minimal cardinality and minimal weight abduction. In: H\u00f6lldobler, S., Lutz, C., Wansing, H. (eds.) JELIA 2008. LNCS (LNAI), vol.\u00a05293, pp. 206\u2013218. Springer, Heidelberg (2008)"},{"key":"30_CR17","doi-asserted-by":"crossref","unstructured":"Kazakov, Y., Kr\u00f6tzsch, M., Simancik, F.: The incredible ELK. J. of Autom. Reason, 1\u201361 (2013)","DOI":"10.1007\/s10817-013-9296-3"},{"key":"30_CR18","unstructured":"Kontchakov, R., Lutz, C., Toman, D., Wolter, F., Zakharyaschev, M.: The combined approach to query answering in DL-Lite. In: KR Proc., pp. 247\u2013257. AAAI Press (2010)"},{"key":"30_CR19","unstructured":"Lutz, C., Toman, D., Wolter, F.: Conjunctive query answering in $\\mathcal{EL}$ using a database system. In: OWLED. CEUR Workshop Proc., vol.\u00a0432. CEUR-WS.org (2008)"},{"key":"30_CR20","unstructured":"Masotti, G., Rosati, R., Ruzzi, M.: Practical abox cleaning in DL-Lite (progress report). In: DL. CEUR Workshop Proc., vol.\u00a0745. CEUR-WS.org (2011)"},{"issue":"5","key":"30_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1754399.1754403","volume":"57","author":"B. Motik","year":"2010","unstructured":"Motik, B., Rosati, R.: Reconciling Description Logics and Rules. J. of the ACM\u00a057(5), 1\u201362 (2010)","journal-title":"J. of the ACM"},{"issue":"2","key":"30_CR22","doi-asserted-by":"publisher","first-page":"186","DOI":"10.1016\/j.jal.2009.09.004","volume":"8","author":"H. P\u00e9rez-Urbina","year":"2010","unstructured":"P\u00e9rez-Urbina, H., Motik, B., Horrocks, I.: Tractable query answering and rewriting under description logic constraints. J. of Applied Logic\u00a08(2), 186\u2013209 (2010)","journal-title":"J. of Applied Logic"},{"key":"30_CR23","unstructured":"Rosati, R.: On conjunctive query answering in $\\mathcal{EL}$. In: DL CEUR Workshop Proc., vol.\u00a0250. CEUR-WS.org (2007)"},{"key":"30_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-642-35173-0_23","volume-title":"The Semantic Web \u2013 ISWC 2012","author":"R. Rosati","year":"2012","unstructured":"Rosati, R., Ruzzi, M., Graziosi, M., Masotti, G.: Evaluation of techniques for inconsistency handling in OWL 2 QL ontologies. In: Cudr\u00e9-Mauroux, P., et al. (eds.) ISWC 2012, Part II. LNCS, vol.\u00a07650, pp. 337\u2013349. Springer, Heidelberg (2012)"},{"key":"30_CR25","unstructured":"Stefanoni, G., Motik, B., Horrocks, I.: Small datalog query rewritings for $\\mathcal{EL}$. In: DL CEUR Workshop Proc., vol.\u00a0846, CEUR-WS.org (2012)"},{"key":"30_CR26","series-title":"Lecture Notes in Computer Science","volume-title":"Modular Ontologies","year":"2009","unstructured":"Stuckenschmidt, H., Parent, C., Spaccapietra, S. (eds.): Modular Ontologies. LNCS, vol.\u00a05445. Springer, Heidelberg (2009)"},{"key":"30_CR27","first-page":"383","volume-title":"CSWS 2012 and CWSC 2012","author":"G. Xiao","year":"2013","unstructured":"Xiao, G., Eiter, T., Heymans, S.: The DReW system for nonmonotonic DL-programs. In: CSWS 2012 and CWSC 2012, pp. 383\u2013389. Springer, New York (2013)"},{"key":"30_CR28","doi-asserted-by":"crossref","unstructured":"Zhao, Y., Pan, J.Z., Ren, Y.: Implementing and evaluating a rule-based approach to querying regular $\\mathcal{EL}$+ ontologies. In: HIS (3), pp. 493\u2013498. IEEE Computer Society (2009)","DOI":"10.1109\/HIS.2009.314"},{"issue":"12-13","key":"30_CR29","doi-asserted-by":"publisher","first-page":"1495","DOI":"10.1016\/j.artint.2008.04.002","volume":"172","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Lukasiewicz, T., Schindlauer, R., Tompits, H.: Combining answer set programming with description logics for the Semantic Web. Artif. Intell.\u00a0172(12-13), 1495\u20131539 (2008)","journal-title":"Artif. Intell."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11558-0_30","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,20]],"date-time":"2023-02-20T11:08:15Z","timestamp":1676891295000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-11558-0_30"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319115573","9783319115580"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11558-0_30","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}