Hostname: page-component-76fb5796d-wq484 Total loading time: 0 Render date: 2024-04-25T09:24:36.768Z Has data issue: false hasContentIssue false
  • English
  • Français

An overview of fuzzy Description Logics for the Semantic Web

Published online by Cambridge University Press:  31 October 2012

Z. M. Ma ,
Fu Zhang ,
Hailong Wang  and
Li Yan
Z. M. Ma
Affiliation:
College of Information Science and Engineering, Northeastern University, Shenyang 110819, China; e-mail: mazongmin@ise.neu.edu.cn, zhangfu@ise.neu.edu.cn, asdf036@163.com
Fu Zhang
Affiliation:
College of Information Science and Engineering, Northeastern University, Shenyang 110819, China; e-mail: mazongmin@ise.neu.edu.cn, zhangfu@ise.neu.edu.cn, asdf036@163.com
Hailong Wang
Affiliation:
College of Information Science and Engineering, Northeastern University, Shenyang 110819, China; e-mail: mazongmin@ise.neu.edu.cn, zhangfu@ise.neu.edu.cn, asdf036@163.com
Li Yan
Affiliation:
School of Software, Northeastern University, Shenyang 110819, China; e-mail: yanl@swc.neu.edu.cn
Get access Rights & Permissions [Opens in a new window]

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.

Type
Articles
Information
The Knowledge Engineering Review , Volume 28 , Issue 1 , March 2013 , pp. 1 - 34
Copyright
Copyright © Cambridge University Press 2012

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

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 American 284(5), 34–43.CrossRefGoogle 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 the FUZZ-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 Systems 160(23), 3382–3402.CrossRefGoogle 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.CrossRefGoogle 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 Applications 35(4), 1899–1908.CrossRefGoogle 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 Systems 17(4), 501–530.CrossRefGoogle Scholar
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), 1–12.CrossRefGoogle 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 Systems 156(3), 418–426.CrossRefGoogle 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 Reasoning 39(3), 385–429.CrossRefGoogle Scholar
Cat Ho, N., Wechler, W. 1990. Hedge algebras: an algebraic approach to structure of sets of linguistic truth values. Fuzzy Sets and Systems 35, 281–293.CrossRefGoogle 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 the 40th 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 the Web 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 Sciences 13(4), 429–434.CrossRefGoogle Scholar
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.CrossRefGoogle 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 Semantics 6(4), 309–322.CrossRefGoogle 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.CrossRefGoogle Scholar
Dasiopoulou, S., Kompatsiaris, I., Strintzis, M. 2009. Applying fuzzy DLs in the extraction of image semantics. Journal on Data Semantics 14, 105–132.CrossRefGoogle 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 Intelligence 32(1–4), 35–66.CrossRefGoogle 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.CrossRefGoogle 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.CrossRefGoogle 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.CrossRefGoogle 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 Experience 9(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 Systems 154(1), 1–15.CrossRefGoogle 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 Informatics 7(3), 294–305.CrossRefGoogle 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 Sciences 179(14), 2362–2378.CrossRefGoogle Scholar
Jiang, Y., Wang, J., Deng, P., Tang, S. 2009b. Reasoning within expressive fuzzy rough description logics. Fuzzy Sets and Systems 160(23), 3403–3424.CrossRefGoogle ScholarPubMed
Jiang, Y., Wang, J., Tang, S., Xiao, B. 2009c. Reasoning with rough description logics: an approximate concepts approach. Information Science 179(5), 600–612.CrossRefGoogle ScholarPubMed
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 the URSW 2008, Karlsruhe, Germany.Google Scholar
Kifer, M., Subrahmanian, V. S. 1992. Theory of generalized annotated logic programming and its applications. Journal of Logic Programming 12, 335–367.CrossRefGoogle 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 Intelligence 104, 165–209.CrossRefGoogle 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 the APWeb 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 IGPL 14(6), 873–888.CrossRefGoogle 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 Systems 22(1), 28–37CrossRefGoogle 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 the RSKT 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 Mining 1(4), 384–400.CrossRefGoogle 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.CrossRefGoogle 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 Web 6(4), 291–308.CrossRefGoogle Scholar
Lukasiewicz, T., Straccia, U. 2009. Description Logic programs under probabilistic uncertainty and fuzzy vagueness. International Journal of Approximate Reasoning 50, 837–853.CrossRefGoogle 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.CrossRefGoogle Scholar
Ma, Z. M. 2006. Soft Computing in Ontologies and Semantic Web. Springer-Verlag.CrossRefGoogle Scholar
Ma, Z. M., Yan, L. 2008. A literature overview of fuzzy database models. Journal of Information Science and Engineering 24(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 the RR 2007, Lecture Notes in Computer Science 4524, 43–57. Springer.CrossRefGoogle 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 ACM 48(5), 909–970.CrossRefGoogle 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.CrossRefGoogle Scholar
Nebel, B. 1990. Terminological reasoning is inherently intractable. Journal of Artificial Intelligence 43, 235–249.CrossRefGoogle Scholar
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.CrossRefGoogle Scholar
OWL Implementations 2001. 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 Engineering 19(2), 246–260.CrossRefGoogle Scholar
Pan, J. Z., Horrocks, I. 2006. OWL-Eu: adding customised data types into OWL. Journal of Web Semantics 4(1), 29–49.CrossRefGoogle 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. M 2007. Vague knowledge bases for matchmaking in p2p e-marketplaces. In Proceedings of the ESWC 2007, Innsbruck, Austria, 414–428.CrossRefGoogle Scholar
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.CrossRefGoogle 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 the SEBD 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. Elsevier Amsterdam.Google Scholar
Sanchez, E., Yamanoi, T. 2006. Fuzzy ontologies for the Semantic Web. Lecture Notes in Artificial Intelligence 4027, 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 Intelligence 3846, 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 Systems 21(3), 96–101.CrossRefGoogle 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.CrossRefGoogle Scholar
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.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.CrossRefGoogle 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 Research 14(1), 137–166.CrossRefGoogle 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, U 2005b. 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.CrossRefGoogle 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 Systems 14(1), 1–16.CrossRefGoogle 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.CrossRefGoogle 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.CrossRefGoogle 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.CrossRefGoogle 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 Computing 14(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 Systems 21(5), 84–87.CrossRefGoogle 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 Research 30(8), 273–320.CrossRefGoogle 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 Reasoning 51(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.CrossRefGoogle 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.CrossRefGoogle 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 Sciences 109(1–4), 227–242.CrossRefGoogle 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 Control 8(3), 338–353.CrossRefGoogle Scholar
Zadeh, L. A. 1978. Fuzzy sets as a basis for a theory of possibility. Fuzzy Sets Systems 1(1), 3–28.CrossRefGoogle 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.CrossRefGoogle 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.CrossRefGoogle 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