Conceptual graphs and first-order logic

Wermelinger, Michel (1995). Conceptual graphs and first-order logic. In: Conceptual Structures: Applications, Implementation and Theory: Third International Conference on Conceptual Structures, ICCS '95 Santa Cruz, CA, USA, August 14–18, 1995 Proceedings, Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence), Springer, pp. 323–337.

Full text available as:

Preview

PDF (Accepted Manuscript) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader Download (241kB) | Preview

DOI (Digital Object Identifier) Link:	https://doi.org/10.1007/3-540-60161-9_47
Google Scholar:	Look up in Google Scholar

Abstract

Conceptual Structures (CS) Theory is a logic-based knowledge representation formalism. To show that conceptual graphs have the power of first-order logic, it is necessary to have a mapping between both formalisms. A proof system, i.e. axioms and inference rules, for conceptual graphs is also useful. It must be sound (no false statement is derived from a true one) and complete (all possible tautologies can be derived from the axioms). This paper shows that Sowa's original definition of the mapping is incomplete, incorrect, inconsistent, and unintuitive, and the proof system is incomplete too. To overcome these problems a new translation algorithm is given and a complete proof system is presented. Furthermore, the framework is extended for higher-order types.

Item Type:	Conference or Workshop Item
Copyright Holders:	1995 Springer-Verlag
ISBN:	3-540-60161-9, 978-3-540-60161-6
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:	41189
Depositing User:	Michel Wermelinger
Date Deposited:	28 Oct 2014 14:37
Last Modified:	08 Dec 2018 13:45
URI:	http://oro.open.ac.uk/id/eprint/41189
Share this page:

Metrics

Altmetrics from Altmetric	Citations from Dimensions

Actions (login may be required)

RDF+XMLBibTeXRIOXX2 XMLRDF+N-TriplesJSONDublin CoreAtomSimple MetadataReferMETSHTML CitationASCII CitationRefMan RIS Format (UTF-8)OpenURL ContextObjectEndNoteMODSOpenURL ContextObject in SpanMPEG-21 DIDLEP3 XMLRefMan RIS FormatRDF+N3