Reasoning with rough description logics: An approximate concepts approach

Information Sciences

Volumn 179, Issue 5, 2009, Pages 600-612

  Jiang, Yuncheng ^a   Wang, Ju ^a   Tang, Suqin ^a   Xiao, Bao ^a  

^a GUANGXI NORMAL UNIVERSITY   (China)

Author keywords

Approximate concepts; Concepts; Description logics; Rough description logics; Rough set theory

Indexed keywords

DATA DESCRIPTION; FUZZY SETS; INFORMATION THEORY; KNOWLEDGE REPRESENTATION; ONTOLOGY; SET THEORY;

APPROXIMATE CONCEPTS; CONCEPTS; DESCRIPTION LOGICS; EXISTING PROBLEMS; KNOWLEDGE REPRESENTATION AND REASONINGS; NUMBER RESTRICTIONS; REASONING ALGORITHMS; REASONING PROBLEMS; RESEARCH PROGRESSES; ROLE HIERARCHIES; ROUGH DESCRIPTION LOGICS; SATISFIABILITY;

ROUGH SET THEORY;

EID: 57649224228     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2008.10.021     Document Type: Article

References (52)

1. Baader F., Horrocks I., and Sattler U. Description logics. In: Staab S., and Studer R. (Eds). Handbook on Ontologies: International Handbooks on Information Systems (2004), Springer 3-28
2. Baader F., Horrocks I., and Sattler U. Description logics as ontology languages for the semantic Web. In: Hutter D., and Stephan W. (Eds). Mechanizing Mathematical Reasoning: Essays in Honor of J.H. Siekmann on the Occasion of His 60th Birthday (2005), Springer-Verlag 228-248
3. Baader F., and Nutt W. Basic description logics. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook: Theory, Implementation and Applications (2003), Cambridge University Press 47-100
4. Berardi D., Calvanese D., and Giacomo G.D. Reasoning on UML class diagrams. Artificial Intelligence 168 (2005) 70-118
5. Bone R.C. Definitions for sepsis and organ failure and guidelines for the use of innovative therapies in sepsis. Critical Care Medicine 20 (1992) 864-874
6. Borgida A., Lenzerini M., and Rosati R. Description logics for data bases. In: Baader F., Calvanese D., McGuinness D., Nardi D., and Patel-Schneider P. (Eds). The Description Logic Handbook: Theory, Implementation and Applications (2003), Cambridge University Press 472-494
7. Chen D., Yang W., and Li F. Measures of general fuzzy rough sets on a probabilistic space. Information Sciences 178 (2008) 3177-3187
8. Doherty P., Grabowski M., Lukaszewicz W., and Szalsa A. Towards a framework for approximate ontologies. Fundamenta Informaticae 57 (2003) 147-165
9. Duntsch I. A logic for rough sets. Theoretical Computer Science 179 (1997) 427-436
10. Fendel D. Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce (2001), Springer-Verlag
11. Haarslev V., and Mol1er R. RACER system description. In: Haarslev V., and Moller R. (Eds). Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001). Lecture Notes in Artificial Intelligence vol. 2083 (2001), Springer 701-706
12. Heinsohn J. Probabilistic description logics. In: de Mantara R.L., and Pool D. (Eds). Proceedings of the 10th Conference on Uncertainty in Artificial Intelligence (UAI 1994) (1994), Morgan Kaufman Publishers 311-318
13. Horrocks I., Patel-Schneider P.F., and Harmelen F.V. From SHIQ and RDF to OWL: the making of a Web ontology language. Journal of Web Semantics 1 (2003) 7-26
14. Horrocks I., and Sattler U. A tableau decision procedure for SHOIQ. Journal of Automated Reasoning 39 (2007) 249-276
15. Iturrioz L. Rough sets and three-valued structures. In: Orlowska E. (Ed). Logic at Work: Essays Dedicated to the Memory of Helena Rasiowa (Studies in Fuzziness and Soft Computing) (1999), Physica-Verlag 596-603 (chapter 33)
16. Jaeger M. Probabilistic reasoning in terminological logics. In: Doyle J., Sandewall E., and Torasso P. (Eds). Proceedings of the Fourth International Conference on Principles of Knowledge Representation and Reasoning (KR 1994) (1994), Morgan Kaufman Publishers 305-316
17. Jiang Y., Shi Z., Tang Y., and Wang J. Fuzzy description logic for semantics representation of the semantic Web. Journal of Software 18 (2007) 1257-1269
18. Jiang Y., Tang Y., and Wang J. Fuzzy ER modeling with description logics. Journal of Software 17 (2006) 20-30
19. Jiang Y., Tang Y., Wang J., and Ji G. Description logics based temporal ER model with attribute dependencies. Journal of Computer Research and Development 44 (2007) 1765-1773
20. Jiang Y., Tang Y., Wang J., and Shen Y. A tableaux decision procedure for fuzzy description logic FALNUI. Journal of Computer Research and Development 44 (2007) 1309-1316
21. Jiang Y., Tang Y., Wang J., and Zhou S. A semantic Web oriented description logic. Pattern Recognition and Artificial Intelligence 20 (2007) 48-54
22. M.C.A. Klein, P. Mika, S. Schlobach, Approximate instance unification using RoughOWL: Querying with similarity in openacademia, in: F. Bobillo, P.C.G. Costa, C.D. Amato, et al. (Eds.), Proceedings of the Third Workshop on Uncertainty Reasoning for the Semantic Web, CEUR Workshop Proceedings, CEUR-WS.org, 2007.
23. Koller D., Levy A., and Pfeffer A. P-CLASSIC: a tractable probabilistic description logic. Proceedings of the Fourteenth National Conference on Artificial Intelligence Conference (AAAI 1997), Providence, Rhode Island (1997), AAAI Press/MIT Press 390-397
24. Li Y., Xu B., Lu J., and Kang D. On computational complexity of the extended fuzzy description logic with numerical restriction. Journal of Software 17 (2006) 968-975
25. Liang H. The Ministry of Health of the People's Republic of China: clinic diagnosis criteria for severe acute respiratory syndrome. The Chinese Journal of Clinical Pharmacology 19 (2003) 200
26. Liau C.J. On rough terminological logics. In: Tsumoto S., Kobayashi S., Yokomori T., Tanaka H., and Nakamura A. (Eds). Proceedings of the Fourth International Workshop on Rough Sets Fuzzy Sets and Machine Discovery (1996), Tokyo University Press 47-54
27. Liu G. Generalized rough sets over fuzzy lattices. Information Sciences 178 (2008) 1651-1662
28. Lukasiewicz T. Expressive probabilistic description logics. Artificial Intelligence 172 (2008) 852-883
29. Lutz C., Areces C., Horrocks I., and Sattler U. Keys, nominals, and concrete domains. Journal of Artificial Intelligence Research 23 (2004) 667-726
30. Mi J.S., Leung Y., Zhao H.Y., and Feng T. Generalized fuzzy rough sets determined by a triangular norm. Information Sciences 178 (2008) 3203-3213
31. Pawlak Z. Rough sets. International Journal of Computer and Information Sciences 11 (1982) 341-356
32. Pawlak Z. Rough Sets: Theoretical Aspects of Reasoning about Data (1991), Kluwer Academic Publishers
33. Pawlak Z., and Skowron A. Rough sets and Boolean reasoning. Information Sciences 177 (2007) 41-73
34. Pawlak Z., and Skowron A. Rough sets: some extensions. Information Sciences 177 (2007) 28-40
35. Pawlak Z., and Skowron A. Rudiments of rough sets. Information Sciences 177 (2007) 3-27
36. S. Schlobach, Knowledge Acquisition in Hybrid Knowledge Representation Systems, Ph.D. Thesis, Department of Computer Science, University of London, 2002.
37. Schlobach S., Klein M., and Peelen L. Description logics with approximate definitions: Precise modeling of vague concepts. In: Veloso M.M. (Ed). Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI 2007) (2007), AAAI Press 557-562
38. Schmidt-Schauß M., and Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 (1991) 1-26
39. Shi Z., Dong M., Jiang Y., and Zhang H. A logic foundation for the semantic Web. Science in China, Series F Information Sciences 48 (2005) 161-178
40. Sirin E., Parsia B., Grau B.C., Kalyanpur A., and Katz Y. Pellet: a practical OWL-DL reasoner. Journal of Web Semantics: Science, Services and Agents on the World Wide Web 5 (2007) 51-53
41. Stoilos G., Stamou G., Pan J.Z., Tzouvaras V., and Horrocks I. Reasoning with very expressive fuzzy description logics. Journal of Artificial Intelligence Research 30 (2007) 273-320
42. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
43. Sun B., Gong Z., and Chen D. Fuzzy rough set theory for the interval-valued fuzzy information systems. Information Sciences 178 (2008) 2794-2815
44. Tsarkov D., and Horrocks I. FaCT++ description logic reasoner: system description. In: Furbach U., and Shankar N. (Eds). Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006). Lecture Notes in Artificial Intelligence vol. 4130 (2006), Springer 292-297
45. Y.Y. Yao, Probabilistic rough set approximations, International Journal of Approximate Reasoning, in press, doi:10.1016/j.ijar.2007.05.019.
46. Yao Y.Y., and Lin T.Y. Generalization of rough sets using modal logics. International Journal of Intelligent Automation and Soft Computing 2 (1996) 103-120
47. Zadeh L.A. Fuzzy sets. Information and Control 8 (1965) 338-353
48. Zadeh L.A. Toward a generalized theory of uncertainty (GTU)-an outline. Information Sciences 172 (2005) 1-40
49. Zadeh L.A. Is there a need for fuzzy logic. Information Sciences 178 (2008) 2751-2779
50. Zhao S., and Tsang E.C.C. On fuzzy approximation operators in attribute reduction with fuzzy rough sets. Information Sciences 178 (2008) 3163-3176
51. Zhou L., and Wu W.Z. On generalized intuitionistic fuzzy rough approximation operators. Information Sciences 178 (2008) 2448-2465
52. W. Ziarko, Probabilistic approach to rough sets, International Journal of Approximate Reasoning, in press, doi:10.1016/j.ijar.2007.06.014.