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
May 1999
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).
.
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.
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: 14 Mar 2024 05:42
Export record
Contributors
Author:
Yannis Kalfoglou
Author:
David Robertson
Editor:
Dieter Fensel
Editor:
Rudi Studer
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