{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,8]],"date-time":"2026-02-08T22:25:32Z","timestamp":1770589532766,"version":"3.49.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319195773","type":"print"},{"value":"9783319195780","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-19578-0_29","type":"book-chapter","created":{"date-parts":[[2015,5,12]],"date-time":"2015-05-12T04:07:21Z","timestamp":1431403641000},"page":"355-366","source":"Crossref","is-referenced-by-count":1,"title":["Exact Reasoning over Imprecise Ontologies"],"prefix":"10.1007","author":[{"given":"Mustapha","family":"Bourahla","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"29_CR1","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1007\/s00287-011-0534-y","volume":"34","author":"F. Baader","year":"2011","unstructured":"Baader, F.: What\u2019s new in description logics. Informatik-Spektrum\u00a034(5), 434\u2013442 (2011)","journal-title":"Informatik-Spektrum"},{"issue":"4","key":"29_CR2","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1142\/S0218488512500249","volume":"20","author":"F. Bobillo","year":"2012","unstructured":"Bobillo, F., Delgado, M., Gomez-Romero, J., Straccia, U.: Joining g\u00f6del and zadeh fuzzy logics in fuzzy description logics. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a020(4), 475\u2013508 (2012)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"29_CR3","unstructured":"Hitzler, P., Kr\u00f6tzsch, M., Parsia, B., Patel-Schneider, P.F., Rudolph, S. (eds.): OWL 2 Web Ontology Language: Primer. W3C (2009)"},{"key":"29_CR4","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible SROIQ. In: Proc. of the 10th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2006, pp. 57\u201367. AAAI Press (2006)"},{"issue":"39\u20133","key":"29_CR5","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/s10817-007-9079-9","volume":"39","author":"I. Horrocks","year":"2007","unstructured":"Horrocks, I., Sattler, U.: A tableau decision procedure for SHOIQ. Journal of Automated Reasoning\u00a039(39\u20133), 249\u2013276 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"29_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1007\/978-3-642-33158-9_4","volume-title":"Reasoning Web. Semantic Technologies for Advanced Query Answering","author":"M. Kr\u00f6tzsch","year":"2012","unstructured":"Kr\u00f6tzsch, M.: OWL 2 profiles: An introduction to lightweight ontology languages. In: Eiter, T., Krennwallner, T. (eds.) Reasoning Web 2012. LNCS, vol.\u00a07487, pp. 112\u2013183. Springer, Heidelberg (2012)"},{"issue":"4","key":"29_CR7","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.websem.2008.04.001","volume":"6","author":"T. Lukasiewicz","year":"2007","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the semantic web. J. Web Sem.\u00a06(4), 291\u2013308 (2007)","journal-title":"J. Web Sem."},{"issue":"6","key":"29_CR8","doi-asserted-by":"publisher","first-page":"837","DOI":"10.1016\/j.ijar.2009.03.004","volume":"50","author":"T. Lukasiewicz","year":"2009","unstructured":"Lukasiewicz, T., Straccia, U.: Description logic programs under probabilistic uncertainty and fuzzy vagueness. Int. J. Approx. Reasoning\u00a050(6), 837\u2013853 (2009)","journal-title":"Int. J. Approx. Reasoning"},{"issue":"1\u20133","key":"29_CR9","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/s10817-006-9049-7","volume":"38","author":"C. Lutz","year":"2007","unstructured":"Lutz, C., Milicic, M.: A tableau algorithm for DLs with concrete domains and GCIs. Journal of Automated Reasoning\u00a038(1\u20133), 227\u2013259 (2007)","journal-title":"Journal of Automated Reasoning"},{"key":"29_CR10","unstructured":"Pareti, P., Klein, E.: Learning vague concepts for the semantic web. In: Porc. Joint WS on Knowledge Evolution and Ontology Dynamics. In Conj. with ISWC 2011, vol.\u00a0784, CEUR workshop proceedings (2011)"},{"key":"29_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/978-3-642-04930-9_31","volume-title":"The Semantic Web - ISWC 2009","author":"H. P\u00e9rez-Urbina","year":"2009","unstructured":"P\u00e9rez-Urbina, H., Horrocks, I., Motik, B.: Efficient query answering for owl 2. In: Bernstein, A., Karger, D.R., Heath, T., Feigenbaum, L., Maynard, D., Motta, E., Thirunarayan, K. (eds.) ISWC 2009. LNCS, vol.\u00a05823, pp. 489\u2013504. Springer, Heidelberg (2009)"},{"key":"29_CR12","unstructured":"Stefan, B., Pe\u00f1aloza, R.: Consistency reasoning in lattice-based fuzzy description logics. Int. J. Approx. Reason (2013)"},{"key":"29_CR13","unstructured":"Straccia, U.: Foundations of Fuzzy Logic and Semantic Web Languages. CRC Studies in Informatics Series. Chapman & Hall (2013)"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-642-39784-4_3","volume-title":"Reasoning Web. Semantic Technologies for Intelligent Data Access","author":"A.-Y. Turhan","year":"2013","unstructured":"Turhan, A.-Y.: Introductions to description logics \u2013 A guided tour. In: Rudolph, S., Gottlob, G., Horrocks, I., van Harmelen, F. (eds.) Reasoning Weg 2013. LNCS, vol.\u00a08067, pp. 150\u2013161. Springer, Heidelberg (2013)"},{"issue":"1","key":"29_CR15","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1109\/69.43406","volume":"1","author":"L.A. Zadeh","year":"1989","unstructured":"Zadeh, L.A.: Knowledge representation in fuzzy logic. IEEE Transactions on Knowledge and Data Engineering\u00a01(1), 89\u2013100 (1989)","journal-title":"IEEE Transactions on Knowledge and Data Engineering"}],"container-title":["IFIP Advances in Information and Communication Technology","Computer Science and Its Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19578-0_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T20:57:35Z","timestamp":1559163455000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19578-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195773","9783319195780"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19578-0_29","relation":{},"ISSN":["1868-4238","1868-422X"],"issn-type":[{"value":"1868-4238","type":"print"},{"value":"1868-422X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]}}}