{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:24:28Z","timestamp":1725557068308},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134852"},{"type":"electronic","value":"9783642134869"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13486-9_12","type":"book-chapter","created":{"date-parts":[[2010,6,3]],"date-time":"2010-06-03T12:54:41Z","timestamp":1275569681000},"page":"167-182","source":"Crossref","is-referenced-by-count":5,"title":["A Generic Approach for Correcting Access Restrictions to a Consequence"],"prefix":"10.1007","author":[{"given":"Martin","family":"Knechtel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proc. of IJCAI\u201905, Edinburgh, UK (2005)"},{"key":"12_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-04930-9_4","volume-title":"The Semantic Web - ISWC 2009","author":"F. Baader","year":"2009","unstructured":"Baader, F., Knechtel, M., Pe\u00f1aloza, R.: A generic approach for large-scale ontological reasoning in the presence of access restrictions to the ontology\u2019s axioms. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 49\u201364. Springer, Heidelberg (2009)"},{"key":"12_CR3","doi-asserted-by":"crossref","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. Journal of Automated Reasoning (to appear, 2010); Special Issue: IJCAR\u00a02008 (2008)","DOI":"10.1007\/s10817-010-9181-2"},{"issue":"1","key":"12_CR4","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1093\/logcom\/exn058","volume":"20","author":"F. Baader","year":"2010","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. Journal of Logic and Computation\u00a020(1), 5\u201334 (2010); Special Issue: Tableaux\u201907","journal-title":"Journal of Logic and Computation"},{"key":"12_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/978-3-540-74565-5_7","volume-title":"KI 2007: Advances in Artificial Intelligence","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R., Suntisrivaraporn, B.: Pinpointing in the Description Logic $\\mathcal{EL}^+$ . In: Hertzberg, J., Beetz, M., Englert, R. (eds.) KI 2007. LNCS (LNAI), vol.\u00a04667, pp. 52\u201367. Springer, Heidelberg (2007)"},{"key":"12_CR6","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$ . In: Proc. of KR-MED\u201908 (2008)"},{"issue":"1","key":"12_CR7","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1016\/j.ipl.2007.09.007","volume":"106","author":"J. Biskup","year":"2008","unstructured":"Biskup, J., Embley, D.W., Lochner, J.-H.: Reducing inference control to access control for normalized database schemas. Inf. Process. Lett.\u00a0106(1), 8\u201312 (2008)","journal-title":"Inf. Process. Lett."},{"issue":"2","key":"12_CR8","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/772862.772864","volume":"4","author":"C. Farkas","year":"2002","unstructured":"Farkas, C., Jajodia, S.: The inference problem: a survey. SIGKDD Explor. Newsl.\u00a04(2), 6\u201311 (2002)","journal-title":"SIGKDD Explor. Newsl."},{"key":"12_CR9","unstructured":"Gaag, A., Kohn, A., Lindemann, U.: Function-based solution retrieval and semantic search in mechanical engineering. Proc. of ICED\u201909 (2009)"},{"key":"12_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/978-3-540-76298-0_20","volume-title":"The Semantic Web","author":"A. Kalyanpur","year":"2007","unstructured":"Kalyanpur, A., Parsia, B., Horridge, M., Sirin, E.: Finding all justifications of OWL DL entailments. In: Aberer, K., Choi, K.-S., Noy, N., Allemang, D., Lee, K.-I., Nixon, L.J.B., Golbeck, J., Mika, P., Maynard, D., Mizoguchi, R., Schreiber, G., Cudr\u00e9-Mauroux, P. (eds.) ASWC 2007 and ISWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"issue":"4","key":"12_CR11","doi-asserted-by":"crossref","first-page":"268","DOI":"10.1016\/j.websem.2005.09.005","volume":"3","author":"A. Kalyanpur","year":"2005","unstructured":"Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.A.: Debugging unsatisfiable classes in OWL ontologies. J. Web Sem.\u00a03(4), 268\u2013293 (2005)","journal-title":"J. Web Sem."},{"key":"12_CR12","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic $\\mathcal{{ALC}}$ . In: Proc. of AAAI\u201906 (2006)"},{"key":"12_CR13","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Proc. of IJCAI\u201903, pp. 355\u2013362 (2003)"},{"key":"12_CR14","unstructured":"Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, TU Dresden (2008)"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13486-9_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T20:13:39Z","timestamp":1559160819000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13486-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134852","9783642134869"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13486-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}