Advertisement

Simple Conceptual Graphs with Atomic Negation and Difference

  • Michel Leclère
  • Marie-Laure Mugnier
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4068)

Abstract

This paper studies the introduction of atomic negation into simple conceptual graphs. Several semantics of negation are explored w.r.t. the deduction problem and the query answering problem. Sound and complete algorithm schemes based on projection (or coref-projection) are provided in all cases. The processing of equality/inequality is added to the framework.

Keywords

Negative Relation Intuitionistic Logic Conceptual Graph Concept Node Query Answering 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BBV97]
    Bos, C., Botella, B., Vanheeghe, P.: Modeling and Simulating Human Behaviors with Conceptual Graphs. In: Delugach, H.S., Keeler, M.A., Searle, L., Lukose, D., Sowa, J.F. (eds.) ICCS 1997. LNCS (LNAI), vol. 1257, pp. 275–289. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  2. [BM02]
    Baget, J.-F., Mugnier, M.-L.: The Complexity of Rules and Constraints. JAIR 16, 425–465 (2002)MATHMathSciNetGoogle Scholar
  3. [CM04]
    Chein, M., Mugnier, M.-L.: Types and Coreference in Simple Conceptual Graphs. In: Wolff, K.E., Pfeiffer, H.D., Delugach, H.S. (eds.) ICCS 2004. LNCS (LNAI), vol. 3127, pp. 303–318. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. [Dau03]
    Dau, F.: The Logic System of Concept Graphs with Negation. LNCS (LNAI), vol. 2892. Springer, Heidelberg (2003)MATHCrossRefGoogle Scholar
  5. [Fit69]
    Fitting, M.C.: Intuitionistic Logic, Model Theory and Forcing. North Holland, Amsterdam (1969)MATHGoogle Scholar
  6. [Ker01]
    Kerdiles, G.: Saying it with Pictures: a Logical Landscape of Conceptual Graphs. PhD thesis, Univ. Montpellier II / Amsterdam (November 2001), http://turing.wins.uva.nl/~kerdiles/
  7. [Kli05]
    Klinger, J.: Local Negation in Concept Graphs. In: Dau, F., Mugnier, M.-L., Stumme, G. (eds.) ICCS 2005. LNCS (LNAI), vol. 3596, pp. 209–222. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. [ML05]
    Mugnier, M.L., Leclère, M.: On Querying Simple Conceptual Graphs with Negation. Research Report LIRMM 05-051 (July 2005); revised version to appear in Data and Knowledge Engineering (2006)Google Scholar
  9. [Mug00]
    Mugnier, M.-L.: Knowledge Representation and Reasoning based on Graph Homomorphism. In: Ganter, B., Mineau, G.W. (eds.) ICCS 2000. LNCS, vol. 1867, pp. 172–192. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  10. [Sow84]
    Sowa, J.F.: Conceptual Structures: Information Processing in Mind and Machine. Addison-Wesley, Reading (1984)MATHGoogle Scholar
  11. [Wag03]
    Wagner, G.: Web Rules Need Two Kinds of Negation. In: Bry, F., Henze, N., Małuszyński, J. (eds.) PPSWR 2003. LNCS, vol. 2901, pp. 33–50. Springer, Heidelberg (2003), http://tmitwww.tm.tue.nl/staff/gwagner CrossRefGoogle Scholar
  12. [WL94]
    Wermelinger, M., Lopes, J.G.: Basic Conceptual Structures Theory. In: Tepfenhart, W.M., Dick, J.P., Sowa, J.F. (eds.) ICCS 1994. LNCS (LNAI), vol. 835, pp. 144–159. Springer, Heidelberg (1994)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Michel Leclère
    • 1
  • Marie-Laure Mugnier
    • 1
  1. 1.LIRMM, CNRS – Université Montpellier 2MontpellierFrance

Personalised recommendations