The University of Southampton
University of Southampton Institutional Repository

Use of formal ontologies to support error checking in specifications

Use of formal ontologies to support error checking in specifications
Use of formal ontologies to support error checking in specifications
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 flexible 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.
207-220
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, David
e3624bf2-39c1-4727-824e-48189450e402
Fensel, Dieter
4ceea303-43b9-44fc-8e0b-a6bfc22dd534
Studer, Rudi
5b898132-c882-4470-94bd-fc3975d21f03
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, David
e3624bf2-39c1-4727-824e-48189450e402
Fensel, Dieter
4ceea303-43b9-44fc-8e0b-a6bfc22dd534
Studer, Rudi
5b898132-c882-4470-94bd-fc3975d21f03

Kalfoglou, Yannis and Robertson, David (1999) Use of formal ontologies to support error checking in specifications. Fensel, Dieter and Studer, Rudi (eds.) 11th European Workshop on Knowledge Acquisition, Modelling and Management (EKAW99). pp. 207-220 .

Record type: Conference or Workshop Item (Paper)

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 flexible 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.

Other
ekaw99.ps - Other
Download (437kB)

More information

Published date: May 1999
Additional Information: Event Dates: May 1999
Venue - Dates: 11th European Workshop on Knowledge Acquisition, Modelling and Management (EKAW99), 1999-05-01
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 256427
URI: http://eprints.soton.ac.uk/id/eprint/256427
PURE UUID: ee78d25b-0f34-48be-9d44-4183db867d25

Catalogue record

Date deposited: 26 Mar 2002
Last modified: 19 Jul 2019 22:45

Export record

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×