Copy the page URI to the clipboard
Wermelinger, Michel and Lopes, José Gabriel
(1994).
DOI: https://doi.org/10.1007/3-540-58328-9_10
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.
Viewing alternatives
Download history
Metrics
Public Attention
Altmetrics from AltmetricNumber of Citations
Citations from DimensionsItem Actions
Export
About
- Item ORO ID
- 41275
- Item Type
- Conference or Workshop Item
- 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 or 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)
- Copyright Holders
- © 1994 Springer
- Depositing User
- Michel Wermelinger