{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,2]],"date-time":"2026-02-02T00:22:48Z","timestamp":1769991768516,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540261247","type":"print"},{"value":"9783540315476","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11431053_12","type":"book-chapter","created":{"date-parts":[[2010,7,14]],"date-time":"2010-07-14T00:48:34Z","timestamp":1279068514000},"page":"167-181","source":"Crossref","is-referenced-by-count":79,"title":["Towards a Fuzzy Description Logic for the Semantic Web (Preliminary Report)"],"prefix":"10.1007","author":[{"given":"U.","family":"Straccia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","unstructured":"Baader, F., Hanschke, P.: A schema for integrating concrete domains into concept languages. In: Proc. of the 12th Int.\u00a0Joint Conf.\u00a0on Artificial Intelligence (IJCAI 1991), Sydney, pp. 452\u2013457 (1991)"},{"key":"12_CR2","volume-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003","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":"12_CR3","volume-title":"Representing and Reasoning with Probabilistic Knowledge","author":"F. Bacchus","year":"1990","unstructured":"Bacchus, F.: Representing and Reasoning with Probabilistic Knowledge. The MIT Press, Cambridge (1990)"},{"issue":"5","key":"12_CR4","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. The Scientific American\u00a0284(5), 34\u201343 (2001)","journal-title":"The Scientific American"},{"key":"12_CR5","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/10983652_3","volume-title":"Fuzzy Logic and Applications","author":"P. Bonatti","year":"2006","unstructured":"Bonatti, P., Tettamanzi, A.: Some complexity results on fuzzy description logics. In: Di Ges\u00f9, V., Masulli, F., Petrosino, A. (eds.) WILF 2003. LNCS (LNAI), vol.\u00a02955, pp. 19\u201324. Springer, Heidelberg (2006)"},{"key":"12_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"409","DOI":"10.1007\/BFb0035974","volume-title":"Advances in Intelligent Computing - IPMU \u201994","author":"R.M. Silva da","year":"1994","unstructured":"da Silva, R.M., Pereira, A.E.C., Andrade Netto, M.: A system of knowledge representation based on formulae of predicate calculus whose variables are annotated by expressions of a fuzzy terminological logic. In: Bouchon-Meunier, B., Yager, R.R., Zadeh, L.A. (eds.) IPMU 1994. LNCS, vol.\u00a0945, pp. 409\u2013417. Springer, Heidelberg (1994)"},{"key":"12_CR7","volume-title":"Fuzzy Sets and Systems","author":"D. Dubois","year":"1980","unstructured":"Dubois, D., Prade, H.: Fuzzy Sets and Systems. Academic Press, New York (1980)"},{"key":"12_CR8","series-title":"LNAI","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/3-540-61286-6_128","volume-title":"Foundations of Intelligent Systems","author":"D. Dubois","year":"1996","unstructured":"Dubois, D., Prade, H.: Approximate and commonsense reasoning: From theory to practice. In: Michalewicz, M., Ra\u015b, Z.W. (eds.) ISMIS 1996. LNCS (LNAI), vol.\u00a01079, pp. 19\u201333. Springer, Heidelberg (1996)"},{"key":"12_CR9","unstructured":"Pan et al.: Specification of coordination of rule and ontology languages. Technical report, Knowledgeweb Network of Excellence, EU-IST-2004-507482, Deliverable D2.5.1 (2004)"},{"issue":"5\/6","key":"12_CR10","doi-asserted-by":"publisher","first-page":"625","DOI":"10.1006\/ijhc.1995.1066","volume":"43","author":"N. Guarino","year":"1995","unstructured":"Guarino, N., Poli, R.: Formal ontology in conceptual analysis and knowledge representation. Int. Journal of Human and Computer Studies\u00a043(5\/6), 625\u2013640 (1995)","journal-title":"Int. Journal of Human and Computer Studies"},{"key":"12_CR11","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a02083, pp. 701\u2013705. Springer, Heidelberg (2001)"},{"issue":"2","key":"12_CR12","first-page":"69","volume":"IV","author":"R. H\u00e4nle","year":"1997","unstructured":"H\u00e4nle, R., Escalada-Imaz, G.: Deduction in many-valued logics: a survey. Mathware and Soft Computing\u00a0IV(2), 69\u201397 (1997)","journal-title":"Mathware and Soft Computing"},{"key":"12_CR13","unstructured":"H\u00f6lldobler, S., St\u00f6rr, H.-P., Khang, T.D.: A fuzzy description logic with hedges and concept modifiers. In: Proc. of the 10th Int. Conf. on Information Processing and Managment of Uncertainty in Knowledge-Based Systems, IPMU 2004 (2004)"},{"key":"12_CR14","unstructured":"Horrocks, I.: Using an expressive description logic: Fact or fiction? In: Proc. of the 8th Int. Conf. on the Principles of Knowledge Representation and Reasoning, KR 1998 (1998)"},{"issue":"1","key":"12_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":"12_CR16","doi-asserted-by":"crossref","unstructured":"Horrocks, I., Patel-Schneider, P.F.: Reducing OWL entailment to description logic satisfiability. Journal of Web Semantics (2004)","DOI":"10.1016\/j.websem.2004.06.003"},{"key":"12_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-76702-9","volume-title":"Uncertainty and Vagueness in Knowledge Based Systems","author":"R. Kruse","year":"1991","unstructured":"Kruse, R., Schwecke, E., Heinsohn, J.: Uncertainty and Vagueness in Knowledge Based Systems. Springer, Berlin (1991)"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Description logics with concrete domains\u2014a survey. In: Advances in Modal Logics, vol. 4. King\u2019s College Publications (2003)","DOI":"10.1145\/1024922.1024925"},{"key":"12_CR19","series-title":"LNAI","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-45206-5_12","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods","author":"C. Lutz","year":"2003","unstructured":"Lutz, C., Wolter, F., Zakharyaschev, M.: A tableau algorithm for reasoning about concepts and similarity. In: Cialdea Mayer, M., Pirri, F. (eds.) TABLEAUX 2003. LNCS (LNAI), vol.\u00a02796, pp. 134\u2013149. Springer, Heidelberg (2003)"},{"key":"12_CR20","first-page":"90","volume-title":"Proc.\u00a0of the 16th Int.\u00a0Joint Conf.\u00a0on Artificial Intelligence","author":"C. Lutz","year":"1999","unstructured":"Lutz, C.: Reasoning with concrete domains. In: Proc.\u00a0of the 16th Int.\u00a0Joint Conf.\u00a0on Artificial Intelligence, pp. 90\u201395. Morgan Kaufmann Publishers Inc., San Francisco (1999)"},{"issue":"4","key":"12_CR21","doi-asserted-by":"publisher","first-page":"669","DOI":"10.1145\/1024922.1024925","volume":"5","author":"C. Lutz","year":"2004","unstructured":"Lutz, C.: Nexp time-complete description logics with concrete domains. ACM Trans. Comput. Logic\u00a05(4), 669\u2013705 (2004)","journal-title":"ACM Trans. Comput. Logic"},{"key":"12_CR22","volume-title":"Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference","author":"J. Pearl","year":"1988","unstructured":"Pearl, J.: Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan Kaufmann, Los Altos (1988)"},{"key":"12_CR23","unstructured":"S\u00e1nchez, D., Tettamanzi, G.B.: Generalizing quantification in fuzzy description logics. In: Proc. of the 8th Fuzzy Days in Dortmund (2004)"},{"key":"12_CR24","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\u201326 (1991)","journal-title":"Artificial Intelligence"},{"key":"12_CR25","unstructured":"Straccia, U.: A fuzzy description logic. In: Proc. of the 15th Nat. Conf. on Artificial Intelligence (AAAI 1998), Madison, USA, pp. 594\u2013599 (1998)"},{"key":"12_CR26","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":"12_CR27","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a03229, pp. 385\u2013399. Springer, Heidelberg (2004)"},{"key":"12_CR28","unstructured":"Straccia, U.: Fuzzy description logics with concrete domains. Technical Report 2005-TR-03, Istituto di Scienza e Tecnologie dell\u2019Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy (2005)"},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"Tresp, C., Molitor, R.: A description logic for vague knowledge. In: Proc. of the 13th European Conf. on Artificial Intelligence (ECAI 1998), Brighton (England) (August 1998)","DOI":"10.25368\/2022.77"},{"key":"12_CR30","unstructured":"Yen, J.: Generalizing term subsumption languages to fuzzy logic. In: Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI 1991), pp. 472\u2013477 (1991)"},{"issue":"3","key":"12_CR31","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(3), 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","The Semantic Web: Research and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11431053_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,1]],"date-time":"2023-06-01T22:35:25Z","timestamp":1685658925000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11431053_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261247","9783540315476"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11431053_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005]]}}}