论文信息 - Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy

Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy

A logical formalism to support the insertion of uncertain concepts in formal ontologies is presented. It is based on the search of extensions by means of two automated reasoning systems (ARS), and it is driven by what we call cognitive entropy.

Joaquín Borrego-Díaz | Antonia M. Chávez-González | J. Borrego-Díaz | A. M. Chávez-González

[1] José A. Alonso-Jiménez,et al. Ontology cleaning by mereotopological reasoning , 2004 .

[2] James A. Hendler,et al. Towards the semantic web: knowledge representation in a dynamic, distributed environment , 2001 .

[3] José A. Alonso-Jiménez,et al. Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases , 2003, IEA/AIE.

[4] Diego Calvanese,et al. The Description Logic Handbook: Theory, Implementation, and Applications , 2003, Description Logic Handbook.

[5] Ian Horrocks,et al. Using Vampire to Reason with OWL , 2004, SEMWEB.

[6] Joaquín Borrego-Díaz,et al. Extension of Ontologies Assisted by Automated Reasoning Systems , 2005, EUROCAST.

[7] Laveen N. Kanal,et al. Structural and Probabilistic Knowledge for Abductive Reasoning , 1993, IEEE Trans. Pattern Anal. Mach. Intell..

[8] J.A. Alonso-Jimenez,et al. A methodology for the computer-aided cleaning of complex knowledge databases , 2002, IEEE 2002 28th Annual Conference of the Industrial Electronics Society. IECON 02.

[9] Bernhard Ganter,et al. Formal Concept Analysis: Mathematical Foundations , 1998 .

[10] Brandon Bennett. The Role of Definitions in Construction and Analysis of Formal Ontologies , 2003 .