A formal model of ontology for handling fuzzy membership and typicality of instances

Computer Journal

Volumn 53, Issue 3, 2010, Pages 316-341

  Au Yeung, Ching Man ^a   Leung, Ho Fung ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b CHINESE UNIVERSITY OF HONG KONG   (Hong Kong)

Author keywords

Cognitive model; Fuzzy ontology; Likeliness; Modal logic; Typicality

Indexed keywords

COGNITIVE MODEL; COGNITIVE PSYCHOLOGY; FORMAL MODEL; FUZZY MEMBERSHIP; FUZZY ONTOLOGY; FUZZY PROPOSITIONAL MODAL LOGIC; HUMAN THINKING; IN-DEPTH INVESTIGATION; INFORMATION EXCHANGES; MODAL LOGIC; ONTOLOGY MODEL; PROTOTYPE THEORY;

FORMAL LOGIC; SEMANTIC WEB;

ONTOLOGY;

EID: 77649318499     PISSN: 00104620     EISSN: 14602067     Source Type: Journal    
DOI: 10.1093/comjnl/bxn060     Document Type: Article

References (100)

1. Brachman, R. and Levesque, H. (2004) Knowledge Representation and Reasoning. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA.
2. Gomez-Perez, A., Corcho, O. and Fernandez-Lopez, M. (2004) Ontological Engineering: With Examples from the Areas of Knowledge Management, e-Commerce and the Semantic Web. Springer, Heidelberg.
3. Berners-Lee, T., Hendler, J. and Lassila, O. (2001) The semantic web. Sci. Am., 284, 34-43.
4. Woolridge, M. and Wooldridge, M.J. (2001) Introduction to Multiagent Systems. John Wiley & Sons, Inc., New York, NY, USA.
5. Neches, R., Fikes, R.E., Finin, T., Gruber, T.R., Senator, T. and Swartout, W.R. (1991) Enabling technology for knowledge sharing. AI Mag., 12, 36-56.
6. Gruber, T.R. (1993) A translation approach to portable ontology specifications. Knowl. Acquis., 5, 199-220.
7. McGuinness, D.L. and van Harmelen, F. (2004) OWL web ontology language overview. http://www.w3.org/TR/ owl-features/.
8. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D. and Patel-Schneider, P.F. (eds) (2003) The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, NY, USA.
9. Straccia, U. (1998) A Fuzzy Description Logic. AAAI '98/ IAAI, 98: Proc. 15th National/Tenth Conf. Artificial Intelligence/ Innovative Applications of Artificial Intelligence, Madison, WI, USA, pp. 594-599. American Association for Artificial Intelligence, Menlo Park, CA, USA.
10. Stoilos, G., Simou, N., Stamou, G. and Kollias, S. (2006) Uncertainty and the semantic web. IEEE Intell. Syst., 21, 84-87.
11. Stoilos, G., Stamou, G., Tzouvaras, V., Pan, J. and Horrocks, I. (2005) A Fuzzy Description Logic for Multimedia Knowledge Representation. Proc. Int. Workshop on Multimedia and the Semantic Web, Greece, June, pp. 12-19.
12. Ding, Z. and Peng, Y. (2004) A Probabilistic Extension to Ontology Language Owl. HICSS '04: Proc. 37th Annual Hawaii Inte. Conf. System Sciences (HICSS'04) - Track 4 40111.1, Washington, DC, USA, IEEE Computer Society.
13. Jochen, H. (1994) Probabilistic Description Logics. Proc. 10th Annual Conf. Uncertainty in Artificial Intelligence, Seattle, WA, USA, July 29-31, pp. 311-318. Morgan Kaufmann, San Francisco, CA, USA.
14. Pan, J.Z., Stoilos, G., Stamou, G., Tzouvaras, V. and Horrocks, I. (2006) f-SWRL: a fuzzy extension of SWRL. J. Data Semant.VI pp. 27-45 (Special Issue on Emergent Semantics), Lecture Notes in Computer Science vol. 4090, Springer.
15. Cross, V. and Voss, C.R. (1999) Fuzzy Ontologies for Multilingual Document Exploitation. Proc. 1999 Annual Meeting of the North American Fuzzy Information Processing Society, New York City, USA, June, pp. 392- 397. IEEE, Piscataway, NJ, USA.
16. Hölldobler, S., Khang, T.D. and Störr, H.-P. (2002) A Fuzzy Description Logic with Hedges as Concept Modifiers. Proc. InTech/VJFuzzy'2002, Hanoi, Vietnam, December 3-5, pp. 25-34. Institute of Information Technology, Vietnam Center for Natural Science and Technology, Science and Technics Publishing House, Hanoi, Vietnam.
17. Kamp, H. and Partee, B. (1995) Prototype theory and compositionality. Cognition, 57, 129-191.
18. Rosch, E.H. (1973) On the Internal Structure of Perceptual and Semantic Categories. In More, T.E. (ed), Cognitive Development and the Acquisition of Language. Academic Press, New York.
19. Rosch, E.H. (1975) Cognitive representations of semantic categories. J. Exp. Psychol, 104, 192-233.
20. Smith, E.E. and Medin, D.L. (1981) Categories and Concepts. Harvard University Press, Cambridge, MA, USA.
21. Raggett, D., Hors, A.L. and Jacobs, I. (1999). Html 4.01 specification. http://www.w3.org/TR/html4/.
22. Guarino, N. and Poli, R. (1995) Formal ontology in conceptual analysis and knowledge representation. Int. J. Hum. Comp. Stud., 43, 625-640.
23. Lassila, O. and Swick, R.R. (1999). Resource description framework (RDF) model and syntax specification. http:// www.w3.org/TR/1999/REC-rdfsyntax- 19990222/.
24. Horrocks, I., van Harmelen, F. and Patel-Schneider, P.F. (2001). DAML + OIL reference description. http://www. daml.org/2001/03/daml+oil-index.html.
25. Antoniou, G. and van Harmelen, F. (2008) A Semantic Web Primer, (2nd edn). The MIT Press, Cambridge, MA, USA.
26. Horrocks, I., Patel-Schneider, P.F. and van Harmelen, F. (2003) From SHIQ and RDF to OWL: the making of a web ontology language. J. Web Semant., 1, 7-26.
27. Horrocks, I. and Patel-Schneider, P. (2004) Reducing OWL entailment to description logic satisfiability. J. Web Semant., 1, 345-357.
28. Ding, Y. and Foo, S. (2002) Ontology research and development. Part 1-a review of ontology generation. J. Inf. Sci., 28, 123-136. (Pubitemid 34474750)
29. Ding, Y. and Foo, S. (2003) Ontology research and development. Part 2-a review of ontology mapping and evolving. J. Inf. Sci., 28, 375-388.
30. Nardi, D. and Brachman, R.J. (2003) An Introduction to Description Logics. In Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D. and Patel- Schneider, P.F. (eds), The Description Logic Handbook: Theory, Implementation, and Applications.CambridgeUniversity Press,NewYork,NY,USA.
31. Borgida, A. (1995) Description logics in data management. IEEE Trans. Knowl. Data Eng., 7, 671-682.
32. Spackman, K.A., Campbell, K.E. and Côté, R.A. (2000) SNOMEDRT: a reference terminology for health care. J. Am. Med. Inform. Assoc., Fall Symposium Special Issue.
33. Horrocks, I. and McGuinness, D.L. (2003) Digital Libraries and Web-Based Information Systems. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, New York, NY, USA.
34. Blackburn, P., de Rijke, M. and Venema, Y. (2001) Modal Logic. Cambridge University Press.
35. Liau, C.-J. (2005) A modal logic framework for multiagent belief fusion. ACM Trans. Comput. Log., 6, 124-174.
36. Gabbay, D., Kurucz, A., Wolter, F. and Zakharyaschev, M. (2003) Many-Dimensional Modal Logics: Theory and Applications. Elsevier, North Holland, Amsterdam.
37. Nie, J.-Y. (1992) Towards a Probabilistic Modal Logic for Semantic-Based Information Retrieval. SIGIR '92: Proc. 15th Annual Int. ACM SIGIR Conf. Research and Development in Information Retrieval, New York, NY, USA, pp. 140-151. ACM Press.
38. Emerson, E.A. (1990) Temporal and Modal Logic. Handbook of Theoretical Computer Science (Vol. B): Formal Models and Semantics, Cambridge, MA, USA, pp. 955-1072. MIT Press.
39. Fllesdal, D. and Hilpinen, R. (1971) Deontic Logic: An Introduction. In Hilpinen, R. (ed.), Deontic Logic: Introductory and Systematic Readings, pp. 1-35. D.Reidel Publishing.
40. Rescher, N. (2005) Epistemic Logic: Survey of the Logic of Knowledge. University of Pittsburgh Press, Pittsburgh, USA.
41. Kripke, S. (1963) Semantical considerations in modal logic. Acta. Philos. Fenn., 16, 83-94.
42. Schild, K. (1991) A Correspondence Theory for Terminological Logics: Preliminary Report. Proc. 12th Int. Joint Conf. Artificial Intelligence, Sydney, Australia, August 24-30, pp. 466-471. Morgan Kaufmann, San Francisco, USA.
43. De Giacomo, G. and Lenzerini, M. (1994) Boosting the Correspondence between Description Logics and Propositional Dynamic Logics. Proc. 12th National Conf. Artificial Intelligence, Seattle, Washington, USA, July 31-August 4, Vol.1. American Association for Artificial Intelligence, Menlo Park, CA, USA.
44. De Giacomo, G. and Lenzerini, M. (1996) TBox and ABox Reasoning in Expressive Description Logics. In Aiello, L.C., Doyle, J. and Shapiro, S. (eds), KR'96: Principles of Knowledge Representation and Reasoning, San Francisco, CA, pp. 316-327. Morgan Kaufmann.
45. Zadeh, L. (1965) Fuzzy sets. Inform. Control, 8, 338-353.
46. Klir, J. and Yuan, B. (1995) Fuzzy Sets and Fuzzy Logic: Theory and Applications. Prentice Hall PTR, Upper Saddle River, NJ, USA.
47. Yamakawa, T. (1988) High-speed fuzzy controller hardware system. Inf. Sci., 45, 113-128.
48. Leung, K.S. and Lam, W. (1988) Fuzzy concepts in expert systems. Computer, 21, 43-56.
49. Lukasiewicz, T. and Straccia, U. (2008) Managing uncertainty and vagueness in description logics for the semantic web. J. Web Seman., 6, 51-68.
50. Straccia, U. (2001) Reasoning within fuzzy description logics. J. Artif. Intell. Res., 14, 137-166.
51. Straccia, U. (2005) Fuzzy ALC with Fuzzy Concrete Domains. Proc. Int. Workshop on Description Logics (DL-05), Edinburgh, Scotland, UK, July 26-28, pp. 96-103. CEUR.
52. Zadeh, L.A. (1972) A fuzzy-set-theoretic interpretation of linguistic hedges. J. Cybern., 2, 1-56.
53. Stoilos, G., Stamou, G., Pan, J., Tzouvaras, V. and Horrocks, I. (2007) Reasoning with very expressive fuzzy description logics. J. of Artif. Intell. Res., 30, 273-320.
54. Kang, D., Xu, B., Lu, J. and Li, Y. (2006) Reasoning for Fuzzy Description Logic with Comparison Expressions. In Parsia, B., Sattler, U. and Toman, D. (eds), Proc. 2006 Int. Workshop on Description Logics (DL2006), CEUR Workshop Proceedings, Vol.189. CEUR-WS.org.
55. Horrocks, I., Patel-Schneider, P.F., Boley, H., Tabet, S., Grosof, B. and Dean, M. (2004). SWRL: a semantic web rule language combining OWL and RuleML. http://www.w3.org/ Submission/SWRL/.
56. Hollunder, B. (1995) An alternative proof method for possibilistic logic and its application to terminological logics. Int. J. Approx. Reason., 12, 85-109.
57. Dubois, D., Mengin, J. and Prade, H. (2006) Possibilistic Uncertainty and Fuzzy Features in Description Logic: A Preliminary Discussion. In Sanchez, E. (ed.), Capturing Intelligence: Fuzzy Logic and the Semantic Web. Elsevier, Amsterdam, The Netherlands.
58. Qi, G., Pan, J. and Ji, Q. (2007) Extending Description Logics with Uncertainty Reasoning in Possibilistic Logic. Proc. 9th European Conf. Symbolic and Quantitative Approaches to Reasoning with Uncertainty, Hammamet, Tunisia, October 31 - November 2, pp. 828-839. Springer, Berlin, Germany.
59. Koller, D., Levy, A. and Pfeffer, A. (1997) Pclassic: A Tractable Probabilistic Description Logic. AAAI'97: Proc. 14th National Conf. on Artificial Intelligence, Providence, RI, USA, August, pp. 390-397. AAAI/MIT Press, Menlo Park, CA, USA.
60. Giugno, R. and Lukasiewicz, T. (2002) P-SHOQ(D): A Probabilistic Extension of SHOQ(D) for Probabilistic Ontologies in the Semantic Web. JELIA'02: Proc. European Conf. Logics in Artificial Intelligence, Cosenza, Italy, September 23-26, pp. 86-97. Springer, London, UK.
61. Lukasiewicz, T. (2008) Expressive probabilistic description logics. Artif. Intell., 172, 852-883.
62. Parry, D. (2004) A Fuzzy Ontology for Medical Document Retrieval. ACSW Frontiers '04: Proc. 2nd Workshop on Australasian Information Security, Data Mining and Web Intelligence, and Software Internationalisation, Darlinghurst, Australia, January, pp. 121-126. Australian Computer Society, Inc., Dunedin, New Zealand.
63. Dubois, D., Prade, H. and Rossazza, J. (1991) Vagueness, typicality, and uncertainty in class hierarchies. Int. J. Intell. Syst., 6, 167-183.
64. Tamma, V. and Bench-Capon, T. (2002) An ontology model to facilitate knowledge sharing in multi-agent systems. Knowl. Eng. Rev., 17, 41-60.
65. Cross, V. (2004) Fuzzy Semantic Distance Measures between Ontological Concepts. Proc. 2004 Annual Meeting of the North American Fuzzy Information Processing Society, Banff, Alberta, Canada, June 27-30, vol.2, pp. 635-640. IEEE, Piscataway, NJ, USA.
66. Doan, A., Madhavan, J., Dhamankar, R., Domingos, P. and Halevy, A. (2003) Learning to match ontologies on the semantic web. VLDB J., 12, 303-319.
67. Kalfoglou, Y. and Schorlemmer, M. (2003) Ontology mapping: the state of the art. Knowl. Eng. Rev., 18, 1-31.
68. Euzenat, J. and Shvaiko, P. (2007) Ontology Matching. Springer, Heidelberg (DE).
69. Kong, C.Y., Wang, C.-L. and Lau, F.C.M. (2004) Ontology Mapping in Pervasive Computing Environment. Proc. Int. Conf. of Embedded and Ubiquitous Computing EUC 2004, Aizu-Wakamatsu City, Japan, August 25-27. pp. 1014-1023. Springer, Berlin, Germany.
70. Lesot, M.J. (2005) Similarity, typicality and fuzzy prototypes for numerical data. Res-Systemica., 5.
71. van Rijsbergen, C.J.K. (1979) Information Retrieval. Butterworths, London.
72. Rada, R., Mili, H., Bicknell, E. and Blettner, M. (1989) Development and application of a metric on semantic nets. IEEE Tran. Syst. Man Cybern., 19, 17-30.
73. Kim, Y. and Kim, J. (1990) A model of knowledge based information retrieval with hierarchical concept graph. J. Doc., 46, 113-116.
74. Lee, J. and Kim, M. (1993) Information retrieval based on conceptual distance in a is-a hierarchy. J. Doc., 49, 188-207.
75. Jeh, G. and Widom, J. (2002) Simrank: A Measure of Structural-Context Similarity. KDD '02: Proc. The 8th ACM SIGKDD Int. Conf. Knowledge Discovery and Data Mining, New York, NY, USA, pp. 538-543. ACM Press.
76. Rodríguez, M.A. and Egenhofer, M.J. (2003) Determining semantic similarity among entity classes from different ontologies. IEEE Trans. Knowl. Data Eng., 15, 442-456.
77. Yang, D. and Powers, D.M.W. (2005) Measuring Semantic Similarity in the Taxonomy of Word-Net. ACSC'05: Proc. 28th Australasian Conf. Computer Science, Darlinghurst, Australia, pp. 315-322. Australian Computer Society, Inc.
78. Tversky, A. (1977) Features of similarity. Psychol. Rev., 84, 327-352.
79. Gärdenfors, P. (2004) How to make the Semantic Web more Semantic. In Varzi, A. and Lieu, L. (eds), Proc. The 3rd Int. Conf. Formal Ontology in Information Systems, Torino, Italy, November 4-6. IOS Press, Amsterdam, The Netherlands.
80. Apostle, H.G. (1980) Aristotle's Categories and Propositions (De Interpretatione). Peripatetic Press, Des Moines, IA, USA.
81. Rosch, E. and Mervis, C.B. (1975) Family resemblances: studies in the internal structural of categories. Cogn. Psychol., 7, 573-605.
82. Barsalou, L.W. and Sewell, D.R. (1985) Contrasting the representation of scripts and categories. J. Mem. Lang., 24, 646-665.
83. Galotti, K.M. (2004) Cognitive Psychology In and Out of the Laboratory, (3rd edn). Wadsworth, Belmont, CA, USA.
84. Brooks, L.R. (1973) Nonanalytic Concept Formation and Memory for Instances. In Rosch, E.H. and Lloyd, B.B. (eds), Cognition and Categorization. Lawrence Erlbaum, Hillsdale, NJ, USA.
85. Hintzman, D.L. (1986) Schema abstraction in a multiple-trace memory model. Psy. Rev., 93, 411-428.
86. Medin, D.L. (1986) Comment on 'memory storage and retrieval processes in category learning'. J. Exp. Psy.: General, 115, 373-381.
87. Cohen, B. and Murphy, G.L. (1984) Models of concepts. Cog. Sci., 8, 27-58.
88. Komatsu, L.K. (1992) Recent views of conceptual structure. Psychol. Bull., 112, 500-526.
89. Armstrong, S.L., Gleitman, L.R. and Gleitman, H. (1983) What some concepts might not be. Cogn, 13, 263-308.
90. Lakoff, G. (1987) Women, Fire, and Dangerous Things: What Categories Reveal about the Mind. Chicago University Press, Chicago.
91. Goldstone, R.L. (1994) The role of similarity in categorization: providing a groundwork. Cogn, 52, 125-157.
92. Rips, L.J. (1989) Similarity, Typicality and Categorization. In Vosniadou, S. and Ortony, A. (eds), Similarity and Analogical Reasoning, pp. 21-59. Cambridge University Press: Cambridge.
93. Au Yeung, C.M. and Leung, H.F. (2005) Formalizing Concepts in Description Logics Using a Cognitive Approach. PRIMA 2005: Proc. 8th Pacific Rim Int. Workshop on Multi-Agents, Kuala Lumpur, Malaysia, September 26-28, Springer.
94. Au Yeung, C.M. and Leung, H.F. (2006) Formalizing Typicality of Objects and Context-Sensitivity in Ontologies. Proc. The 5th Int. Joint Conference Autonomous Agents and Multiagent Systems, Hakodate, Japan, May 8-12, pp. 946- 948. ACM Press, New York, USA.
95. Au Yeung, C.M. and Leung, H.F. (2006) Ontology with Likeliness and Typicality of Objects in Concepts. ER 2006: Proc. 25th Int. Conf. Conceptual Modeling, Tucson, Arizona, USA, November 6-9, pp. 98-111. Springer, Berlin/Heidelberg.
96. Murphy, G.L. (2002) The Big Book of Concepts. The MIT Press, Cambridge, MA, USA.
97. Lesot, M., Mouillet, L. and Bouchon-Meunier, B. (2004) Fuzzy Prototypes based on Typicality Degrees. Proc. 8th Fuzzy Days, Dortmund, Germany, September 29 - October 1. Springer, Berlin.
98. Konyndyk, K. (1986) Introductory Modal Logic. University of Notre Dame Press, IN, Notre Dame, USA.
99. Zhang, Z., Sui, Y., Cao, C. and Wu, G. (2006) A formal fuzzy reasoning system and reasoning mechanism based on propositional modal logic. Theor. Comput. Sci., 368, 149-160.
100. Takkinen, J. and Shahmehri, N. (1998) CAFE: A Conceptual Model for Managing Information in Electronic Mail. Proc. 31st Hawaii Int. Conf. System Sciences, Hawaii, USA, January 6-9, Vol.5, pp. 44-53. IEEE Computer Society Press, Washington D.C, USA.