Use of Formal Ontologies to Support Error Checking in Specifications

  • Yannis Kalfoglou
  • David Robertson
Conference paper

DOI: 10.1007/3-540-48775-1_13

Part of the Lecture Notes in Computer Science book series (LNCS, volume 1621)
Cite this paper as:
Kalfoglou Y., Robertson D. (1999) Use of Formal Ontologies to Support Error Checking in Specifications. In: Fensel D., Studer R. (eds) Knowledge Acquisition, Modeling and Management. EKAW 1999. Lecture Notes in Computer Science, vol 1621. Springer, Berlin, Heidelberg

Abstract

This paper explores the possibility of using formal ontologies to support detection of conceptual errors in specifications. We define a conceptual error as a misunderstanding of the application domain knowledge which results in undesirable behaviour of the software system. We explain how to use formal ontologies, and in particular ontological constraints, to tackle this problem. We present a exible architecture based on meta interpretation in logic programming in which the specification is viewed as a multilayer design. We illustrate the significance of this approach for the software and ontology engineering community via an example case in the domain of ecological modelling.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1999

Authors and Affiliations

  • Yannis Kalfoglou
    • 1
  • David Robertson
    • 1
  1. 1.School of Artificial IntelligenceInstitute for Representation and Reasoning, Division of Informatics, University of EdinburghEdinburghScotland

Personalised recommendations