Visual Ontology Cleaning: Cognitive Principles and Applicability

In this paper we connect two research areas, the Qualitative Spatial Reasoning and visual reasoning on ontologies. We discuss the logical limitations of the mereotopological approach to the visual ontology cleaning, from the point of view of its formal support. The analysis is based on three different spatial interpretations wich are based in turn on three different spatial interpretations of the concepts of an ontology.

[1]  José A. Alonso-Jiménez,et al.  Ontology cleaning by mereotopological reasoning , 2004, Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004..

[2]  Victor Vianu,et al.  Topological Queries in Spatial Databases , 1999, CSL.

[3]  Diego Calvanese,et al.  Reasoning in Expressive Description Logics , 2001, Handbook of Automated Reasoning.

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

[5]  Antonia M. Chávez-González,et al.  Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web , 2004 .

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

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

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

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

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

[11]  Jochen Renz,et al.  A Canonical Model of the Region Connection Calculus , 1997, J. Appl. Non Class. Logics.

[12]  Reinhold Rauh,et al.  A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation , 1997, COSIT.

[13]  Bernhard Nebel,et al.  On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus , 1999, Artif. Intell..

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

[15]  Huajun Chen,et al.  An Interactive Visual Model for Web Ontologies , 2005, KES.

[16]  Anthony G. Cohn,et al.  The ‘Egg-Yolk’ Representation of Regions with Indeterminate Boundaries , 2020 .

[17]  Frank van Harmelen,et al.  Ontology-based Information Visualization , 2002, Visualizing the Semantic Web.

[18]  Ramana Rao,et al.  A focus+context technique based on hyperbolic geometry for visualizing large hierarchies , 1995, CHI '95.

[19]  Ben Shneiderman,et al.  Readings in information visualization - using vision to think , 1999 .

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

[21]  Joaquín Borrego-Díaz,et al.  Controlling Ontology Extension by Uncertain Concepts through Cognitive Entropy , 2005, ISWC-URSW.

[22]  Martin Grohe,et al.  On first-order topological queries , 2002, TOCL.

[23]  Hayley Mizen,et al.  Ontology Ontogeny: Understanding How an Ontology Is Created and Developed , 2005, GeoS.

[24]  Brian R. Gaines,et al.  Concept maps as hypermedia components , 1995, Int. J. Hum. Comput. Stud..

[25]  Fionn Murtagh,et al.  Interactive Visual User Interfaces: A Survey , 2003, Artificial Intelligence Review.

[26]  Frank van Harmelen,et al.  Supporting User Tasks through Visualisation of Light-weight Ontologies , 2004, Handbook on Ontologies.

[27]  Ian Horrocks,et al.  Digital Libraries and Web-based Information Systems , 2003, Description Logic Handbook.