Skip to main content Accessibility help
×
Home

An overview of fuzzy Description Logics for the Semantic Web

  • Z. M. Ma (a1), Fu Zhang (a1), Hailong Wang (a1) and Li Yan (a2)

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.

Copyright

References

Hide All
Agarwal, S., Hitzler, P. 2005. Modeling fuzzy rules with description logics. In Proceedings of Workshop on OWL Experiences and Directions, Galway, Ireland.
Agarwal, S., Lamparter, S. 2005. SMART: a semantic matchmaking portal for electronic markets. In Proceedings CEC-2005. IEEE Computer Society, 405408.
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, 452457.
Baader, F., Hanschke, P. 1991b. A Scheme for Integrating Concrete Domains into Concept Languages. Research Report RR-91-10, Kaiserslautern. DFKI.
Baader, F., Calvanese, D., McGuinness, D. (eds) 2003. The Description Logic Handbook: Theory, Implementation and Applications. Cambridge University Press.
Berners-Lee, T., Hendler, J., Lassila, O. 2001. The Semantic Web. The Scientific American 284(5), 3443.
Bobillo, F. 2008. Managing Vagueness in Ontologies. PhD thesis, University of Granada, Spain.
Bobillo, F., Straccia, U. 2007. A fuzzy Description Logic with Product T-norm. In Proceedings of the FUZZ-IEEE 2007, London, UK, 1–6.
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.
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.
Bobillo, F., Straccia, U. 2009a. Supporting fuzzy rough sets in fuzzy Description Logics. In Proceedings of the ECSQARU 2009, Verona, Italy, 676–687.
Bobillo, F., Straccia, U. 2009b. Fuzzy Description Logics with general t-norms and datatypes. Fuzzy Sets and Systems 160(23), 33823402.
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.
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.
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.
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.
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.
Bobillo, F., Delgado, M., Gómez-Romero, J. 2007b. DeLoean [CP/OL]. http://webdiis.unizar.es/~fbobillo/delorean.php.
Bobillo, F., Delgado, M., Gómez-Romero, J. 2008. Representation of context-dependant knowledge in ontologies: a model and an application. Expert Systems with Applications 35(4), 18991908.
Bobillo, F., Delgado, M., Gómez-Romero, J. 2009. Crisp representations and reasoning for fuzzy ontologies. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 17(4), 501530.
Bobillo, F., Bou, F., Straccia, U. 2011. On the failure of the finite model property in some Fuzzy Description Logics. Fuzzy Sets and Systems 172(1), 112.
Bonatti, P., Tettamanzi, A. 2005. Some complexity results on fuzzy Description Logics. In International Workshop on Fuzzy Logic and Applications. Springer Verlag.
Bosc, P., Kraft, D. H., Petry, F. E. 2005. Fuzzy sets in database and information systems: status and opportunities. Fuzzy Sets and Systems 156(3), 418426.
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), 3437.
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.
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.
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.
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.
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 Reasoning 39(3), 385429.
Cat Ho, N., Wechler, W. 1990. Hedge algebras: an algebraic approach to structure of sets of linguistic truth values. Fuzzy Sets and Systems 35, 281293.
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 the 40th AIAA/ASME/ASCE/AHS/ASC Structures, Structural Dynamics, and Materials Conference and Exhibit, St. Louis, MO, 2860–2874.
Cheng, J., Ma, Z. M., Zhang, F., Wang, X. 2008a. Conjunctive query answering over an f-ALC knowledge base. In Proceedings of the Web Intelligence/IAT Workshops 2008, Sydney, Australia, 279–282.
Cheng, J., Ma, Z. M., Yan, L., Wang, H. 2008b. Querying over fuzzy Description Logic. Wuhan University Journal of Natural Sciences 13(4), 429434.
Cheng, J., Ma, Z. M., Zhang, F., Wang, X 2009a. Deciding query entailment in fuzzy Description Logic knowledge bases. In Proceedings of the DEXA 2009, Linz, Austria, 830–837.
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.
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.
Cuenca Grau, B., Horrocks, I., Motik, B., Parsia, B., Patel-Schneider, P., Sattler, U. 2008. OWL 2: the next step for OWL. Journal of Semantics 6(4), 309322.
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.
Dasiopoulou, S., Kompatsiaris, I., Strintzis, M. 2009. Applying fuzzy DLs in the extraction of image semantics. Journal on Data Semantics 14, 105132.
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, 379393.
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.
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.
Dubois, D., Prade, H. 2001. Possibility theory, probability theory and many-valued logics: a clarification. Annals of Mathematics and Artificial Intelligence 32(1–4), 3566.
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, 101114.
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.
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.
Gao, M., Liu, C. 2005. Extending OWL by fuzzy Description Logic. In Proceedings of the IEEE-ICTAI 2005, Hong Kong, China.
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.
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.
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 Experience 9(1), 5159.
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.
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.
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.
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.
Hajek, P. 2005. Making fuzzy Description Logic more general. Fuzzy Sets and Systems 154(1), 115.
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.
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.
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/.
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.
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 Informatics 7(3), 294305.
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.
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.
Jiang, Y., Tang, Y., Wang, J., Tang, S. 2009a. Reasoning within intuitionistic fuzzy rough description logics. Information Sciences 179(14), 23622378.
Jiang, Y., Wang, J., Deng, P., Tang, S. 2009b. Reasoning within expressive fuzzy rough description logics. Fuzzy Sets and Systems 160(23), 34033424.
Jiang, Y., Wang, J., Tang, S., Xiao, B. 2009c. Reasoning with rough description logics: an approximate concepts approach. Information Science 179(5), 600612.
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.
Keller, U., Heymans, S. 2008. Deciding fuzzy Description Logics by type elimination. In Proceedings of the URSW 2008, Karlsruhe, Germany.
Kifer, M., Subrahmanian, V. S. 1992. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335367.
Klir, G. J., Yuan, B. 1995. Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice-Hall.
Levy, A. Y., Rousset, M. C. 1998. Combining horn rules and description logics in CARIN. Artificial Intelligence 104, 165209.
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.
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, 11791188. Springer.
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.
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.
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 the APWeb 2007 and WAIM 2007, Huang Shan, China, 805–812.
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.
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.
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, 896902. Springer.
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 IGPL 14(6), 873888.
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.
Lu, J. J., Li, Y. H., Zhou, B., Kang, D. Z. 2008a. Reasoning within extended fuzzy description logic. Knowledge-Based Systems 22(1), 2837
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 the RSKT 2008, Chengdu, China, 395–402.
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.
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 Mining 1(4), 384400.
Lukasiewicz, T. 2005a. Probabilistic Description Logic Programs. In Proceedings of the ECSQARU-2005, Barcelona, Spain, Lecture Notes in Computer Science 3571, 737–749.
Lukasiewicz, T. 2005b. Stratified probabilistic Description Logic Programs. In Proceedings of the URSW-2005, Galway, Ireland, 87–97.
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.
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.
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.
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 Web 6(4), 291308.
Lukasiewicz, T., Straccia, U. 2009. Description Logic programs under probabilistic uncertainty and fuzzy vagueness. International Journal of Approximate Reasoning 50, 837853.
Lutz, C. 1999. Reasoning with concrete domains. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI'99), Stockholm, Sweden, 90–95.
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.
Ma, Z. M. 2006. Soft Computing in Ontologies and Semantic Web. Springer-Verlag.
Ma, Z. M., Yan, L. 2008. A literature overview of fuzzy database models. Journal of Information Science and Engineering 24(1), 189202.
Mailis, T. P., Stoilos, G., Stamou, G. B. 2007. Expressive reasoning with horn rules and fuzzy Description Logics. In Proceedings of the RR 2007, Lecture Notes in Computer Science 4524, 43–57. Springer.
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.
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.
Meghini, C., Sebastiani, F., Straccia, U. 2001. A model of multimedia information retrieval. Journal of the ACM 48(5), 909970.
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.
Nebel, B. 1990. Terminological reasoning is inherently intractable. Journal of Artificial Intelligence 43, 235249.
Nováček, V., Smrž, P. 2006. Empirical merging of ontologies—a proposal of universal uncertainty representation framework. In Proceedings of the ESWC 2006, 4011, 65–79. Budva, Montenegro.
OWL Implementations 2001. W3C, http://www.w3.org/2001/sw/WebOnt/impls.
Pan, J. Z. 2007. A flexible ontology reasoning architecture for the Semantic Web. IEEE Transaction on Knowledge and Data Engineering 19(2), 246260.
Pan, J. Z., Horrocks, I. 2006. OWL-Eu: adding customised data types into OWL. Journal of Web Semantics 4(1), 2949.
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.
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, 2846.
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.
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.
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.
Ragone, A., Straccia, U., Noia, T. D., Sciascio, E. D., Donini, F. M 2007. Vague knowledge bases for matchmaking in p2p e-marketplaces. In Proceedings of the ESWC 2007, Innsbruck, Austria, 414–428.
Ragone, A., Straccia, U., Bobillo, F., Di Noia, T., Di Sciascio, E., Donini, F. M 2008a. Fuzzy Description Logics for bilateral matchmaking in e-marketplaces. In Proceedings of the Description Logics 2008, Dresden, Germany.
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 the SEBD 2008, Mondello, Italy, 211–222.
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, 293301. Springer.
Sanchez, E. (ed.). 2006. Fuzzy Logic and the Semantic Web. Elsevier Amsterdam.
Sanchez, E., Yamanoi, T. 2006. Fuzzy ontologies for the Semantic Web. Lecture Notes in Artificial Intelligence 4027, 691699.
Sánchez, D., Tettamanzi, G. 2004. Generalizing quantification in fuzzy Description Logic. In Proceedings of the 8th Fuzzy Days in Dortmund, Dortmund, Germany.
Sánchez, D., Tettamanzi, G. 2006. Reasoning and quantification in fuzzy Description Logics. Lecture Notes in Artificial Intelligence 3846, 8188.
Sanjaa, B., Tsoozol, P. 2007. Fuzzy and probability. In Proceedings of the International Forum on Strategic Technology (IFOST 2007), Ulaanbaatar, Mongolia, 141–143.
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.
Shadbolt, N., Hall, W., Berners-Lee, T. 2006. The Semantic Web revisited. IEEE Intelligent Systems 21(3), 96101.
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.
Simou, N., Athanasiadis, Th., Stoilos, G., Kollias, S. 2008b. Image indexing and retrieval using expressive fuzzy Description Logics. Signal, Image and Video Processing 2(4), 321–335.
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.
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.
Smets, P. 1997. Imperfect Information: Imprecision-Uncertainty, Uncertainty Management in Information Systems: From Needs to Solutions. Kluwer Academic Publishers, 225254.
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.
Straccia, U. 1998. A fuzzy Description Logic. In Proceedings of the 15th National Conference on Artificial Intelligence (AAAI-98), Madison, Wisconsin, USA, 594–599.
Straccia, U. 2001. Reasoning within fuzzy Description Logics. Journal of Artificial Intelligence and Research 14(1), 137166.
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.
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.
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.
Straccia, U 2005b. Description Logics with fuzzy concrete domains. In Proceedings of the UAI-2005. AUAI Press, 559–567.
Straccia, U. 2005c. Fuzzy ALC with fuzzy concrete domains. In Proceeedings of the International Workshop on Description Logics (DL 2005), Edinburgh, Scotland, 96–103.
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.
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, 7390.
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.
Straccia, U. 2006c. Uncertainty and Description Logic Programs over lattices. In Capturing Intelligence: Fuzzy Logic and the Semantic Web, Sanchez, E. (ed.). Elsevier.
Straccia, U. 2006d. Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14(1), 116.
Straccia, U. 2006e. Fuzzy Description Logic programs. In Proceedings IPMU-2006, Paris, France.
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.
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.
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.
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.
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.
Straccia, U., Bobillo, F. 2007. Mixed integer programming, general concept inclusions and fuzzy Description Logics. Mathware & Soft Computing 14(3), 247259.
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.
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.
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.
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.
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.
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.
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.
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.
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.
Stoilos, G., Simous, N., Stamou, G., Kollias, S. 2006c. Uncertainty and the Semantic Web. IEEE Intelligent Systems 21(5), 8487.
Stoilos, G., Stamou, G. B., Pan, J. Z., Tzouvaras, V., Horrocks, I. 2007. Reasoning with very expressive fuzzy Description Logics. Journal of Artificial Intelligence Research 30(8), 273320.
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.
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.
Stoilos, G., Stamou, G., Pan, J. Z. 2010. Fuzzy extensions of OWL: logical properties and reduction to fuzzy Description Logics. International Journal of Approximate Reasoning 51(6), 656679.
Technical Group Charter. FuzzyRuleML, http://image.ntua.gr/FuzzyRuleML/.
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.
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.
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.
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, 18341841.
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, 154165.
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.
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.
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.
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.
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.
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.
Yao, Y. Y. 1998. A comparative study of fuzzy sets and rough sets. Information Sciences 109(1–4), 227242.
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.
Zadeh, L. A. 1965. Fuzzy sets. Information and Control 8(3), 338353.
Zadeh, L. A. 1978. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Systems 1(1), 328.
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.
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.
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.
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.
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.
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.

An overview of fuzzy Description Logics for the Semantic Web

  • Z. M. Ma (a1), Fu Zhang (a1), Hailong Wang (a1) and Li Yan (a2)

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed