Verifying ontological commitment in knowledge-based systems |
| |
| Affiliation: | 1. Department of Psychology, Mount Saint Vincent University, Halifax, Nova Scotia, Canada;2. Department of Psychology, Saint Mary’s University, Halifax, Nova Scotia, Canada;3. Biomedical Translational Imaging Centre (BIOTIC), Halifax, Nova Scotia, Canada;4. Department of Psychiatry, Dalhousie University, Halifax, Nova Scotia, Canada;1. Aragon Institute of Engineering Research (I3A), University of Zaragoza, Spain;2. Istituto di Scienza e Tecnologie dell''Informazione, Consiglio Nazionale delle Ricerche (ISTI-CNR), Pisa, Italy;1. Department of Philosophy, University of British Columbia, Canada;2. Munich Center for Mathematical Philosophy, LMU, Munich, Germany;3. Department of Philosophy, University of Vienna, Austria |
| |
| Abstract: | An ontology defines the terminology of a domain of knowledge: the concepts that constitute the domain, and the relationships between those concepts. In order for two or more knowledge-based systems to interoperate—for example, by exchanging knowledge, or collaborating as agents in a co-operative problem-solving process—they must commit to the definitions in a common ontology. Verifying such commitment is therefore a prerequisite for reliable knowledge-based system interoperability. This article shows how existing knowledge base verification techniques can be applied to verify the commitment of a knowledge-based system to a given ontology. The method takes account of the fact that an ontology will typically be expressed using a different knowledge representation language to the knowledge base, by incorporating translation into the verification procedure. While the representation languages used are specific to a particular project, their features are general and the method has broad applicability. |
| |
| Keywords: | |
| 本文献已被 ScienceDirect 等数据库收录！ |
|
