research-article

f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group

Authors:

Z. M. MaAuthors Info & Claims

SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing

Pages 320 - 325

https://doi.org/10.1145/2245276.2245340

Published: 26 March 2012 Publication History

Abstract

To satisfy the need of representing and reasoning with fuzzy knowledge and fuzzy data information in the context of the Semantic Web, an expressive fuzzy Description Logic (DL) named f-SROIQ(G) is proposed in this paper. The fuzzy DL f-SROIQ(G) can support not only the representation and reasoning of complex fuzzy OWL 2 concept knowledge, but also fuzzy data information with customized fuzzy data types and predicates. Briefly, the paper makes the following main contributions: (i) we propose a new fuzzy DL f-SROIQ(G), and define its syntax, semantics and knowledge bases. (ii) we propose a tableau algorithm for deciding the reasoning problems of f-SROIQ(G). The work is a step forward in the direction of fuzzy DLs, the representation and reasoning capabilities of f-SROIQ(G) go beyond the existing fuzzy DLs, and it may lay a theoretical foundation for the representation and reasoning of fuzzy data information in the Semantic Web.

References

[1]

Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web. Scientific American 284(5), pp. 34--43, (2001).

[2]

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

Digital Library

[3]

Bobillo, F., Straccia, U.: An OWL Ontology for Fuzzy OWL 2. In ISMIS 2009, LNAI 5722, pp. 151--160, (2009).

Digital Library

[4]

Bobillo, F.: Managing Vagueness in Ontologies. PhD Dissertation, University of Granada, Spain, (2008).

[5]

Bobillo, F., Delgado, M., Romero, J.: Optimizing the crisp representation of the fuzzy description logic SROIQ. In Proc. of the 3rd ISWC Workshop on Uncertainty Reasoning for the Semantic Web, (2007).

[6]

Cuenca Grau, B., Horrocks, I., et al.: OWL 2: The next step for OWL. Web Semantics: Science, Services and Agents on the World Wide Web 6(4), pp. 309--322, (2008).

Digital Library

[7]

Lukasiewicza, T., Stracciab, U.: Managing uncertainty and vagueness in description logics for the Semantic Web. Web Semantics: Science. Services and Agents on the World Wide Web 6, pp. 291--308, (2008).

Digital Library

[8]

Pan, J. Z.: A Flexible Ontology Reasoning Architecture for the Semantic Web. IEEE Transaction on Knowledge and Data Engineering 19(2), pp. 246--260, (2007).

Digital Library

[9]

Straccia, U.: Fuzzy ALC with fuzzy concrete domains. Proceedings of the 9th European Conference on Logics in Artificial Intelligence, pp. 385--399, (2004).

[10]

Straccia, U.: Reasoning within fuzzy description logics. J. Artificial Intelligence Research 14(1), pp. 137--166, (2001).

Digital Library

[11]

Straccia, U.: Towards a fuzzy description logic for the semantic web. In Proceedings of the 2nd European Semantic Web Conference (ESWC 2005), pp. 167--181, (2005).

Digital Library

[12]

Straccia, U., Bobillo, F.: Mixed integer programming, general concept inclusions and fuzzy description logics. In Mathware & Soft Computing 14(3), pp. 247--259, (2007).

[13]

Sánchez, E., (Editor).: Fuzzy Logic and the Semantic Web. Elsevier, (2006).

[14]

Sánchez, D., Tettamanzi, G.: Generalizing quantification in fuzzy description logic. Advances in Soft Computing 2, pp. 397--411, (2005).

[15]

Stoilos, G., Stamou, G., Kollias, S.: Reasoning with qualified cardinality restrictions in fuzzy Description Logics. In Proc. of FUZZ-IEEE 2008, pp. 637--644, (2008).

[16]

Stoilos, G., et al.: Fuzzy extensions of OWL: Logical properties and reduction to Fuzzy Description Logics. Int. J. of Approximate Reasoning 51, pp. 656--679, (2010).

Digital Library

[17]

Stoilos, G., Stamou, G.: Extending fuzzy description logics for the semantic web. In Proc. 3rd Int. Workshop on OWL: Experiences and Directions (OWLED), (2007).

[18]

Stoilos, G., Stamou, G., Tzouvaras, V.: Fuzzy OWL: Uncertainty and the Semantic Web. Proceedings of the 2005 International Workshop on OWL: Experience and Directions, (2005).

[19]

Stoilos, G., Stamou, G., Tzouvaras, V., et al.: Reasoning with very expression fuzzy description logics. J. Artificial Intelligence Research, 30(8), pp. 273--320, (2007).

Digital Library

[20]

W3C Mailing List, starts from 2004, Available: http://lists.w3.org/archives/public/public-swbp-wg/.

[21]

Wang, H. L., Ma, Z. M., Yan, L., Cheng, J. W.: A Fuzzy Description Logic with Fuzzy Data Type Group. In Proc. the 2008 IEEE International Conference on Fuzzy Systems, pp. 1534--1541. IEEE Press, Hong Kong (2008).

[22]

Wang, H. L., Ma, Z. M.: A Decidable Fuzzy Description Logic FALC(G). In Proc. of the 19th Int Conf on Database & Expert Systems Applications (DEXA 2008), pp. 116--123, (2008).

Digital Library

[23]

Wang, H. L., Ma, Z. M., et al.: FRESG: A Kind of Fuzzy Description Logic Reasoner. In Proc. of the 20th Int Conf on Database and Expert Systems Applications (DEXA 2009), pp. 443--450, (2009).

Digital Library

[24]

Yen, J.: Generalizing term subsumption languages to fuzzy logic. In Proc. of the 12th Int. Joint Conf. on Artificial Intelligence (IJCAI-91), pp. 472--477, (1991).

Digital Library

[25]

Zadeh, L A.: Fuzzy sets. Information and Control 8(3), pp. 338--353, (1965).

Cited By

Sikos L(2018)Handling Uncertainty and Vagueness in Network Knowledge Representation for Cyberthreat Intelligence2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)10.1109/FUZZ-IEEE.2018.8491686(1-6)Online publication date: 8-Jul-2018
https://dl.acm.org/doi/10.1109/FUZZ-IEEE.2018.8491686
Ma ZZhang FYan LCheng JMa ZZhang FYan LCheng J(2013)Fuzzy Description Logics and Fuzzy OntologiesFuzzy Knowledge Management for the Semantic Web10.1007/978-3-642-39283-2_4(61-97)Online publication date: 26-Sep-2013
https://doi.org/10.1007/978-3-642-39283-2_4

Index Terms

f-SROIQ(G): an expressive fuzzy Description Logic supporting fuzzy data type group
1. Computing methodologies
  1. Modeling and simulation
2. Theory of computation
  1. Logic

Recommendations

Representing and reasoning on fuzzy UML models: A description logic approach

UML is the most widely accepted formalism for the analysis and design of software. Recent proposals to improve the ability of reasoning automatically on UML models. However, information imprecision and uncertainty exist in many real-world applications ...
The Logical Difference for Fuzzy Ontologies
CIT '10: Proceedings of the 2010 10th IEEE International Conference on Computer and Information Technology

Ontologies undergo changes for reasons such as changes in knowledge, meeting varying application requirements. Thus, for different versions of a considered ontology, it is important to clarify the difference between them. The difference above refers to ...
Extracting knowledge from fuzzy relational databases with description logic

In recent years, how to extract useful information and knowledge from fuzzy relational databases has received much attention. Based on the high expressive power and effective reasoning service of Description Logics (DLs), this paper proposes a DL ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SAC '12: Proceedings of the 27th Annual ACM Symposium on Applied Computing

March 2012

2179 pages

ISBN:9781450308571

DOI:10.1145/2245276

Conference Chairs:
Sascha Ossowski
University Rey Juan Carlos, Spain
,
Paola Lecca
The Microsoft Research - University of Trento COSBI, Italy

Copyright © 2012 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 March 2012

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Fundamental Research Funds for the Central Universities
Program for New Century Excellent Talents in University
National Natural Science Foundation of China

Conference

SAC 2012

Sponsor:

SIGAPP

SAC 2012: ACM Symposium on Applied Computing

March 26 - 30, 2012

Trento, Italy

Acceptance Rates

SAC '12 Paper Acceptance Rate 270 of 1,056 submissions, 26%;

Overall Acceptance Rate 1,650 of 6,669 submissions, 25%

Upcoming Conference

SAC '25

Sponsor:
sigapp

The 40th ACM/SIGAPP Symposium on Applied Computing

March 31 - April 4, 2025

Catania , Italy

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
142
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Sikos L(2018)Handling Uncertainty and Vagueness in Network Knowledge Representation for Cyberthreat Intelligence2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)10.1109/FUZZ-IEEE.2018.8491686(1-6)Online publication date: 8-Jul-2018
https://dl.acm.org/doi/10.1109/FUZZ-IEEE.2018.8491686
Ma ZZhang FYan LCheng JMa ZZhang FYan LCheng J(2013)Fuzzy Description Logics and Fuzzy OntologiesFuzzy Knowledge Management for the Semantic Web10.1007/978-3-642-39283-2_4(61-97)Online publication date: 26-Sep-2013
https://doi.org/10.1007/978-3-642-39283-2_4

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten