{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T10:10:04Z","timestamp":1779099004384,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642049293","type":"print"},{"value":"9783642049309","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-04930-9_4","type":"book-chapter","created":{"date-parts":[[2009,11,5]],"date-time":"2009-11-05T21:39:07Z","timestamp":1257457147000},"page":"49-64","source":"Crossref","is-referenced-by-count":16,"title":["A Generic Approach for Large-Scale Ontological Reasoning in the Presence of Access Restrictions to the Ontology\u2019s Axioms"],"prefix":"10.1007","author":[{"given":"Franz","family":"Baader","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Knechtel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Proc. of 19th Int. Joint Conf. on Art. Int. IJCAI 2005","author":"F. Baader","year":"2005","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proc. of 19th Int. Joint Conf. on Art. Int. IJCAI 2005, Edinburgh, UK. Morgan-Kaufmann, San Francisco (2005)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Baader, F., Knechtel, M., Pe\u00f1aloza, R.: Computing boundaries for reasoning in sub-ontologies. Technical Report 09-02, LTCS (2009), http:\/\/lat.inf.tu-dresden.de\/research\/reports.html","DOI":"10.25368\/2022.171"},{"key":"4_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-540-73099-6_4","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"F. Baader","year":"2007","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. In: Olivetti, N. (ed.) TABLEAUX 2007. LNCS (LNAI), vol.\u00a04548, pp. 11\u201327. Springer, Heidelberg (2007)"},{"key":"4_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-71070-7_19","volume-title":"Automated Reasoning","author":"F. Baader","year":"2008","unstructured":"Baader, F., Pe\u00f1aloza, R.: Automata-based axiom pinpointing. In: Armando, A., Baumgartner, P., Dowek, G. (eds.) IJCAR 2008. LNCS (LNAI), vol.\u00a05195, pp. 226\u2013241. Springer, Heidelberg (2008)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Baader, F., Pe\u00f1aloza, R.: Axiom pinpointing in general tableaux. Journal of Logic and Computation (To appear, 2009)","DOI":"10.1093\/logcom\/exn058"},{"key":"4_CR6","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":"4_CR7","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$ . In: Proc. of the International Conference on Representing and Sharing Knowledge Using SNOMED (KR-MED 2008), Phoenix, Arizona (2008)"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Dau, F., Knechtel, M.: Access policy design supported by FCA methods. In: Dau, F., Rudolph, S. (eds.) Proc. of the 17th Int. Conf. on Conceptual Structures, ICCS (2009)","DOI":"10.1007\/978-3-642-03079-6_11"},{"key":"4_CR9","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to Lattices and Order","author":"B.A. Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002)","edition":"2"},{"key":"4_CR10","unstructured":"Gaag, A., Kohn, A., Lindemann, U.: Function-based solution retrieval and semantic search in mechanical engineering. In: Proc. of the 17th Int. Conf. on Engineering Design, ICED 2009 (to appear, 2009)"},{"key":"4_CR11","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":"4_CR12","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":"4_CR13","first-page":"1","volume-title":"Proc. of NAFIPS\u00a02008","author":"M.-J. Lesot","year":"2008","unstructured":"Lesot, M.-J., Couchariere, O., Bouchon-Meunier, B., Rogier, J.-L.: Inconsistency degree computation for possibilistic description logic: An extension of the tableau algorithm. In: Proc. of NAFIPS\u00a02008, pp. 1\u20136. IEEE Comp. Soc. Press, Los Alamitos (2008)"},{"key":"4_CR14","volume-title":"Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI\u00a02006)","author":"T. Meyer","year":"2006","unstructured":"Meyer, T., Lee, K., Booth, R., Pan, J.Z.: Finding maximally satisfiable terminologies for the description logic ALC. In: Proc. of the 21st Nat. Conf. on Artificial Intelligence (AAAI\u00a02006). AAAI Press\/The MIT Press, Menlo Park (2006)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-89704-0_5","volume-title":"The Semantic Web","author":"G. Qi","year":"2008","unstructured":"Qi, G., Pan, J.Z.: A tableau algorithm for possibilistic description logic. In: Domingue, J., Anutariya, C. (eds.) ASWC 2008. LNCS, vol.\u00a05367, pp. 61\u201375. Springer, Heidelberg (2008)"},{"key":"4_CR16","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"828","DOI":"10.1007\/978-3-540-75256-1_72","volume-title":"Symbolic and Quantitative Approaches to Reasoning with Uncertainty","author":"G. Qi","year":"2007","unstructured":"Qi, G., Pan, J.Z., Ji, Q.: Extending description logics with uncertainty reasoning in possibilistic logic. In: Mellouli, K. (ed.) ECSQARU 2007. LNCS (LNAI), vol.\u00a04724, pp. 828\u2013839. Springer, Heidelberg (2007)"},{"issue":"1","key":"4_CR17","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"Reiter, R.: A theory of diagnosis from first principles. Artificial Intelligence\u00a032(1), 57\u201395 (1987)","journal-title":"Artificial Intelligence"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"533","DOI":"10.1007\/978-3-540-88564-1_34","volume-title":"The Semantic Web - ISWC 2008","author":"S. Schenk","year":"2008","unstructured":"Schenk, S.: On the semantics of trust and caching in the semantic web. In: Sheth, A., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 533\u2013549. Springer, Heidelberg (2008)"},{"key":"4_CR19","first-page":"355","volume-title":"Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (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.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence (IJCAI\u00a02003), Acapulco, Mexico, pp. 355\u2013362. Morgan Kaufmann, Los Altos (2003)"},{"key":"4_CR20","unstructured":"Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: Proc. of the 2004 Description Logic Workshop (DL 2004), pp. 212\u2013213 (2004)"},{"key":"4_CR21","unstructured":"Suntisrivaraporn, B.: Polynomial-Time Reasoning Support for Design and Maintenance of Large-Scale Biomedical Ontologies. PhD thesis, Fakult\u00e4t Informatik, TU Dresden (2009), http:\/\/lat.inf.tu-dresden.de\/research\/phd\/#Sun-PhD-2008"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web - ISWC 2009"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04930-9_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T12:27:27Z","timestamp":1685190447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04930-9_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642049293","9783642049309"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04930-9_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}