Using Cognitive Entropy to Manage Uncertain Concepts in Formal Ontologies

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 .

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

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

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

[4]  R. M. Díaz,et al.  On first-passage problems for asymmetric one-dimensional diffusions , 2007 .

[5]  Joaquín Borrego-Díaz,et al.  A Formal Foundation for Knowledge Integration of Defficent Information in the Semantic Web , 2007, EUROCAST.

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

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

[8]  Roberto Moreno-Díaz,et al.  Computer Aided Systems Theory - EUROCAST 2005, 10th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Spain, February 7-11, 2005, Revised Selected Papers , 2005, EUROCAST.

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

[10]  Paul W. H. Chung,et al.  Developments in Applied Artificial Intelligence , 2003, Lecture Notes in Computer Science.

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

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

[13]  Jeffrey M. Bradshaw,et al.  Applying KAoS Services to Ensure Policy Compliance for Semantic Web Services Workflow Composition and Enactment , 2004, SEMWEB.

[14]  Leon G. Higley,et al.  Forensic Entomology: An Introduction , 2009 .

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

[16]  José A. Alonso-Jiménez,et al.  Foundational challenges in automated semantic Web data and ontology cleaning , 2006, IEEE Intelligent Systems.

[17]  Jacques Calmet,et al.  From entropy to ontology , 2004 .

[18]  Anthony G. Cohn,et al.  Representing and Reasoning with Qualitative Spatial Relations About Regions , 1997 .

[19]  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.

[20]  Diego Calvanese,et al.  The Description Logic Handbook , 2007 .