Managing Ontological Constraints
Managing Ontological Constraints
We explore the use of ontological constraints in a new way: deploying them in a software system's formal evaluation. We present a formalism for ontological constraints and elaborate on a meta interpretation technique in the field of ontologies. Ontological constraints often need enhancements to capture application-specific discrepancies. We propose an editing system that provides guidance in building those constraints and we explain how this helps us to detect conceptual errors that reflect a misuse of ontological constructs. We describe a multilayer architecture for performing such checks and we demonstrate its usage via an example case. We speculate on the potential impact of the approach for the system's design process.
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
August 1999
Kalfoglou, Yannis
d3d242fd-4ce2-4041-b8ea-aa3b3bec3b88
Robertson, Dave
bf58ff91-83fc-41ea-9159-290c29414930
Kalfoglou, Yannis and Robertson, Dave
(1999)
Managing Ontological Constraints.
IJCAI'99 Workshop on Ontologies and Problem-Solving Methods (KRR5).
Record type:
Conference or Workshop Item
(Paper)
Abstract
We explore the use of ontological constraints in a new way: deploying them in a software system's formal evaluation. We present a formalism for ontological constraints and elaborate on a meta interpretation technique in the field of ontologies. Ontological constraints often need enhancements to capture application-specific discrepancies. We propose an editing system that provides guidance in building those constraints and we explain how this helps us to detect conceptual errors that reflect a misuse of ontological constructs. We describe a multilayer architecture for performing such checks and we demonstrate its usage via an example case. We speculate on the potential impact of the approach for the system's design process.
Other
kalfoglou-5.ps
- Other
More information
Published date: August 1999
Additional Information:
Event Dates: August 1999
Venue - Dates:
IJCAI'99 Workshop on Ontologies and Problem-Solving Methods (KRR5), 1999-08-01
Organisations:
Electronics & Computer Science
Identifiers
Local EPrints ID: 256430
URI: http://eprints.soton.ac.uk/id/eprint/256430
PURE UUID: 1655d3dc-569b-4bd4-b274-819a9c0a0140
Catalogue record
Date deposited: 26 Mar 2002
Last modified: 14 Mar 2024 05:42
Export record
Contributors
Author:
Yannis Kalfoglou
Author:
Dave Robertson
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