Edinburgh Research Explorer

Managing Ontological Constraints

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions


Original languageEnglish
Title of host publicationProceedings of the IJCAI-99 workshop on Ontologies and Problem-Solving Methods (KRR5)
EditorsV. Richard Benjamins
PublisherCEUR Publications
Number of pages13
ISBN (Print)90-5470-085-8
Publication statusPublished - 1999


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 re- flect 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.

ID: 24679539