The Open UniversitySkip to content

Basic conceptual structures theory

Wermelinger, Michel and Lopes, José Gabriel (1994). Basic conceptual structures theory. In: Conceptual Structures: Current Practices, Lecture Notes in Computer Science, Springer, pp. 144–159.

Full text available as:
PDF (Proof) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
Download (299kB) | Preview
DOI (Digital Object Identifier) Link:
Google Scholar: Look up in Google Scholar


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: 08 Dec 2018 13:46
Share this page:


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.

Actions (login may be required)

Policies | Disclaimer

© The Open University   contact the OU