Expressive fuzzy description logics over lattices

Knowledge-Based Systems

Volumn 23, Issue 2, 2010, Pages 150-161

  Jiang, Yuncheng ^a,b   Tang, Yong ^a   Wang, Ju ^c   Deng, Peimin ^c   Tang, Suqin ^c  

^a SOUTH CHINA NORMAL UNIVERSITY   (China)

^b INSTITUTE OF SOFTWARE   (China)

^c GUANGXI NORMAL UNIVERSITY   (China)

Author keywords

Certainty lattices; Description logics; Fuzzy description logics; Inverse roles; Role hierarchies; Transitive roles

Indexed keywords

DESCRIPTION LOGIC; FUZZY DESCRIPTION LOGIC; KNOWLEDGE-BASED APPLICATIONS; LOGICAL PROPERTIES; ROLE HIERARCHY; TABLEAUX ALGORITHM;

DATA DESCRIPTION; FUZZY LOGIC; FUZZY SETS; KNOWLEDGE BASED SYSTEMS;

FUZZY SET THEORY;

EID: 75849165452     PISSN: 09507051     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.knosys.2009.11.002     Document Type: Article

References (55)

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., 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
3. Belnap N.D. A useful four-valued logic. In: Dunn J.M., and Epstein G. (Eds). Modern Uses of Multiple-Valued Logic (1977), Reidel, Dordrecht, NL 5-37
4. Berardi D., Calvanese D., and Giacomo G.D. Reasoning on UML class diagrams. Artificial Intelligence 168 1-2 (2005) 70-118
5. Bobillo F., Delgado M., and Gomez-Romero J. Crisp representations and reasoning for fuzzy ontologies. International Journal of Uncertainty, Fuzziness and Knowledge-based Systems 17 4 (2009) 500-530
6. Bobillo F., Delgado M., Gomez-Romero J., and Straccia U. Fuzzy description logics under Gödel semantics. International Journal of Approximate Reasoning 50 3 (2009) 494-514
7. Bobillo F., and Straccia U. Fuzzy description logics with general t-norms and datatypes. Fuzzy Sets and Systems (2009) 10.1016/j.fss.2009.03.006
8. 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
9. Bou F., Esteva F., Font J.M., Gil A.J., Godo L., Torrens A., and Verdu V. Logics preserving degrees of truth from varieties of residuated lattices. Journal of Logic and Computation (2009) 10.1093/logcom/exp030
10. Bou F., Esteva F., Godo L., and Rodriguez R.O. On the minimum many-valued modal logic over a finite residuated lattice. Journal of Logic and Computation (2009) 10.1093/logcom/exp062
11. Cintula P., and Hajek P. Triangular norm based predicate fuzzy logics. Fuzzy Sets and Systems (2009) 10.1016/j.fss.2009.09.006
12. Davey B.A., and Priestley H.A. Introduction to Lattices and Order. second ed. (2002), Cambridge University Press
13. Esteva F., Godo L., and Garcia-Cerdana A. On the hierachy of t-norm based residuated fuzzy logics. Beyond Two: Theory and Applications of Multiple-Valued Logic (2003), Physica-Verlag 251-272
14. Godo L., and Esteva F. On complete residuated many-valued logics with t-norm conjunction. Proceedings of the 31st IEEE International Symposium on Multiple-Valued Logic (ISMVL 2001), Warsaw, Poland (2001), IEEE Computer Society 81-86
15. Grau B.C., Horrocks I., Motik B., Parsia B., Patel-Schneider P., and Sattler U. OWL 2: the next step for OWL. Journal of Web Semantics 6 4 (2008) 309-322
16. Guo Q., and Zhang M. Question answering based on pervasive agent ontology and Semantic Web. Knowledge-Based Systems 22 6 (2009) 443-448
17. Hajek P. Making fuzzy description logic more general. Fuzzy Sets and Systems 154 1 (2005) 1-15
18. Hajek P. Metamathematics of Fuzzy Logic. Trends in Logic vol. 4 (1998), Kluwer Academic Publishers, Dordercht
19. Hajek P. What does mathematical fuzzy logic offer to description logic. In: Sanchez E. (Ed). Capturing Intelligence: Fuzzy Logic and the Semantic Web (2006), Elsevier Science Publishers 91-100
20. Hajek P. Fuzzy logic and arithmetical hierarchy III. Studia Logica 68 1 (2001) 129-142
21. 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 1 (2003) 7-26
22. Horrocks I., Sattler U., and Tobies S. Practical reasoning for expressive description logics. In: Ganzinger H., McAllester D., and Voronkov A. (Eds). Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR 1999). Lecture Notes in Artificial Intelligence vol. 1705 (1999), Springer-Verlag 161-180
23. Jin H., Ning X., Jia W., Wu H., and Lu G. Combining weights with fuzziness for intelligent semantic web search. Knowledge-Based Systems 21 7 (2008) 655-665
24. Jiang Y., Shi Z., Tang Y., and Wang J. Fuzzy description logic for semantics representation of the semantic Web. Journal of Software 18 6 (2007) 1257-1269
25. Jiang Y., Tang Y., and Wang J. Fuzzy ER modeling with description logics. Journal of Software 17 1 (2006) 20-30
26. 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 10 (2007) 1765-1773
27. 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 8 (2007) 1309-1316
28. Jiang Y., Tang Y., Wang J., and Tang S. Reasoning within intuitionistic fuzzy rough description logics. Information Sciences 179 14 (2009) 2362-2378
29. Jiang Y., Tang Y., Wang J., and Zhou S. A semantic Web oriented description logic. Pattern Recognition and Artificial Intelligence 20 1 (2007) 48-54
30. Jiang Y., Wang J., Deng P., and Tang S. Reasoning within expressive fuzzy rough description logics. Fuzzy Sets and Systems (2009) 10.1016/j.fss.2009.01.004
31. Jiang Y., Wang J., Tang S., and Xiao B. Reasoning with rough description logics: An approximate concepts approach. Information Sciences 179 5 (2009) 600-612
32. Levesque H.J., and Brachman R.J. Expressiveness and tractability in knowledge representation and reasoning. Computational Intelligence 3 2 (1987) 78-93
33. Li Y., Xu B., Lu J., Kang D., and Wang P. Extended fuzzy description logic ALCN. In: Khosla R., Howlett R.J., and Jain L.C. (Eds). Proceedings of the 9th International Conference on Knowledge-Based Intelligent Information and Engineering Systems (KES 2005). Lecture Notes in Computer Science vol. 3684 (2005), Springer 896-902
34. Li S., Li M., Jiang Y., Wang J., and Liu Z. Fuzzy description logic L - ALCN. Journal of Computer Research and Development 45 4 (2008) 619-625
35. Lu J., Li Y., Zhou B., and Kang D. Reasoning within extended fuzzy description logic. Knowledge-Based Systems 22 1 (2009) 28-37
36. Lukasiewicz T. Expressive probabilistic description logics. Artificial Intelligence 172 6-7 (2008) 852-883
37. Lutz C. NEXP TIME-complete description logics with concrete domains. ACM Transactions on Computational Logic 5 4 (2004) 669-705
38. Ma Y., Jin B., and Feng Y. Dynamic evolutions based on ontologies. Knowledge-Based Systems 20 1 (2007) 98-109
39. Meghini C., Sebastiani F., and Straccia U. A model of multimedia information retrieval. Journal of the ACM 48 5 (2001) 909-970
40. Nebel B. Terminological reasoning is inherently intractable. Artificial Intelligence 43 2 (1990) 235-249
41. Patel-Schneider P.F. A four-valued semantics for terminological logics. Artificial Intelligence 38 3 (1989) 319-351
42. 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
43. Schmidt-Schauß M., and Smolka G. Attributive concept descriptions with complements. Artificial Intelligence 48 1 (1991) 1-26
44. Shi Z., Dong M., Jiang Y., and Zhang H. A logic foundation for the semantic Web. Science in China, Series F Information Sciences 48 2 (2005) 161-178
45. 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
46. Straccia U. Reasoning within fuzzy description logics. Journal of Artificial Intelligence Research 14 (2001) 137-166
47. Straccia U. A fuzzy description logic for the semantic Web. In: Sanchez E. (Ed). Capturing Intelligence: Fuzzy Logic and the Semantic Web (2006), Elsevier Science Publishers 73-90
48. Straccia U. Description logics over lattices. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 14 1 (2006) 1-16
49. Straccia U. A sequent calculus for reasoning in four-valued description logics. In: Galmiche D. (Ed). Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 1997). Lecture Notes in Computer Science vol. 1227 (1997), Springer 343-357
50. Straccia U. Transforming fuzzy description logics into classical description logics. In: Alferes J.J., and Leite J.A. (Eds). Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004). Lecture Notes in Computer Science vol. 3229 (2004), Springer-Verlag 385-399
51. Straccia U. Description logics with fuzzy concrete domains. Proceedings of the 21st Conference in Uncertainty in Artificial Intelligence (UAI 2005) (2005), AUAI Press 559-567
52. C. Tresp, R. Molitor, A description logic for vague knowledge, in: Proceedings of the 13th European Conference on Artificial Intelligence (ECAI 1998), Brighton, England, 1998, pp. 361-365.
53. Yen J. Generalizing term subsumption languages to fuzzy logic. In: Mylopoulos J., and Reiter R. (Eds). Proceedings of the 12th International Joint Conference on Artificial Intelligence (IJCAI 1991) (1991), Morgan Kaufmann 472-477
54. Zadeh L.A. Fuzzy sets. Information and Control 8 3 (1965) 338-353
55. Zhang T., Xu D., and Chen J. Application-oriented purely semantic precision and recall for ontology mapping evaluation. Knowledge-Based Systems 21 8 (2008) 794-799