Wermelinger, Michel and Lopes, José Gabriel
(1994).
|
PDF (Proof)
- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (299kB) | Preview |
| DOI (Digital Object Identifier) Link: | https://doi.org/10.1007/3-540-58328-9_10 |
|---|---|
| Google Scholar: | Look up in Google Scholar |
Abstract
Although the theory of Conceptual Structures is over 10 years old, basic notions (like canonical graphs) are far from settled and are subject to constant extensions and reformulations. However, most of these are done in an informal way, which doesn't help in clarifying the issues involved. It is our hope that this paper will provide a first step towards the complete and rigorous account of Conceptual Structures (CS) Theory, which is needed for ongoing standardization and implementation efforts.
Towards that goal, we present formal definitions of some of the central notions of CS theory (type, referent, concept, relation, conceptual graph, canonical formation rules, canon, and canonical graph) in its simplest form, i.e. no contexts nor coreference links are allowed and referents must be individuals. We thereby introduce higher-order types in order to enable the use of conceptual graphs at the metalevel, the restriction operation of the canonical formation rules is extended to make use of the relation hierarchy, we show the relationship between denotation and conformity relation, and we give a rigorous meaning to the canonical basis, among other things.
| Item Type: | Conference or Workshop Item |
|---|---|
| Copyright Holders: | 1994 Springer |
| ISBN: | 3-540-58328-9, 978-3-540-58328-8 |
| ISSN: | 0302-9743 |
| Extra Information: | Proceedings of the Second International Conference on Conceptual Structures, ICCS'94 College Park, Maryland, USA August 16–20, 1994 |
| Keywords: | formalization of CS theory; higher-order concept and relation types; type and marker hierarchies; metalevel and instance level |
| 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: | 41275 |
| Depositing User: | Michel Wermelinger |
| Date Deposited: | 12 Nov 2014 14:31 |
| Last Modified: | 12 Sep 2018 11:07 |
| URI: | http://oro.open.ac.uk/id/eprint/41275 |
| 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)