{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T06:47:55Z","timestamp":1789195675312,"version":"build-2803163510"},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540897644","type":"print"},{"value":"9783540897651","type":"electronic"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89765-1_11","type":"book-chapter","created":{"date-parts":[[2008,11,29]],"date-time":"2008-11-29T02:56:06Z","timestamp":1227927366000},"page":"174-188","source":"Crossref","is-referenced-by-count":15,"title":["A Crisp Representation for Fuzzy $\\cal SHOIN$ with Fuzzy Nominals and General Concept Inclusions"],"prefix":"10.1007","author":[{"given":"Fernando","family":"Bobillo","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Miguel","family":"Delgado","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Juan","family":"G\u00f3mez-Romero","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"2","key":"11_CR1","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"T.R. Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontologies. Knowledge Acquisition\u00a05(2), 199\u2013220 (1993)","journal-title":"Knowledge Acquisition"},{"issue":"5","key":"11_CR2","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1038\/scientificamerican0501-34","volume":"284","author":"T. Berners-Lee","year":"2001","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The semantic web. Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"Scientific American"},{"key":"11_CR3","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","author":"F. Baader","year":"2003","unstructured":"Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)"},{"key":"11_CR4","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-540-32254-2_14","volume-title":"Mechanizing Mathematical Reasoning","author":"F. Baader","year":"2005","unstructured":"Baader, F., Horrocks, I., Sattler, U.: Description logics as ontology languages for the semantic web. In: Hutter, D., Stephan, W. (eds.) Mechanizing Mathematical Reasoning. LNCS (LNAI), vol.\u00a02605, pp. 228\u2013248. Springer, Heidelberg (2005)"},{"key":"11_CR5","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"Information and Control"},{"key":"11_CR6","unstructured":"Lukasiewicz, T., Straccia, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. Journal of Web Semantics (to appear)"},{"key":"11_CR7","unstructured":"W3C: OWL Web Ontology Language Overview (2004), \n                    \n                      http:\/\/www.w3.org\/TR\/owl-features"},{"issue":"4","key":"11_CR8","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1016\/j.websem.2004.06.003","volume":"1","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics\u00a01(4), 345\u2013357 (2004)","journal-title":"Journal of Web Semantics"},{"key":"11_CR9","unstructured":"Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J.Z., Horrocks, I.: Fuzzy OWL: Uncertainty and the semantic web. In: Proceedings of the International Workshop on OWL: Experience and Directions, OWLED 2005 (2005)"},{"key":"11_CR10","unstructured":"Sirin, E., Cuenca-Grau, B., Parsia, B.: From wine to water: Optimizing description logic reasoning for nominals. In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), pp. 90\u201399 (2006)"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1007\/3-540-45744-5_59","volume-title":"Automated Reasoning","author":"V. Haarslev","year":"2001","unstructured":"Haarslev, V., M\u00f6ller, R.: Racer system description. In: Gor\u00e9, R.P., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS, vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Bobillo, F., Straccia, U.: fuzzyDL: An expressive fuzzy description logic reasoner. In: Proceedings of the 17th IEEE International Conference on Fuzzy Systems, FUZZ-IEEE 2008 (to appear, 2008)","DOI":"10.1109\/FUZZY.2008.4630480"},{"key":"11_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/978-3-540-30227-8_33","volume-title":"Logics in Artificial Intelligence","author":"U. Straccia","year":"2004","unstructured":"Straccia, U.: Transforming fuzzy description logics into classical description logics. In: Alferes, J.J., Leite, J. (eds.) JELIA 2004. LNCS, vol.\u00a03229, pp. 385\u2013399. Springer, Heidelberg (2004)"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1142\/S0218488506003807","volume":"14","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems\u00a014(1), 1\u201316 (2006)","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1588","DOI":"10.1007\/11575801_40","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"D. Kang","year":"2005","unstructured":"Kang, D., Lu, J., Xu, B., Li, Y., He, Y.: Two reasoning methods for extended fuzzy \n                    \n                      \n                    \n                    $\\mathcal{ALCH}$\n                  . In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol.\u00a03761, pp. 1588\u20131595. Springer, Heidelberg (2005)"},{"key":"11_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1007\/11751588_125","volume-title":"Computational Science and Its Applications - ICCSA 2006","author":"Y. Li","year":"2006","unstructured":"Li, Y., Xu, B., Lu, J., Kang, D.: Reasoning technique for extended fuzzy \n                    \n                      \n                    \n                    $\\mathcal{ALCQ}$\n                  . In: Gavrilova, M.L., Gervasi, O., Kumar, V., Tan, C.J.K., Taniar, D., Lagan\u00e1, A., Mun, Y., Choo, H. (eds.) ICCSA 2006. LNCS, vol.\u00a03981, pp. 1179\u20131188. Springer, Heidelberg (2006)"},{"issue":"2","key":"11_CR17","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Cuenca-Grau, B., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Journal of Web Semantics\u00a05(2), 51\u201353 (2007)","journal-title":"Journal of Web Semantics"},{"key":"11_CR18","series-title":"Capturing Intelligence","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/S1574-9576(06)80006-7","volume-title":"Fuzzy Logic and the Semantic Web","author":"U. Straccia","year":"2006","unstructured":"Straccia, U.: A Fuzzy Description Logic for the Semantic Web. In: Fuzzy Logic and the Semantic Web. Capturing Intelligence, vol.\u00a01, pp. 73\u201390. Elsevier, Amsterdam (2006)"},{"issue":"2","key":"11_CR19","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0169-023X(94)90002-7","volume":"13","author":"A. Schaerf","year":"1994","unstructured":"Schaerf, A.: Reasoning with individuals in concept languages. Data & Knowledge Engineering\u00a013(2), 141\u2013176 (1994)","journal-title":"Data & Knowledge Engineering"},{"key":"11_CR20","volume-title":"Metamathematics of Fuzzy Logic","author":"P. H\u00e1jek","year":"2001","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (2001)"},{"key":"11_CR21","volume-title":"Fuzzy Sets and Fuzzy Logic: Theory and Applications","author":"G.J. Klir","year":"1995","unstructured":"Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"11_CR22","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","volume":"14","author":"U. Straccia","year":"2001","unstructured":"Straccia, U.: Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research\u00a014, 137\u2013166 (2001)","journal-title":"Journal of Artificial Intelligence Research"},{"key":"11_CR23","unstructured":"Straccia, U.: A fuzzy description logic. In: Proceedings of the 15th National Conference on Artificial Intelligence (AAAI 1998), pp. 594\u2013599 (1998)"},{"issue":"2","key":"11_CR24","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1016\/0004-3702(90)90087-G","volume":"43","author":"B. Nebel","year":"1990","unstructured":"Nebel, B.: Terminological reasoning is inherently intractable. Artificial Intelligence\u00a043(2), 235\u2013249 (1990)","journal-title":"Artificial Intelligence"},{"key":"11_CR25","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/j.websem.2005.08.001","volume":"4","author":"J.Z. Pan","year":"2006","unstructured":"Pan, J.Z., Horrocks, I.: OWL-Eu: Adding customised datatypes into OWL. Journal of Web Semantics\u00a04, 29\u201339 (2006)","journal-title":"Journal of Web Semantics"},{"key":"11_CR26","unstructured":"Horrocks, I., Kutz, O., Sattler, U.: The even more irresistible \n                    \n                      \n                    \n                    $\\mathcal{SROIQ}$\n                  . In: Proceedings of the 10th International Conference of Knowledge Representation and Reasoning (KR 2006), pp. 452\u2013457 (2006)"},{"key":"11_CR27","unstructured":"W3C: OWL 1.1 Web Ontology Language Overview (2006), \n                    \n                      http:\/\/www.w3.org\/Submission\/owl11-overview\/"}],"container-title":["Lecture Notes in Computer Science","Uncertainty Reasoning for the Semantic Web I"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89765-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T05:52:14Z","timestamp":1551678734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89765-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540897644","9783540897651"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89765-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008]]}}}