Wermelinger, Michel
(1997).
|
PDF (Version of Record)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (203kB) | Preview |
| DOI (Digital Object Identifier) Link: | https://doi.org/10.1007/BFb0027912 |
|---|---|
| Google Scholar: | Look up in Google Scholar |
Abstract
One of the most interesting aspects of Conceptual Structures Theory is the notion of canonicity. It is also one of the most neglected: Sowa seems to have abandoned it in the new version of the theory, and most of what has been written on canonicity focuses on the generalization hierarchy of conceptual graphs induced by the canonical formation rules. Although there is a common intuition that a graph is canonical if it is "meaningful'', the original theory is somewhat unclear about what that actually means, in particular how canonicity is related to logic. This paper argues that canonicity should be kept a first-class notion of Conceptual Structures Theory, provides a detailed analysis of work done so far, and proposes new definitions of the conformity relation and the canonical formation rules that allow a clear separation between canonicity and truth.
| Item Type: | Conference or Workshop Item |
|---|---|
| Copyright Holders: | 1997 Springer-Verlag |
| ISBN: | 3-540-63308-1, 978-3-540-63308-2 |
| Academic Unit/School: | Faculty of Science, Technology, Engineering and Mathematics (STEM) > Computing and Communications Faculty of Science, Technology, Engineering and Mathematics (STEM) |
| Research Group: | Centre for Research in Computing (CRC) |
| Item ID: | 41188 |
| Depositing User: | Michel Wermelinger |
| Date Deposited: | 28 Oct 2014 14:31 |
| Last Modified: | 08 Dec 2018 05:00 |
| URI: | http://oro.open.ac.uk/id/eprint/41188 |
| Share this page: |     |
Metrics
Altmetrics from Altmetric | Citations from Dimensions |
Download history for this item
These details should be considered as only a guide to the number of downloads performed manually. Algorithmic methods have been applied in an attempt to remove automated downloads from the displayed statistics but no guarantee can be made as to the accuracy of the figures.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)