Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
7.7CiteScore
2.0Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
2013 Volume 28
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

An overview of fuzzy Description Logics for the Semantic Web

  • 1.

    College of Information Science and Engineering

  • 2.

    School of Software

More Information
  • Abstract: Information imprecision and uncertainty exist in many real world applications, and such information would be retrieved, processed, shared, reused, and aligned in the maximum automatic way possible. As a popular family of formally well-founded and decidable knowledge representation languages, fuzzy Description Logics (fuzzy DLs), which extend DLs with fuzzy logic, are very well suited to cover for representing and reasoning with imprecision and uncertainty. Thus, a requirement naturally arises in many practical applications of knowledge-based systems, in particular the Semantic Web, because DLs are the logical foundation of the Semantic Web. Currently, there have been lots of fuzzy extensions of DLs with Zadeh's fuzzy logic theory papers published, to investigate fuzzy DLs and more importantly serve as identifying the direction of fuzzy DLs study. In this paper, we aim at providing a comprehensive literature overview of fuzzy DLs, and we focus our attention on fuzzy extensions of DLs based on fuzzy set theory. Other relevant formalisms that are based on approaches like probabilistic theory or non-monotonic logics are covered elsewhere. In detail, we first introduce the existing fuzzy DLs (including the syntax, semantics, knowledge base, and reasoning algorithm) from the origin, development (from weaker to stronger in expressive power), some special techniques, and so on. Then, the other important issues on fuzzy DLs, such as reasoning, querying, applications, and directions for future research, are also discussed in detail. Also, we make a comparison and analysis.
  • 加载中
  • Agarwal S., Hitzler P.2005. Modeling fuzzy rules with description logics. In Proceedings of Workshop on OWL Experiences and Directions, Galway, Ireland.

    Google Scholar

    Agarwal S., Lamparter S.2005. SMART: a semantic matchmaking portal for electronic markets. In Proceedings CEC-2005. IEEE Computer Society, 405–408.

    Google Scholar

    Baader F., Hanschke P.1991a.A scheme for integrating concrete domains into concept languages. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91), Sydney, Australia, 452–457.

    Google Scholar

    Baader F., Hanschke P.1991b. A Scheme for Integrating Concrete Domains into Concept Languages. Research Report RR-91-10, Kaiserslautern. DFKI.

    Google Scholar

    Baader F., Calvanese D., McGuinness D. (eds) 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.

    Google Scholar

    Berners-Lee T., Hendler J., Lassila O.2001. The Semantic Web. The Scientific American284(5), 34–43.

    Google Scholar

    Bobillo F.2008. Managing Vagueness in Ontologies. PhD thesis, University of Granada, Spain.

    Google Scholar

    Bobillo F., Straccia U.2007. A fuzzy Description Logic with Product T-norm. In Proceedings of theFUZZ-IEEE 2007, London, UK, 1–6.

    Google Scholar

    Bobillo F., Straccia U.2008a. On qualified cardinality restrictions in fuzzy Description Logics under Łukasiewicz semantics. In Proceedings of the IPMU 2008, Málaga, 1008–1015.

    Google Scholar

    Bobillo F., Straccia U.2008b. fuzzyDL: an expressive fuzzy Description Logic reasoner. In Proceedings of the 2008 IEEE International Conference on Fuzzy Systems, Hong Kong, China, 923–930.

    Google Scholar

    Bobillo F., Straccia U.2009a. Supporting fuzzy rough sets in fuzzy Description Logics. In Proceedings of the ECSQARU 2009, Verona, Italy, 676–687.

    Google Scholar

    Bobillo F., Straccia U.2009b.Fuzzy Description Logics with general t-norms and datatypes. Fuzzy Sets and Systems160(23), 3382–3402.

    Google Scholar

    Bobillo F., Straccia U.2009c. An OWL ontology for fuzzy OWL 2. In Proceedings of the ISMIS 2009, Prague, Czech Republic, Lecture Notes in Artificial Intelligence 5722, 151–160.

    Google Scholar

    Bobillo F., Straccia U.2009d. Extending datatype restrictions in fuzzy Description Logics. In Proceedings of the 9th International Conference on Intelligent Systems Design and Applications, Pisa, Italy, 785–790.

    Google Scholar

    Bobillo F., Straccia U.2009e. Fuzzy Descriptions Logics with fuzzy truth values. In Proceedings of the 13th World Congress of the International Fuzzy Systems Association and 6th Conference of the European Society for Fuzzy Logic and Technology (IFSA-EUSFLAT 2009), Lisbon, Portugal, 189–194.

    Google Scholar

    Bobillo F., Delgado M., Gómez-Romero J.2006. A crisp representation for fuzzy shoin with fuzzy nominals and general concept inclusions. In Proceedings of the 2nd International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 06), Athens, Georgia.

    Google Scholar

    Bobillo F., Delgado M., Gómez-Romero J.2007a. Optimizing the crisp representation of the fuzzy Description Logic SROIQ. In Proceedings of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web, Busan, Korea.

    Google Scholar

    Bobillo F., Delgado M., Gómez-Romero J.2007b. DeLoean [CP/OL]. http://webdiis.unizar.es/~fbobillo/delorean.php.

    Google Scholar

    Bobillo F., Delgado M., Gómez-Romero J.2008. Representation of context-dependant knowledge in ontologies: a model and an application. Expert Systems with Applications35(4), 1899–1908.

    Google Scholar

    Bobillo F., Delgado M., Gómez-Romero J.2009. Crisp representations and reasoning for fuzzy ontologies. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems17(4), 501–530.

    Google Scholar

    Bobillo F., Bou F., Straccia U.2011. On the failure of the finite model property in some Fuzzy Description Logics. Fuzzy Sets and Systems172(1), 1–12.

    Google Scholar

    Bonatti P., Tettamanzi A.2005. Some complexity results on fuzzy Description Logics. In International Workshop on Fuzzy Logic and Applications. Springer Verlag.

    Google Scholar

    Bosc P., Kraft D. H., Petry F. E.2005. Fuzzy sets in database and information systems: status and opportunities. Fuzzy Sets and Systems156(3), 418–426.

    Google Scholar

    Brachman R. J., Levesque H. J.1984. The tractability of subsumption in framebased description languages. In Proceedings of the 4th National Conference on Artificial Intelligence (AAAI-84), 34–37.

    Google Scholar

    Calegari S., Ciucci D.2007. Fuzzy ontology, fuzzy Description Logics and fuzzy OWL. In Proceedingsof the 7th international workshop on Fuzzy Logic and Applications: Applications of Fuzzy Sets Theory, Camogli, Italy, 118–126.

    Google Scholar

    Calvanese D., De Giacomo G., Lenzerini M.1997. Conjunctive query containment in description logics with n-ary relations. In Proceedings of the 1997 International Workshop on Description Logics, Paris, France, 1–9.

    Google Scholar

    Calvanese D., De Giacomo G., Lenzerini M.1998. On the decidability of query containment under constraint. In Proceedings of the 17th ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'98), Washington, USA, 149–158.

    Google Scholar

    Calvanese D., De Giacomo G., Lenzerini M.1999. Reasoning in expressive description logics with fixpoints based on automata on infinite trees. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, 84–89.

    Google Scholar

    Calvanese D., De Giacomo G., Lembo D.et al.2007. Tractable reasoning and efficient query answering in description logics: The DL-lite family. Journal of Automated Reasoning39(3), 385–429.

    Google Scholar

    Cat Ho N., Wechler W.1990. Hedge algebras: an algebraic approach to structure of sets of linguistic truth values. Fuzzy Sets and Systems35, 281–293.

    Google Scholar

    Chen S., Nikolaidis E., Cudney H. H., Rosca R., Haftka R.1999. Comparison of probabilistic and fuzzy set methods for designing under uncertainty. In Proceedings of the40th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference and Exhibit, St. Louis, MO, 2860–2874.

    Google Scholar

    Cheng J., Ma Z. M., Zhang F., Wang X. 2008a. Conjunctive query answering over an f-ALC knowledge base. In Proceedings of theWeb Intelligence/IAT Workshops 2008, Sydney, Australia, 279–282.

    Google Scholar

    Cheng J., Ma Z. M., Yan L., Wang H.2008b.Querying over fuzzy Description Logic. Wuhan University Journal of Natural Sciences13(4), 429–434.

    Google Scholar

    Cheng J., Ma Z. M., Zhang F., Wang X2009a. Deciding query entailment in fuzzy Description Logic knowledge bases. In Proceedings of the DEXA 2009, Linz, Austria, 830–837.

    Google Scholar

    Cheng J., Ma Z. M., Zhang F., Wang X.2009b. Deciding query entailment for fuzzy SHIN ontologies. In Proceedings of the ASWC 2009, Shanghai, China, 120–134.

    Google Scholar

    Cimiano P., Haase P., Ji Q., Mailis T., Stamou G., Stoilos G., Tran T., Tzouvaras V.2008. Reasoning with large A-Boxes in fuzzy Description Logics using DL reasoners: an experimental evaluation. In Proceedings of the ESWC Workshop on Advancing Reasoning on the Web: Scalability and Commonsense, Tenerife, Canary Islands, Spain.

    Google Scholar

    Cuenca Grau B., Horrocks I., Motik B., Parsia B., Patel-Schneider P., Sattler U.2008. OWL 2: the next step for OWL. Journal of Semantics6(4), 309–322.

    Google Scholar

    Dasiopoulou S., Kompatsiaris I., Strintzis M.2008. Using fuzzy DLs to enhance semantic image analysis. In Proceedings of the 3rd International Conference on Semantic and digital Media Technology (SAMT), Koblenz, Germany.

    Google Scholar

    Dasiopoulou S., Kompatsiaris I., Strintzis M.2009. Applying fuzzy DLs in the extraction of image semantics. Journal on Data Semantics14, 105–132.

    Google Scholar

    D'Aquin M., Lieber J., Napoli A.2006. Towards a semantic portal for oncology using a Description Logic with fuzzy concrete domains. In Fuzzy Logic and the SemanticWeb, Sanchez, E. (ed.). Capturing Intelligence, Elsevier, 379–393.

    Google Scholar

    Dinh-Khac D., Hölldobler S., Tran D. K.2006. The fuzzy linguistic description logic ALCFL. In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Paris, France, 2096–2103.

    Google Scholar

    Dragoni M., Tettamanzi A.2007. Evolutionary algorithms for reasoning in fuzzy Description Logics with fuzzy quantifiers. In Proceedings of the GECCO 2007, London, England, UK, 1967–1974.

    Google Scholar

    Dubois D., Prade H.2001. Possibility theory, probability theory and many-valued logics: a clarification. Annals of Mathematics and Artificial Intelligence32(1–4), 35–66.

    Google Scholar

    Dubois D., Mengin J., Prade H.2006. Possibilistic uncertainty and fuzzy features in Description Logic: a preliminary discussion. In Fuzzy Logic and the Semantic Web, Sanchez, E. (ed.). Capturing Intelligence, Ch. 6, Elsevier, 101–114.

    Google Scholar

    Eiter T., Lukasiewicz T., Schindlauer R., Tompits H. 2004. Well-founded semantics for Description Logic programs in the Semantic Web. In Proceedings of the RuleML 2004 Workshop, International Semantic Web Conference, Lecture Notes in Computer Science 3323, 81–97. Springer Verlag.

    Google Scholar

    Ferrara A., Lorusso D., Stamou G., Stoilos G., Tzouvaras V., Venetis T.2008. Resolution of conflicts among ontology mappings: a fuzzy approach. In Proceedings of the 3rd International Workshop on Ontology Matching (OM 2008), Karlsruhe, Germany.

    Google Scholar

    Gao M., Liu C.2005. Extending OWL by fuzzy Description Logic. In Proceedings of the IEEE-ICTAI 2005, Hong Kong, China.

    Google Scholar

    Grosof B. N., Horrocks I., Volz R., Decker S.2003. Description Logic programs: combining logic programs with description logic. In Proceedings of the 12th International World Wide Web Conference (WWW 2003), Budapest, Hungary, 48–57.

    Google Scholar

    Gu H., Lv H., Gao J., Shi J.2007. Towards a general fuzzy ontology and its construction. In Proceedings of the International Conference on Intelligent Systems and Knowledge Engineering (ISKE 2007), Chengdu, China.

    Google Scholar

    Gurský P., Horváth T., Jirásek J., Novotný R., Pribolová J., Vaneková V., Vojtáš P.2008. Knowledge processing for web search – an integrated model and experiments. Journal of Scalable Computing: Practice and Experience9(1), 51–59.

    Google Scholar

    Haarslev V., Möller R.2001. The Description Logic ALCNHR+ extended with concrete domains: a practically motivated approach. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), Siena, Italy, Lecture Notes in Artificial Intelligence 2083, 29–44.

    Google Scholar

    Haarslev V., Pai H. I., Shiri N.2006. Uncertainty reasoning in description logics: a generic approach. In Proceedings of the FLAIRS, Florida. AAAI Press, 818–823.

    Google Scholar

    Haarslev V., Pai H. I., Shiri N.2007. Optimizing tableau reasoning in ALC extended with uncertainty. In Proceedings of the 2007 International Workshop on Description Logics (DL-2007), Brixen-Bressanone, Italy, 307–314.

    Google Scholar

    Habiballa H.2007. Resolution strategies for fuzzy Description Logic. In Proceedings of the 5th Conference of the European Society for Fuzzy Logic and Technology, Ostrava, Czech Republic, 27–36.

    Google Scholar

    Hajek P.2005. Making fuzzy Description Logic more general. Fuzzy Sets and Systems154(1), 1–15.

    Google Scholar

    Hajek P.2006. What does mathematical fuzzy logic offer to description logic? In Capturing Intelligence: Fuzzy Logic and the Semantic Web, Sanchez, E. (ed.). Elsevier.

    Google Scholar

    Horrocks I., Sattler U.2001. Ontology reasoning in the SHOQ(D) description logic. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI 2001), San Francisco, CA, USA, 199–204.

    Google Scholar

    Horrocks I., Patel-Schneider P. F., Boley H., Tabet S., Grosof B., Dean M.2004. SWRL: a Semantic Web rule language-combining OWL and RuleML. W3C Member Submission, http://www.w3.org/Submission/SWRL/.

    Google Scholar

    Hölldobler S., Khang T. D., Störr H. P.2002. A fuzzy Description Logic with hedges as concept modifiers. In Proceedings of the In Tech/VJFuzzy'2002, Hanoi, Vietnam, 5–34.

    Google Scholar

    Hölldobler S., Störr H. P., Tran D. K.2003. The fuzzy Description Logic ALCFH with hedge algebras as concept modifiers. Journal of Advanced Computational Intelligence and Intelligent Informatics7(3), 294–305.

    Google Scholar

    Hölldobler S., Störr H. P., Khang T. D.2004. The subsumption problem in the fuzzy Description Logic ALCFH. In Proceedings of the 10th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems, Perugia, Italy, 243–250.

    Google Scholar

    Hölldobler S., Nga N. H., Khang T. D.2005. The fuzzy Description Logic ALCFLH. In Proceedings of the 9th IASTED International Conference on Artificial Intelligence and Soft Computing, Benidorm, Spain, 99–104.

    Google Scholar

    Jiang Y., Tang Y., Wang J., Tang S.2009a.Reasoning within intuitionistic fuzzy rough description logics. Information Sciences179(14), 2362–2378.

    Google Scholar

    Jiang Y., Wang J., Deng P., Tang S.2009b.Reasoning within expressive fuzzy rough description logics. Fuzzy Sets and Systems160(23), 3403–3424.

    Google Scholar

    Jiang Y., Wang J., Tang S., Xiao B.2009c.Reasoning with rough description logics: an approximate concepts approach. Information Science179(5), 600–612.

    Google Scholar

    Kang D., Lu J., Xu B., Li Y., He Y.2005. Two reasoning methods for extended fuzzy ALCH. In Proceedings of the OTM 2005, Agia Napa, Cyprus, Lecture Notes in Computer Science 3761, 1588–1595.

    Google Scholar

    Keller U., Heymans S.2008. Deciding fuzzy Description Logics by type elimination. In Proceedings of theURSW 2008, Karlsruhe, Germany.

    Google Scholar

    Kifer M., Subrahmanian V. S.1992. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming12, 335–367.

    Google Scholar

    Klir G. J., Yuan B.1995. Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall.

    Google Scholar

    Levy A. Y., Rousset M. C.1998. Combining horn rules and description logics in CARIN. Artificial Intelligence104, 165–209.

    Google Scholar

    Li Y., Xu B., Lu J., Kang D.2006a. Discrete tableau algorithms for FSHI. In Proceedings of the 2006 International Workshop on Description Logics, Lake District, UK.

    Google Scholar

    Li Y., Xu B., Lu J., Kang D.2006b. Reasoning technique for extended fuzzy ALCQ. In International Conference on Computational Science and Its Applications, Lecture Notes in Computer Science 3981, 1179–1188. Springer.

    Google Scholar

    Li L., Liu Q. L., Tao Y. F., Zhang L., Zhou J., Yu Y. 2006c. Providing an uncertainty reasoning service for Semantic Web application. In Proceedings of the 8th Asia Pacific Web Conference, 628–639.

    Google Scholar

    Li R., Wen K., Lu Z., Sun X., Wang Z.2006d. An improved semantic search model based on hybrid fuzzy Description Logic. In Proceedings of the Workshop on Frontier of Computer Science and Technology (FCST-2006), IEEE Computer Society, Aizu-Wakamatsu, Fukushima, Japan, 139–146.

    Google Scholar

    Li R., Sun X., Lu Z., Wen K., Li Y.2007. Towards a type-2 fuzzy Description Logic for semantic search engine. In Proceedings of theAPWeb 2007 and WAIM 2007, Huang Shan, China, 805–812.

    Google Scholar

    Li Y., Xu B., Lu J., Kang D., Wang P.2005a. A family of extended fuzzy Description Logics. In Proceedings of the IEEE 29th Annual International Computer Software and Applications Conference, Edinburgh, Scotland, 221–226.

    Google Scholar

    Li Y. H., Lu J. J., Xu B. W., Kang D. Z., Jiang J. X.2005b. A fuzzy extension of Description Logic ALCH. In Proceedings of the MICAI 2005, Monterrey, Mexico, 152–161.

    Google Scholar

    Li Y., Xu B., Lu J., Kang D., Wang P.2005c. Extended fuzzy Description Logic ALCN. In 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2005), Lecture Notes in Computer Science 3684, 896–902. Springer.

    Google Scholar

    Liu L., Chen L.2006. A modal supervaluation description logic for characterization of vague concepts: its semantics and a tableau algorithm for it. Logic Journal of IGPL14(6), 873–888.

    Google Scholar

    Liu O., Tian Q., Ma J.2004. A fuzzy Description Logic approach to model management in R&D project selection. In Proceedings of the 8th Pacific Asian Conference on Information Systems (PACIS-04), Shanghai, China.

    Google Scholar

    Lu J. J., Li Y. H., Zhou B., Kang D. Z.2008a. Reasoning within extended fuzzy description logic. Knowledge-Based Systems22(1), 28–37

    Google Scholar

    Lu J. J., Kang D. Z., Zhang Y. F., Li Y. H., Zhou B.2008b. A family of fuzzy Description Logics with comparison expressions. In Proceedings of theRSKT 2008, Chengdu, China, 395–402.

    Google Scholar

    Lu J. J., Xu B. W., Li Y. H., Kang D. Z., Wang P.2005. Extended fuzzy ALCN and its tableau algorithm. In Proceedings of the 2nd International Conference on Fuzzy Systems and Knowledge Discovery, Changsha, China, 232–242.

    Google Scholar

    Lu J. J., Xu B. W., Li Y. H., Kang D. Z.2006. A family of extended fuzzy Description Logics. International Journal of Business Intelligence and Data Mining1(4), 384–400.

    Google Scholar

    Lukasiewicz T.2005a. Probabilistic Description Logic Programs. In Proceedings of the ECSQARU-2005, Barcelona, Spain, Lecture Notes in Computer Science 3571, 737–749.

    Google Scholar

    Lukasiewicz T.2005b. Stratified probabilistic Description Logic Programs. In Proceedings of the URSW-2005, Galway, Ireland, 87–97.

    Google Scholar

    Lukasiewicz T.2006. Fuzzy Description Logic programs under the answer set semantics for the Semantic Web. In Proceedings of the RuleML-2006, Athens, Georgia, USA, 89–96.

    Google Scholar

    Lukasiewicz T., Straccia U.2007a. Tightly integrated fuzzy Description Logic programs under the answer set semantics for the Semantic Web. In Proceedings of the RR-2007, Lecture Notes in Computer Science 4524, 289–298. Springer.

    Google Scholar

    Lukasiewicz T., Straccia U.2007b. Tightly Integrated Fuzzy Description Logic Programs Under the Answer Set Semantics for the Semantic Web. Report 1843-07-03, Institut für Informationssysteme, TU Wien, February 2007.

    Google Scholar

    Lukasiewicz T., Straccia U.2008. Managing uncertainty and vagueness in description logics for the Semantic Web. Web Semantics: Science, Services and Agents on the World Wide Web6(4), 291–308.

    Google Scholar

    Lukasiewicz T., Straccia U.2009. Description Logic programs under probabilistic uncertainty and fuzzy vagueness. International Journal of Approximate Reasoning50, 837–853.

    Google Scholar

    Lutz C.1999. Reasoning with concrete domains. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, 90–95.

    Google Scholar

    Lutz C.2001. NEXPTIME-complete Description Logics with concrete domains. In Proceedings of the International Joint Conference on Automated Reasoning (IJCAR 2001), Lecture Notes in Artificial Intelligence 2083, 45–60. Springer.

    Google Scholar

    Ma Z. M.2006. Soft Computing in Ontologies and Semantic Web. Springer-Verlag.

    Google Scholar

    Ma Z. M., Yan L.2008. A literature overview of fuzzy database models. Journal of Information Science and Engineering24(1), 189–202.

    Google Scholar

    Mailis T. P., Stoilos G., Stamou G. B.2007. Expressive reasoning with horn rules and fuzzy Description Logics. In Proceedings of theRR 2007, Lecture Notes in Computer Science 4524, 43–57. Springer.

    Google Scholar

    Mailis T. P., Stoilos G., Simou N., Stamou G. B.2008. Tractable reasoning based on the Fuzzy EL++ algorithm. In Proceedings of the 4th International Workshop on Uncertainty Reasoning for the Semantic Web (URSW 2008), CEUR Workshop Proceedings 423, Karlsruhe, Germany.

    Google Scholar

    Meghini C., Sebastiani F., Straccia U. 1997. Reasoning about the form and content for multimedia objects. In Proceedings of AAAI 1997 Spring Symposium on Intelligent Integration and Use of Text, Image, Video and Audio, California, USA, 89–94.

    Google Scholar

    Meghini C., Sebastiani F., Straccia U.2001. A model of multimedia information retrieval. Journal of the ACM48(5), 909–970.

    Google Scholar

    Molitor R., Tresp C. B.2000. Extending Description Logics to vague knowledge in medicine. In Fuzzy Systems in Medicine, Szczepaniak, P., Lisboa, P. J. G. & Tsumoto, S. (eds). Studies in Fuzziness and Soft Computing 41, 617–635. Physica-Verlag HD.

    Google Scholar

    Nebel B.1990. Terminological reasoning is inherently intractable. Journal of Artificial Intelligence43, 235–249.

    Google Scholar

    Nováček V., Smrž P.2006. Empirical merging of ontologies—a proposal of universal uncertainty representation framework. In Proceedings of theESWC 2006, 4011, 65–79. Budva, Montenegro.

    Google Scholar

    OWL Implementations2001. W3C, http://www.w3.org/2001/sw/WebOnt/impls.

    Google Scholar

    Pan J. Z.2007. A flexible ontology reasoning architecture for the Semantic Web. IEEE Transaction on Knowledge and Data Engineering19(2), 246–260.

    Google Scholar

    Pan J. Z., Horrocks I.2006. OWL-Eu: adding customised data types into OWL. Journal of Web Semantics4(1), 29–49.

    Google Scholar

    Pan J. Z., Franconi E., Tessaris S., Stamou G., Tzouvaras V., Serafini L., Horrocks I., Glimm B.2004. Specification of Coordination of Rule and Ontology Languages. Technical report, Knowledge web Network of Excellence, EU-IST-2004-507482, Deliverable D2.5.1.

    Google Scholar

    Pan J. Z., Stoilos G., Stamou G., Tzouvaras V., Horrocks I.2006a.f-SWRL: a fuzzy extension of SWRL. Journal of Data Semantic (special issue on Emergent Semantics)4090, 28–46.

    Google Scholar

    Pan J. Z., Thomas E., Sleeman D.2006b. ONTOSEARCH2: searching and querying web ontologies. In Proceedings of the WWW/Internet 2006, Murcia, Spain, 211–218.

    Google Scholar

    Pan J. Z., Stamou G., Stoilos G., Thomas E.2007. Expressive querying over fuzzy DL-Lite ontologies. In Proceedings of the DL-2007, Bozen-Bolzano, Italy.

    Google Scholar

    Pan J. Z., Stamou G.B., Stoilos G., Taylor S., Thomas E.2008. Scalable querying service over fuzzy ontologies. In International World Wide Web Conference (WWW 08), Beijing, 575–584.

    Google Scholar

    Ragone A., Straccia U., Noia T. D., Sciascio E. D., Donini F. M2007. Vague knowledge bases for matchmaking in p2p e-marketplaces. In Proceedings of the ESWC 2007, Innsbruck, Austria, 414–428.

    Google Scholar

    Ragone A., Straccia U., Bobillo F., Di Noia T., Di Sciascio E., Donini F. M2008a. Fuzzy Description Logics for bilateral matchmaking in e-marketplaces. In Proceedings of theDescription Logics 2008, Dresden, Germany.

    Google Scholar

    Ragone A., Straccia U., Bobillo F., Di Noia T., Di Sciascio E., Donini F. M.2008b. A fuzzy Description Logic approach to bilateral matchmaking in electronic marketplaces. In Proceedings of theSEBD 2008, Mondello, Italy, 211–222.

    Google Scholar

    Ragone A., Straccia U., Bobillo F., Di Noia T., Di Sciascio E.2008c.Fuzzy bilateral matchmaking in e-marketplaces. 12th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2008), Lecture Notes in Computer Science 5179, 293–301. Springer.

    Google Scholar

    Sanchez E. (ed.). 2006. Fuzzy Logic and the Semantic Web. ElsevierAmsterdam.

    Google Scholar

    Sanchez E., Yamanoi T.2006. Fuzzy ontologies for the Semantic Web. Lecture Notes in Artificial Intelligence4027, 691–699.

    Google Scholar

    Sánchez D., Tettamanzi G.2004. Generalizing quantification in fuzzy Description Logic. In Proceedings of the 8th Fuzzy Days in Dortmund, Dortmund, Germany.

    Google Scholar

    Sánchez D., Tettamanzi G.2006. Reasoning and quantification in fuzzy Description Logics. Lecture Notes in Artificial Intelligence3846, 81–88.

    Google Scholar

    Sanjaa B., Tsoozol P.2007. Fuzzy and probability. In Proceedings of the International Forum on Strategic Technology (IFOST 2007), Ulaanbaatar, Mongolia, 141–143.

    Google Scholar

    Schlobach S., Klein M., Peelen L.2007. Description Logics with approximate definitions: precise modeling of vague concepts. In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 07), Hyderabad, India.

    Google Scholar

    Shadbolt N., Hall W., Berners-Lee T.2006. The Semantic Web revisited. IEEE Intelligent Systems21(3), 96–101.

    Google Scholar

    Simou N., Athanasiadis Th., Kollias S.2008a. An architecture for multimedia analysis and retrieval based on fuzzy Description Logics. In Proceedings of the 2nd K-Space PhD Students Workshop, 379, Paris, France.

    Google Scholar

    Simou N., Athanasiadis Th., Stoilos G., Kollias S.2008b. Image indexing and retrieval using expressive fuzzy Description Logics. Signal, Image and Video Processing2(4), 321–335.

    Google Scholar

    Simou N., Mailis T., Stoilos G., Stamou G.2010. Optimization techniques for fuzzy Description Logics. In Proceedings of the 23rd International Workshop on Description Logics (DL2010), CEUR-WS 573, Waterloo, Canada.

    Google Scholar

    Singh S., Dey L., Abulaish M.2004. A framework for extending fuzzy Description Logic to ontology based document processing. In Proceedings of the 2nd International Atlantic Web Intelligence Conference (AWIC 2004), Cancun, Mexico.

    Google Scholar

    Smets P.1997. Imperfect Information: Imprecision-Uncertainty, Uncertainty Management in Information Systems: From Needs to Solutions. Kluwer Academic Publishers, 225–254.

    Google Scholar

    Stasinos K., Georgios A.2007. Fuzzy-DL reasoning over unknown fuzzy degrees. In Proceedings of the 3rd International Workshop on Semantic Web and Web Semantics, Vilamoura, Portugal, 1312–1318.

    Google Scholar

    Straccia U.1998. A fuzzy Description Logic. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98), Madison, Wisconsin, USA, 594–599.

    Google Scholar

    Straccia U.2001. Reasoning within fuzzy Description Logics. Journal of Artificial Intelligence and Research14(1), 137–166.

    Google Scholar

    Straccia U.2004a. Transforming fuzzy Description Logics into classical description logics. In Proceedings of the 9th European Conference on Logics in Artificial Intelligence, Lisbon, Portugal, 385–399.

    Google Scholar

    Straccia U.2004b. Uncertainty in Description Logic Programs. Technical report ISTI-2004-TR-01, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy.

    Google Scholar

    Straccia U.2005a. Towards a fuzzy Description Logic for the Semantic Web. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), Crete, Greece, 167–181.

    Google Scholar

    Straccia U2005b. Description Logics with fuzzy concrete domains. In Proceedings of the UAI-2005. AUAI Press, 559–567.

    Google Scholar

    Straccia U.2005c. Fuzzy ALC with fuzzy concrete domains. In Proceeedings of the International Workshop on Description Logics (DL 2005), Edinburgh, Scotland, 96–103.

    Google Scholar

    Straccia U.2005d. Fuzzy Description Logics with Concrete Domains. Technical report 2005-TR-03, Istituto di Scienza e Tecnologie dell'Informazione, Consiglio Nazionale delle Ricerche, Pisa, Italy.

    Google Scholar

    Straccia U.2006a.A fuzzy Description Logic for the Semantic Web. In Fuzzy Logic and the Semantic Web, Capturing Intelligence, Ch. 4, Sanchez, E. (ed.). Elsevier, 73–90.

    Google Scholar

    Straccia U.2006b. Answering vague queries in Fuzzy DL-LITE. In Proceedings of the 11th International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems (IPMU-06), Paris, France, 2238–2245.

    Google Scholar

    Straccia U.2006c.Uncertainty and Description Logic Programs over lattices. In Capturing Intelligence: Fuzzy Logic and the Semantic Web, Sanchez, E. (ed.). Elsevier.

    Google Scholar

    Straccia U.2006d.Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems14(1), 1–16.

    Google Scholar

    Straccia U.2006e. Fuzzy Description Logic programs. In Proceedings IPMU-2006, Paris, France.

    Google Scholar

    Straccia U.2008. Managing uncertainty and vagueness in Description Logics, Logic Programs and Description Logic Programs. In Reasoning Web, Baroglio, C., Bonatti, P.A., Małuszyński, J., Marchiori, M., Polleres, A. & Schaffert, S. (eds). Lecture Notes in Computer Science 5224, 54–103. Springer.

    Google Scholar

    Straccia U.2009a. Multi-criteria decision making in Fuzzy Description logics: a first step. In Proceedings of the 13th International Conference on Knowledge-Based & Intelligent Information & Engineering Systems (KES-09), Santiago, Chile.

    Google Scholar

    Straccia U.2009b. Towards spatial reasoning in fuzzy Description Logics. In Proceedings of the 2009 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE-09), Jeju Island, Korea.

    Google Scholar

    Straccia U.2009c. SoftFacts: A Top-k Retrieval Engine for a Tractable Description Logic Accessing Relational Databases. Technical report, http://www.straccia.info/software/SoftFacts/SoftFacts.html.

    Google Scholar

    Straccia U.2010. An ontology mediated multimedia information retrieval system. In Proceedings of the the 40th International Symposium on Multiple-Valued Logic (ISMVL-10), Barcelona, Spain, 319–324.

    Google Scholar

    Straccia U., Bobillo F.2007. Mixed integer programming, general concept inclusions and fuzzy Description Logics. Mathware & Soft Computing14(3), 247–259.

    Google Scholar

    Straccia U., Visco G.2007. DLMedia: an ontology mediated multimedia information retrieval system. In Proceeedings of the International Workshop on Description Logics (DL 2007), 250, Insbruck, Austria.

    Google Scholar

    Stoilos G., Stamou G.2007. Extending fuzzy Description Logics for the Semantic Web. In Proceeding of the 3rd International Workshop on OWL: Experiences and Directions (OWLED 2007), Innsbruck, Austria.

    Google Scholar

    Stoilos G., Stamou G.2009. A framework for reasoning with expressive continuous fuzzy Description Logics. In Proceedings of the 22nd International Workshop on Description Logics (DL 2009), Oxford, UK.

    Google Scholar

    Stoilos G., Stamou G., Tzouvaras V.2005a. A fuzzy Description Logic for multimedia knowledge representation. In Proceedings of the 2005 International Workshop on Multimedia and the Semantic Web.

    Google Scholar

    Stoilos G., Stamou G., Tzouvaras V.2005b. The fuzzy Description Logic f-SHIN. In Proceedings of the International Workshop on Uncertainty Reasoning for the Semantic Web, Galway, Ireland, 67–76.

    Google Scholar

    Stoilos G., Stamou G., Tzouvaras V.2005c. Fuzzy OWL: uncertainty and the Semantic Web. In Proceedings of the 2005 International Workshop on OWL: Experience and Directions, Galway, Ireland.

    Google Scholar

    Stoilos G., Stamou G., Tzouvaras V., Pan J. Z., Horrock I.2005d. A fuzzy Description Logic for multimedia knowledge representation. In Proceedings of the International Workshop on Multimedia and the Semantic Web.

    Google Scholar

    Stoilos G., Stamou G., Pan J. Z.2006a. Handling imprecise knowledge with fuzzy Description Logic. In Proceedings of the 2006 International Workshop on Description Logics, Windermere, Lake District, UK.

    Google Scholar

    Stoilos G., Straccia U., Stamou G. B.2006b. General concept inclusions in fuzzy Description Logics. In Proceedings of the 17th European Conference on Artificial Intelligence, Riva del Garda, Italy, 457–461.

    Google Scholar

    Stoilos G., Simous N., Stamou G., Kollias S.2006c.Uncertainty and the Semantic Web. IEEE Intelligent Systems21(5), 84–87.

    Google Scholar

    Stoilos G., Stamou G. B., Pan J. Z., Tzouvaras V., Horrocks I.2007. Reasoning with very expressive fuzzy Description Logics. Journal of Artificial Intelligence Research30(8), 273–320.

    Google Scholar

    Stoilos G., Stamou G., Kollias S.2008a. Reasoning with qualified cardinality restrictions in fuzzy Description Logics. In Proceedings of the 17th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008). IEEE Computer Society, 637–644.

    Google Scholar

    Stoilos G., Stamou G., Pan J. Z.2008b. Classifying fuzzy subsumption in fuzzy-EL+. In Proceedings of the 21st International Workshop on Description Logics (DL 2008), CEUR Workshop Proceedings, 353, Dresden, Germany.

    Google Scholar

    Stoilos G., Stamou G., Pan J. Z.2010. Fuzzy extensions of OWL: logical properties and reduction to fuzzy Description Logics. International Journal of Approximate Reasoning51(6), 656–679.

    Google Scholar

    Technical Group Charter. FuzzyRuleML, http://image.ntua.gr/FuzzyRuleML/.

    Google Scholar

    Tresp C., Molitor R.1998. A Description Logic for vague knowledge. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, England.

    Google Scholar

    Venetis T., Stoilos G., Stamou G., Kollias S.2007. f-DLPs: extending Description Logic programs with fuzzy sets and fuzzy logic. In Proceedings FUZZ-IEEE-2007, London, UK.

    Google Scholar

    Vitucci N., Arrigoni Neri M., Gini G.2010. Semantic-aided visual grasping using a fuzzy Description Logic. In Proceedings of 4th International Conference on CogSys 2010, ETH Zurich, Switzerland.

    Google Scholar

    Vojtáš P.2006. A Fuzzy EL description logic with crisp roles and fuzzy aggregation for web consulting. In Information Processing and Management under Uncertainty. Éditions EDK, 1834–1841.

    Google Scholar

    Vojtáš P.2007. EL description logic with aggregation of user preference concepts. In Information Modeling and Knowledge Bases XVIII, Duží, M., Jaakkola, H., Kiyoki, Y. & Kangassalo, H. (eds). IOS Press, 154–165.

    Google Scholar

    Wang H. L., Ma Z. M.2008. A decidable fuzzy Description Logic F-ALC(G). In Proceedings of the 19th International Conference on Database and Expert Systems Applications (DEXA 2008), Turin, Italy, 116–123.

    Google Scholar

    Wang X., Ma Z. M., Yan L., Meng X. F.2008. Vague-SWRL: a fuzzy extension of SWRL. In Proceedings of the Web Reasoning and Rule System (RR 2008), Karlsruhe, Germany, Lecture Notes in Computer Science 5341, 232–233.

    Google Scholar

    Wang H. L., Ma Z. M., Yin J.2009a. FRESG: a kind of fuzzy Description Logic reasoner. In Proceedings of the DEXA 2009, Linz, Austria, 443–450.

    Google Scholar

    Wang X., Ma Z. M., Yan L., Cheng J.2009b. If-Then and If-Then-Unless rules in the Semantic Web. In Proceedings of the Web Intelligence 2009, Milan, Italy, 357–360.

    Google Scholar

    Wang X., Ma Z. M., Xu C.M., Cheng J.W.2009. Nonmonotonic fuzzy rules in the Semantic Web. Proceedings of the 2009 International Conference on Fuzzy Systems and Knowledge Discovery, August 14–16, 2009, Tianjin, China, 275–279.

    Google Scholar

    Xu B. W., Kang D. Z., Lu J. J., Li Y. H., Jiang J. X.2005. Mapping fuzzy concepts between fuzzy ontologies. In Proceeding of the KES 2005, Melbourne, Australia, 199–205.

    Google Scholar

    Yao Y. Y.1998. A comparative study of fuzzy sets and rough sets. Information Sciences109(1–4), 227–242.

    Google Scholar

    Yen J.1991. Generalising term subsumption languages to fuzzy logic. In Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI-91), Sydney, Australia, 472–477.

    Google Scholar

    Zadeh L. A.1965. Fuzzy sets. Information and Control8(3), 338–353.

    Google Scholar

    Zadeh L. A.1978. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Systems1(1), 3–28.

    Google Scholar

    Zhang L., Yu Y., Zhou J., Lin C., Yang Y.2005. An enhanced model for searching in semantic portals. In Proceedings of the International WWW Conference Committee, Chiba, Japan.

    Google Scholar

    Zhang C., Wu J., Hu Z.2007. Epistemic semantics based Bayes rules for fuzzy Description Logics in Semantic Web. In Proceedings of the 3rd International Conference on Semantics, Knowledge and Grid (SKG 2007), Xi'an, China, 318–321.

    Google Scholar

    Zhang F., Ma Z. M., Yan L.2008. Representation and reasoning of fuzzy ER model with description logic. In Proceedings of the 17th IEEE International Conference on Fuzzy Systems (FUZZ-IEEE 2008). IEEE Computer Society, 1358–1365.

    Google Scholar

    Zhang F., Ma Z. M., Cheng J., Meng X.2009. Fuzzy Semantic Web ontology learning from fuzzy UML model. In Proceedings of the 18th ACM Conference on Information and Knowledge Management (CIKM 2009), Hong Kong, China, 1007–1016.

    Google Scholar

    Zhao J., Boley H.2008. Combining fuzzy Description Logics and fuzzy logic programs. In Proceedings of IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology (WI-IAT 2008) Workshops, Sydney, Australia.

    Google Scholar

    Zhao J., Boley H., Du W.2009. Knowledge representation and consistency checking in a norm-parameterized fuzzy Description Logic. In Proceedings of the 2009 International Conference on Intelligent Computing (ICIC 2009), Ulsan, South Korea, Lecture Notes in Artificial Intelligence 5755, 111–123.

    Google Scholar

  • Cite this article

    Z. M. Ma, Fu Zhang, Hailong Wang, Li Yan. 2013. An overview of fuzzy Description Logics for the Semantic Web. The Knowledge Engineering Review 28(1)1−34, doi: 10.1017/S0269888912000306
    Z. M. Ma, Fu Zhang, Hailong Wang, Li Yan. 2013. An overview of fuzzy Description Logics for the Semantic Web. The Knowledge Engineering Review 28(1)1−34, doi: 10.1017/S0269888912000306
    shu
Download PDF

Article Metrics

Article views(17) PDF downloads(81)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

An overview of fuzzy Description Logics for the Semantic Web

  • 1.

    College of Information Science and Engineering

  • 2.

    School of Software

  • Published online: 31 October 2012
The Knowledge Engineering Review  28,  2013, 28(1): 1−34  |  Cite this article

Abstract: Abstract: Information imprecision and uncertainty exist in many real world applications, and such information would be retrieved, processed, shared, reused, and aligned in the maximum automatic way possible. As a popular family of formally well-founded and decidable knowledge representation languages, fuzzy Description Logics (fuzzy DLs), which extend DLs with fuzzy logic, are very well suited to cover for representing and reasoning with imprecision and uncertainty. Thus, a requirement naturally arises in many practical applications of knowledge-based systems, in particular the Semantic Web, because DLs are the logical foundation of the Semantic Web. Currently, there have been lots of fuzzy extensions of DLs with Zadeh's fuzzy logic theory papers published, to investigate fuzzy DLs and more importantly serve as identifying the direction of fuzzy DLs study. In this paper, we aim at providing a comprehensive literature overview of fuzzy DLs, and we focus our attention on fuzzy extensions of DLs based on fuzzy set theory. Other relevant formalisms that are based on approaches like probabilistic theory or non-monotonic logics are covered elsewhere. In detail, we first introduce the existing fuzzy DLs (including the syntax, semantics, knowledge base, and reasoning algorithm) from the origin, development (from weaker to stronger in expressive power), some special techniques, and so on. Then, the other important issues on fuzzy DLs, such as reasoning, querying, applications, and directions for future research, are also discussed in detail. Also, we make a comparison and analysis.

    HTML

    Acknowledgments

    • The authors wish to thank the anonymous referees for their valuable comments and suggestions. The work is supported by the National Natural Science Foundation of China (60873010, 61073139) and the Fundamental Research Funds for the Central Universities (N090504005 and N090604012), and in part by the Program for New Century Excellent Talents in University (NCET-05-0288).

    Rights and permissions
    • Copyright © Cambridge University Press 20122012Cambridge University Press
References (182)
  • About this article
    Cite this article
    Z. M. Ma, Fu Zhang, Hailong Wang, Li Yan. 2013. An overview of fuzzy Description Logics for the Semantic Web. The Knowledge Engineering Review 28(1)1−34, doi: 10.1017/S0269888912000306
    Z. M. Ma, Fu Zhang, Hailong Wang, Li Yan. 2013. An overview of fuzzy Description Logics for the Semantic Web. The Knowledge Engineering Review 28(1)1−34, doi: 10.1017/S0269888912000306
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return