Abstract.
In this article, we provide different possibilities for doing reasoning on simple concept(ual) graphs without negations or nestings. First of all, we have on the graphs the usual semantical entailment relation ⊧, and we consider the restriction ⊢ of the calculus for concept graph with cuts, which has been introduced in [Da02], to the system of concept graphs without cuts. Secondly, we introduce a semantical entailment relation ⊧ as well as syntactical transformation rules ⊢ between models. Finally, we provide definitions for standard graphs and standard models so that we translate graphs to models and vice versa. Together with the relations ⊧ and ⊢ on the graphs and on the models, we show that both calculi are adequate and that reasoning can be carried over from graphs to models and vice versa.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Dau, F.: The Logic System of Concept Graphs with Negations and its Relationship to Predicate Logic. PhD-Thesis, Darmstadt University of Technology (2002); To appear in Springer Lecture Notes on Computer Science
Chein, M., Mugnier, M.-L.: Conceptual Graphs: Fundamental Notions. Revue d’Intelligence Artificielle 6, 365–406 (1992)
Mugnier, M.-L.: Knowledge Representation and Reasonings Based on Graph Homomophism. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS (LNAI), vol. 1867, pp. 172–192. Springer, Heidelberg (2000)
Ganter, B., Wille, R.: Formal Concept Analysis: Mathematical Foundations. Springer, Heidelberg (1999)
Prediger, S.: Kontextuelle Urteilslogik mit Begriffsgraphen. Ein Beitrag zur Restrukturierung der mathematischen Logik. Shaker Verlag, Aachen (1998)
Prediger, S.: Simple Concept Graphs: A Logic Approach. In: Mugnier, M.-L., Chein, M. (eds.) ICCS 1998. LNCS (LNAI), vol. 1453, pp. 225–239. Springer, Heidelberg (1998)
Shin, S.J.: The Iconic Logic of Peirce’s Graphs. Bradford Book, Massachusetts (2002)
Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison Wesley Publishing Company, Reading (1984)
Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brooks Cole Publishing Co., Pacific Grove (2000)
Wille, R.: Conceptual Graphs and Formal Concept Analysis. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol. 1257, pp. 290–303. Springer, Heidelberg (1997)
Wille, R.: Existential Concept Graphs of Power Context Families. In: Priss, U., Corbett, D.R., Angelova, G. (eds.) ICCS 2002. LNCS (LNAI), vol. 2393, pp. 382–396. Springer, Heidelberg (2002)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Dau, F. (2003). Concept Graphs without Negations: Standard Models and Standard Graphs. In: Ganter, B., de Moor, A., Lex, W. (eds) Conceptual Structures for Knowledge Creation and Communication. ICCS 2003. Lecture Notes in Computer Science(), vol 2746. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45091-7_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-45091-7_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40576-4
Online ISBN: 978-3-540-45091-7
eBook Packages: Springer Book Archive