{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,12]],"date-time":"2026-02-12T11:57:09Z","timestamp":1770897429724,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642359743","type":"print"},{"value":"9783642359750","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-35975-0_5","type":"book-chapter","created":{"date-parts":[[2013,1,8]],"date-time":"2013-01-08T01:07:32Z","timestamp":1357607252000},"page":"80-98","source":"Crossref","is-referenced-by-count":3,"title":["Instance-Based Non-standard Inferences in $\\mathcal{EL}$ with Subjective Probabilities"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Pe\u00f1aloza","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anni-Yasmin","family":"Turhan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Baader, F.: Least common subsumers and most specific concepts in a description logic with existential restrictions and terminological cycles. In: Gottlob, G., Walsh, T. (eds.) Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, IJCAI 2003, pp. 325\u2013330. Morgan Kaufmann (2003)","DOI":"10.25368\/2022.125"},{"key":"5_CR2","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope. In: Proc. of the 19th Int. Joint Conf. on Artificial Intelligence, IJCAI 2005, Edinburgh, UK. Morgan-Kaufmann Publishers (2005)"},{"key":"5_CR3","unstructured":"Baader, F., Brandt, S., Lutz, C.: Pushing the $\\mathcal{EL}$ envelope further. In: Clark, K., Patel-Schneider, P.F. (eds.) Proc. of the OWLED Workshop (2008)"},{"key":"5_CR4","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press (2003)"},{"key":"5_CR5","first-page":"96","volume-title":"Proc. of the 16th Int. Joint Conf. on Artificial Intelligence, IJCAI 1999","author":"F. Baader","year":"1999","unstructured":"Baader, F., K\u00fcsters, R., Molitor, R.: Computing least common subsumers in description logics with existential restrictions. In: Dean, T. (ed.) Proc. of the 16th Int. Joint Conf. on Artificial Intelligence, IJCAI 1999, Stockholm, Sweden, pp. 96\u2013101. Morgan Kaufmann, Los Altos (1999)"},{"issue":"1","key":"5_CR6","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1007\/s13218-010-0004-8","volume":"24","author":"F. Baader","year":"2010","unstructured":"Baader, F., Lutz, C., Turhan, A.-Y.: Small is again Beautiful in Description Logics. KI \u2013 K\u00fcnstliche Intelligenz\u00a024(1), 25\u201333 (2010)","journal-title":"KI \u2013 K\u00fcnstliche Intelligenz"},{"issue":"1","key":"5_CR7","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 and Analytic Proof Methods","journal-title":"Journal of Logic and Computation"},{"issue":"1","key":"5_CR8","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 and Analytic Proof Methods","journal-title":"Journal of Logic and Computation"},{"key":"5_CR9","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":"5_CR10","unstructured":"Baader, F., Suntisrivaraporn, B.: Debugging SNOMED CT using axiom pinpointing in the description logic $\\mathcal{EL}^+$ . In: Proceedings of the International Conference on Representing and Sharing Knowledge Using SNOMED, KR-MED 2008, Phoenix, Arizona (2008)"},{"key":"5_CR11","unstructured":"Bechhofer, S., van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D.L., Patel-Schneider, P.F., Stein, L.A.: OWL web ontology language reference. W3C Recommendation (February 2004), http:\/\/www.w3.org\/TR\/owl-ref\/"},{"key":"5_CR12","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.) ISWC\/ASWC 2007. LNCS, vol.\u00a04825, pp. 267\u2013280. Springer, Heidelberg (2007)"},{"issue":"1","key":"5_CR13","first-page":"47","volume":"15","author":"R. K\u00fcsters","year":"2002","unstructured":"K\u00fcsters, R., Molitor, R.: Approximating most specific concepts in description logics with existential restrictions. AI Communications\u00a015(1), 47\u201359 (2002)","journal-title":"AI Communications"},{"issue":"4","key":"5_CR14","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2008","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Sem.\u00a06(4), 291\u2013308 (2008)","journal-title":"J. Web Sem."},{"key":"5_CR15","unstructured":"Lutz, C., Schr\u00f6der, L.: Probabilistic description logics for subjective probabilities. In: Lin, F., Sattler, U. (eds.) Proc. of the 12th Int. Conf. on the Principles of Knowledge Representation and Reasoning, KR 2010 (2010)"},{"key":"5_CR16","unstructured":"Mendez, J., Ecke, A., Turhan, A.-Y.: Implementing completion-based inferences for the ${\\cal{EL}}$ -family. In: Rosati, R., Rudolph, S., Zakharyaschev, M. (eds.) Proc. of the 2011 Description Logic Workshop, DL 2011, vol.\u00a0745. CEUR (2011)"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Pe\u00f1aloza, R., Sertkaya, B.: On the complexity of axiom pinpointing in the el family of description logics. In: Lin, F., Sattler, U., Truszczynski, M. (eds.) Proceedings of the Twelfth International Conference on Principles of Knowledge Representation and Reasoning, KR 2010. AAAI Press (2010)","DOI":"10.25368\/2022.173"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"Pe\u00f1aloza, R., Turhan, A.-Y.: Completion-based computation of most specific concepts with limited role-depth for $\\mathcal{EL}$ and prob- ${\\mathcal{EL}^{01}}$ . LTCS-Report LTCS-10-03, Chair f. Automata Theory, Inst. for Theoretical Computer Science, TU Dresden, Germany (2010)","DOI":"10.25368\/2022.176"},{"key":"5_CR19","unstructured":"Pe\u00f1aloza, R., Turhan, A.-Y.: Role-depth bounded least common subsumers by completion for $\\mathcal{EL}$ - and Prob- ${\\mathcal{EL}}$ -TBoxes. In: Haarslev, V., Toman, D., Weddell, G. (eds.) Proc. of the 2010 Description Logic Workshop, DL 2010 (2010)"},{"key":"5_CR20","unstructured":"Pe\u00f1aloza, R., Turhan, A.-Y.: Towards approximative most specific concepts by completion for ${\\mathcal{EL}^{01}}$ with subjective probabilities. In: Lukasiewicz, T., Pe\u00f1aloza, R., Turhan, A.-Y. (eds.) Proceedings of the First International Workshop on Uncertainty in Description Logics, UniDL 2010 (2010)"},{"key":"5_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"410","DOI":"10.1007\/978-3-642-21034-1_28","volume-title":"The Semantic Web: Research and Applications","author":"R. Pe\u00f1aloza","year":"2011","unstructured":"Pe\u00f1aloza, R., Turhan, A.-Y.: A Practical Approach for Computing Generalization Inferences in $\\mathcal{EL}$ . In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol.\u00a06643, pp. 410\u2013423. Springer, Heidelberg (2011)"},{"key":"5_CR22","first-page":"355","volume-title":"Proc. of the 18th Int. Joint Conf. on Artificial Intelligence, IJCAI 2003","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 2003, Acapulco, Mexico, pp. 355\u2013362. Morgan Kaufmann, Los Altos (2003)"},{"key":"#cr-split#-5_CR23.1","unstructured":"Spackman, K.: Managing clinical terminology hierarchies using algorithmic calculation of subsumption: Experience with snomed-rt. Journal of the American Medical Informatics Assoc. (2000);"},{"key":"#cr-split#-5_CR23.2","unstructured":"Fall Symposium Special Issue"},{"issue":"3","key":"5_CR24","doi-asserted-by":"crossref","first-page":"235","DOI":"10.3233\/AIS-2009-0032","volume":"1","author":"T. Springer","year":"2009","unstructured":"Springer, T., Turhan, A.-Y.: Employing description logics in ambient intelligence for modeling and reasoning about complex situations. Journal of Ambient Intelligence and Smart Environments\u00a01(3), 235\u2013259 (2009)","journal-title":"Journal of Ambient Intelligence and Smart Environments"},{"key":"5_CR25","unstructured":"W3C OWL Working Group. OWL 2 web ontology language document overview. W3C Recommendation (October 27, 2009), http:\/\/www.w3.org\/TR\/2009\/REC-owl2-overview-20091027\/"}],"container-title":["Lecture Notes in Computer Science","Uncertainty Reasoning for the Semantic Web II"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35975-0_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T14:13:27Z","timestamp":1687961607000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35975-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642359743","9783642359750"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35975-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}