{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T06:48:21Z","timestamp":1760597301127},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540745648"},{"type":"electronic","value":"9783540745655"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74565-5_7","type":"book-chapter","created":{"date-parts":[[2007,8,25]],"date-time":"2007-08-25T06:01:04Z","timestamp":1188021664000},"page":"52-67","source":"Crossref","is-referenced-by-count":51,"title":["Pinpointing in the Description Logic $\\mathcal {EL}^+$"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boontawee","family":"Suntisrivaraporn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","first-page":"364","volume-title":"IJCAI\u00a02005","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the EL envelope. In: Kaelbling, L.P., Saffiotti, A. (eds.) IJCAI\u00a02005. Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, Edinburgh (UK), pp. 364\u2013369. Morgan Kaufmann, Los Altos (2005)"},{"volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","key":"7_CR2","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/BF00883932","volume":"14","author":"F. Baader","year":"1995","unstructured":"Baader, F., Hollunder, B.: Embedding defaults into terminological knowledge representation formalisms. J. of Automated Reasoning\u00a014, 149\u2013180 (1995)","journal-title":"J. of Automated Reasoning"},{"key":"7_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1007\/11814771_25","volume-title":"Automated Reasoning","author":"F. Baader","year":"2006","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: CEL\u2014a polynomial-time reasoner for life science ontologies. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol.\u00a04130, pp. 287\u2013291. Springer, Heidelberg (2006)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., Lutz, C., Suntisrivaraporn, B.: Is tractable reasoning in extensions of the description logic $ \\mathcal{EL}$ useful in practice. Journal of Logic, Language and Information, Special Issue on Method for Modality on M4M (to appear, 2007)","DOI":"10.1016\/S1570-2464(07)80016-4"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Baader, F., Penaloza, R.: Axiom pinpointing in general tableaux. LTCS-Report LTCS-07-01, Germany (2006), See http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.25368\/2022.159"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"174","DOI":"10.1007\/978-3-540-30557-6_14","volume-title":"Practical Aspects of Declarative Languages","author":"J. Bailey","year":"2005","unstructured":"Bailey, J., Stuckey, P.J.: Discovery of minimal unsatisfiable subsets of constraints using hitting set dualization. In: Hermenegildo, M.V., Cabeza, D. (eds.) Practical Aspects of Declarative Languages. LNCS, vol.\u00a03350, pp. 174\u2013186. Springer, Heidelberg (2005)"},{"key":"7_CR8","unstructured":"Brandt, S.: Polynomial time reasoning in a description logic with existential restrictions, GCI axioms, and\u2014what else? In: de M\u00e1ntaras, R.L., Saitta, L. (eds.) ECAI 2004. Proc. of the 16th Eur. Conf. on Artificial Intelligence, pp. 298\u2013302 (2004)"},{"issue":"3\u20134","key":"7_CR9","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1023\/A:1018924526592","volume":"23","author":"G. Davydov","year":"1998","unstructured":"Davydov, G., Davydova, I., B\u00fcning, H.K.: An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Ann. of Mathematics and Artificial Intelligence\u00a023(3\u20134), 229\u2013245 (1998)","journal-title":"Ann. of Mathematics and Artificial Intelligence"},{"issue":"3","key":"7_CR10","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"W.F. Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. Journal of Logic Programming\u00a01(3), 267\u2013284 (1984)","journal-title":"Journal of Logic Programming"},{"key":"7_CR11","unstructured":"Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. Technical Report CD-TR 91\/16, Christian Doppler Labor f\u00fcr Expertensysteme, TU-Wien (1991)"},{"issue":"6","key":"7_CR12","doi-asserted-by":"publisher","first-page":"1278","DOI":"10.1137\/S0097539793250299","volume":"24","author":"T. Eiter","year":"1995","unstructured":"Eiter, T., Gottlob, G.: Identifying the minimal transversals of a hypergraph and related problems. SIAM J. Comput.\u00a024(6), 1278\u20131304 (1995)","journal-title":"SIAM J. Comput."},{"key":"7_CR13","volume-title":"Computers and Intractability \u2014 A guide to NP-completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M.R., Johnson, D.S.: Computers and Intractability \u2014 A guide to NP-completeness. W. H. Freeman and Company, San Francisco (1979)"},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1007\/978-3-642-76071-6_5","volume-title":"Proc. of the German Workshop on Artificial Intelligence","author":"B. Hollunder","year":"1990","unstructured":"Hollunder, B.: Hybrid inferences in KL-ONE-based knowledge representation systems. In: Proc. of the German Workshop on Artificial Intelligence, pp. 38\u201347. Springer, Heidelberg (1990)"},{"issue":"1","key":"7_CR15","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.websem.2003.07.001","volume":"1","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Patel-Schneider, P.F., Van Harmelen, F.: From SHIQ and RDF to OWL: The making of a web ontology language. Journal of Web Semantics\u00a01(1), 7\u201326 (2003)","journal-title":"Journal of Web Semantics"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Johnson, D.S., Yannakakis, M., Papadimitriou, C.H.: On generating all maximal independent sets. Inf. Process. Lett. (1988)","DOI":"10.1016\/0020-0190(88)90065-8"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Kavvadias, D.J., Sideri, M., Stavropoulos, E.C.: Generating all maximal models of a Boolean expression. Inf. Process. Lett. (2000)","DOI":"10.1016\/S0020-0190(00)00023-5"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/11499107_13","volume-title":"Theory and Applications of Satisfiability Testing","author":"M.H. Liffiton","year":"2005","unstructured":"Liffiton, M.H., Sakallah, K.A.: On finding all minimally unsatisfiable subformulas. In: Bacchus, F., Walsh, T. (eds.) SAT 2005. LNCS, vol.\u00a03569, pp. 173\u2013186. Springer, Heidelberg (2005)"},{"key":"7_CR19","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic $\\mathcal{{ALC}}$ . In: AAAI\u00a02006. Proc. of the 21st Nat. Conf. on Artificial Intelligence, AAAI Press\/The MIT Press (2006)"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1145\/1060745.1060837","volume-title":"WWW 2005","author":"B. Parsia","year":"2005","unstructured":"Parsia, B., Sirin, E., Kalyanpur, A.: Debugging OWL ontologies. In: Ellis, A., Hagino, T. (eds.) WWW 2005. Proc. of the 14th International Conference on World Wide Web, pp. 633\u2013640. ACM Press, New York (2005)"},{"key":"7_CR21","unstructured":"Rector, A., Horrocks, I.: Experience building a large, re-usable medical ontology using a description logic with transitivity and concept inclusions. In: AAAI 1997. Proceedings of the Workshop on Ontological Engineering, AAAI Spring Symposium, Stanford, CA, AAAI Press (1997)"},{"key":"7_CR22","first-page":"355","volume-title":"IJCAI\u00a02003","author":"S. Schlobach","year":"2003","unstructured":"Schlobach, S., Cornet, R.: Non-standard reasoning services for the debugging of description logic terminologies. In: Gottlob, G., Walsh, T. (eds.) IJCAI\u00a02003. Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, Acapulco, Mexico, pp. 355\u2013362. Morgan Kaufmann, Los Altos (2003)"},{"issue":"1","key":"7_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0004-3702(91)90078-X","volume":"48","author":"M. Schmidt-Schau\u00df","year":"1991","unstructured":"Schmidt-Schau\u00df, M., Smolka, G.: Attributive concept descriptions with complements. Artificial Intelligence\u00a048(1), 1\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"7_CR24","unstructured":"Spackman, K.A., Campbell, K.E., Cote, R.A.: SNOMED RT: A reference terminology for health care. J. of the American Medical Informatics Association (Fall Symposium Supplement), 640\u2013644 (1997)"},{"key":"7_CR25","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1038\/75556","volume":"25","author":"The Gene Ontology Consortium. Gene Ontology","year":"2000","unstructured":"The Gene Ontology Consortium. Gene Ontology: Tool for the unification of biology. Nature Genetics, 25, 25\u201329 (2000)","journal-title":"Nature Genetics"},{"key":"7_CR26","first-page":"10880","volume-title":"DATE 2003","author":"L. Zhang","year":"2003","unstructured":"Zhang, L., Malik, S.: Validating SAT solvers using an independent resolution-based checker: Practical implementations and other applications. In: DATE 2003. Proc. of the Conference on Design, Automation and Test in Europe, pp. 10880\u201310885. IEEE Computer Society Press, Los Alamitos (2003)"}],"container-title":["Lecture Notes in Computer Science","KI 2007: Advances in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74565-5_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,13]],"date-time":"2023-05-13T22:36:09Z","timestamp":1684017369000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74565-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540745648","9783540745655"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74565-5_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}