Visual Ontology Cleaning: Cognitive Principles and Applicability

  • Joaquín Borrego-Díaz
  • Antonia M. Chávez-González
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4011)


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.


Constraint Satisfaction Problem Ontological Argument Visual Encodings Strong Interpretation Ontology Source 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Alonso-Jiménez, J.A., Borrego-Díaz, J., Chávez-González, A.M., Navarro-Marín, J.D.: A Methodology for the Computer-Aided Cleaning of Complex Knowledge Databases. In: Proc. 28th Conf. of IEEE Industrial Electronics Soc. IECON 2002, pp. 1806–1812 (2003)Google Scholar
  2. 2.
    Alonso-Jiménez, J., Borrego-Díaz, J., Chávez-González, A.M., Gutiérrez-Naranjo, M.A., Navarro-Marín, J.D.: Towards a Practical Argumentative Reasoning with Qualitative Spatial Databases. In: Chung, P.W.H., Hinde, C.J., Ali, M. (eds.) IEA/AIE 2003. LNCS, vol. 2718, pp. 789–798. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  3. 3.
    Alonso-Jiménez, J.A., Borrego-Díaz, J., Chávez-González, A.M.: Ontology Cleaning by Mereotopological Reasoning. In: DEXA Workshop on Web Semantics WEBS 2004, pp. 132–137 (2004)Google Scholar
  4. 4.
    Alonso-Jiménez, J.A., Borrego-Díaz, J., Chávez-González, A.M., Martín-Mateos, F.J.: Foundational Challenges in Automated Data and Ontology Cleaning in the Semantic Web. IEEE Intelligent Systems 21(1), 42–52 (2006)CrossRefGoogle Scholar
  5. 5.
    Bennett, B.: The Role of Definitions in Construction and Analysis of Formal Ontologies. In: Logical Formalization of Commonsense Reasoning (2003 AAAI Spring Symposium), pp. 27–35. AAAI Press, Menlo Park (2003)Google Scholar
  6. 6.
    Borrego-Díaz, J., Chávez-González, A.M.: Extension of Ontologies Assisted by Automated Reasoning Systems. In: Moreno Díaz, R., Pichler, F., Quesada Arencibia, A. (eds.) EUROCAST 2005. LNCS, vol. 3643, pp. 247–253. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  7. 7.
    Borrego-Díaz, J., Chávez-González, A.M.: Controlling Ontology Extension by Uncertain Concepts Through Cognitive Entropy. In: Proc. of ISWC 2005 Workshop on Uncertainty Reasoning for the Semantic Web, pp. 56–66 (2005)Google Scholar
  8. 8.
    Calvanese, K., de Giacomo, G., Lenzerini, M., Nardi, D.: Reasoning in Expressive Description Logics. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, pp. 1581–1634. Elsevier Science Pub., Amsterdam (2001)CrossRefGoogle Scholar
  9. 9.
    Card, S., Mckinlay, J., Shneiderman, B. (eds.): Readings in Information Visualization: Using Vision to Think. Morgan Kaufmann, San Francisco (1999)Google Scholar
  10. 10.
    Chávez-González, A.M.: Automated Mereotopological Reasoning for Ontology Debugging (spanish), Ph.D. Thesis, University of Seville (2005)Google Scholar
  11. 11.
    Chang, C.C., Keisler, H.J.: Model Theory. North-Holland, Amsterdam (1977)Google Scholar
  12. 12.
    Cohn, A.G., Gotts, N.M.: The ’Egg-Yolk’ Representation of Regions with Indeterminate Boundaries. In: Burrough, P., Frank, A.M. (eds.) Proc. GISDATA Specialist Meeting on Geographical Objects with Undetermined Boundaries. GISDATA Series, vol. 3, pp. 171–187. Taylor and Francis, Abington (1996)Google Scholar
  13. 13.
    Cohn, A.G., Bennett, B., Gooday, J.M., Gotts, N.M.: Representing and Reasoning with Qualitative Spatial Relations about Regions. In: Stock, O. (ed.) Spatial and Temporal Reasoning, ch. 4. Kluwer, Dordrecht (1997)Google Scholar
  14. 14.
    Fluit, C., Sabou, M., Harmelen, F.: Ontology-based Information Visualization. In: Geroimenko, V., Chen, C. (eds.) Visualizing the Semantic Web. Springer, Heidelberg (2003)Google Scholar
  15. 15.
    Fluit, C., Sabou, M., Harmelen, F.: Supporting User Tasks Through Visualization of Light-weight Ontologies. In: Staab, S., Studer, R. (eds.) Handbook on Ontologies in Information Systems. Springer, Heidelberg (2003)Google Scholar
  16. 16.
    Grohe, M., Segoufin, L.: On first-order topological queries. ACM Trans. Comput. Log. 3(3), 336–358 (2002)CrossRefMathSciNetGoogle Scholar
  17. 17.
    Horrocks, I., McGuinnes, D.L., Welty, C.A.: Digital Libraries and Web-Based Information Systems. In: Baader, F., et al. (eds.) The Description Logic Handbook, pp. 436–459. Cambridge University Press, Cambridge (2003)Google Scholar
  18. 18.
    Gaines, B., Shaw, M.: Concept Maps as Hypermedia Components. Int. Journal of Human-Computer Studies 43(3), 323–361 (1995)CrossRefGoogle Scholar
  19. 19.
    Knauff, M., Rauh, R., Renz, J.: A Cognitive Assessment of Topological Spatial Relations: Results from an Empirical Investigation. In: Frank, A.U. (ed.) COSIT 1997. LNCS, vol. 1329, pp. 193–206. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  20. 20.
    Lamping, J., Rao, R., Pirolli, P.: A focus + context technique based on hyperbolic geometry for visualizing large hierarchies. In: ACM Conference on Human Factors in Computing Systems (CHI 1995) (1995)Google Scholar
  21. 21.
    Mao, Y., Wu, Z., Chen, H., Zheng, X.: An Interactive Visual Model for Web Ontologies. In: Khosla, R., Howlett, R.J., Jain, L.C. (eds.) KES 2005. LNCS, vol. 3682, pp. 866–872. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  22. 22.
    Mizen, H., Dolbear, C., Hart, G.: Ontology Ontogeny: Understanding How an Ontology Is Created and Developed. In: Rodríguez, M.A., Cruz, I., Levashkin, S., Egenhofer, M.J. (eds.) GeoS 2005. LNCS, vol. 3799, pp. 15–29. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  23. 23.
    Murtagh, F., Taskaya, T., Contreras, P., Mothe, J., Englmeier, K.: Interactive Visual Interfaces: A Survey. Artificial Intelligence Review 19, 263–283 (2003)CrossRefGoogle Scholar
  24. 24.
    Papadimitriou, C., Suciu, D., Vianu, V.: Topological Queries in Spatial Databases. J. Computer System Sci. 58(1), 29–53 (1999)CrossRefMathSciNetMATHGoogle Scholar
  25. 25.
    Renz, J.: A Canonical Model of the Region Connection Calculus. In: Proc. 6th Int. Conf. on Principles of Knowl. Rep. and Reasoning (KR 1998) (1998)Google Scholar
  26. 26.
    Renz, J., Nebel, B.: On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus. Artificial Intelligence 108(1-2), 69–123 (1999)CrossRefMathSciNetMATHGoogle Scholar
  27. 27.
    Tsarkov, D., Riazanov, A., Bechhofer, S., Horrocks, I.: Using Vampire to Reason with OWL. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F. (eds.) ISWC 2004. LNCS, vol. 3298, pp. 471–485. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Joaquín Borrego-Díaz
    • 1
  • Antonia M. Chávez-González
    • 1
  1. 1.Departamento de Ciencias de la Computación e Inteligencia Artificial., E.T.S. Ingeniería InformáticaUniversidad de SevillaSevillaSpain

Personalised recommendations