Graph-Based Knowledge Representation and Reasoning


Graph-Based Knowledge Representation and Reasoning

See also:

Case-based Reasoning & Dialog Systems | Conceptual Graphs & Dialog Systems | DECReasoner | Deep Reasoning Systems | HermiT Reasoner | IRIS Reasoner | Knowledge Representation and Reasoning | Metaphor-based Reasoning | RADAR (Reflective Agents with Distributed Adaptive Reasoning) | Semantic Web Reasoning 


Graph-Based Knowledge Representation and Reasoning M Chein – 2010 – hal-lirmm.ccsd.cnrs.fr The model presented in this talk is a computational model. It aims at representing  knowledge by computational objects and at reasoning with the represented knowledge, ie,  at processing them by algorithms (philosophical or psychological aspects of knowledge … All 2 versions

[BOOK] Graph-based knowledge representation: computational foundations of conceptual graphs M Chein… – 2009 – books.google.com Page 1. Michel Chein Marie-Laure Mugnier Graph-based Knowledge Representation Computational Foundations of Conceptual Graphs Springer Page 2. Advanced Information and Knowledge Processing Series Editors Professor …  Cited by 75 – Related articles – Library Search – All 7 versions

The SG family: extensions of simple conceptual graphs JF Baget… – Proceedings of the 17th international joint …, 2001 – dl.acm.org … top of page ABSTRACT. We introduce the SG family of graph-based knowledge representation and reasoning models, basically extensions of the simple conceptual graphs model. Objects of these models are colored simple …  Cited by 12 – Related articles – BL Direct – All 3 versions

Heavyweight ontology engineering [PDF] from uni-ulm.deF Fürst… – On the Move to Meaningful Internet Systems 2006: …, 2006 – Springer … Two approaches for reasoning with CGs can be distin- guished: (1) considered CGs as a graphical interface for logics and reasoning with logic and (2) considered CGs as a graph-based knowledge representation and reasoning for- malism with its own reasoning capabilities. …  Cited by 9 – Related articles – BL Direct – All 3 versions

On temporal analysis of timed influence nets using point graphs [PDF] from psu.eduS Haider, AK Zaidi… – the Proc. of the 18th International FLAIRS …, 2005 – aaai.org … This paper presents an algorithm that generates a corresponding Point Graph for a Timed Influence Net. This graph-based knowledge representation and reasoning formalism is shown to help reveal temporal behavior of the modeled system. …  Cited by 7 – Related articles – All 10 versions

[PDF] Axiom-based ontology matching: a method and an experiment [PDF] from inria.frF Fürst, F Trichet – research report, mars, 2005 – hal.inria.fr … Two approaches for reasoning with CGs can be distinguished: (1) considered CGs as a graphical interface for logics and reasoning with logic and (2) considered CGs as a graph-based knowledge representation and reasoning formalism with its own reasoning capabilities. …  Cited by 5 – Related articles – View as HTML – All 7 versions

Walking the complexity lines for generalized guarded existential rules [PDF] from ijcai.orgJF Baget, ML Mugnier, S Rudolph… – Proc. 22nd Int. Conf. on …, 2011 – aaai.org Page 1. Walking the Complexity Lines for Generalized Guarded Existential Rules Jean-François Baget INRIA France baget@lirmm.fr Marie-Laure Mugnier Univ. Montpellier II France mugnier@lirmm.fr Sebastian Rudolph KIT Germany rudolph@kit.edu Michaël Thomazo Univ. …  Cited by 5 – Related articles – All 8 versions

Axiom-based ontology matching F Fürst… – Expert Systems, 2009 – Wiley Online Library … Two approaches for reasoning with CGs can be distinguished: (1) considering CGs as a graphical interface for logics and reasoning with logic and (2) considering CGs as a graph-based knowledge representation and reasoning formalism with its own reasoning capabilities. …  Cited by 2 – Related articles – All 2 versions

Towards farsighted dependencies for existential rules [PDF] from cnrs.frJF Baget, ML Mugnier… – Web Reasoning and Rule Systems, 2011 – Springer Page 1. Towards Farsighted Dependencies for Existential Rules Jean-François Baget 1,3 , Marie-Laure Mugnier 2,3 , and Michaël Thomazo 2,3 1 INRIA, France 2 University Montpellier 2, France 3 LIRMM, France Abstract. We …  Cited by 2 – Related articles – All 10 versions

Containment of conjunctive queries with negation: Algorithms and experiments [PDF] from lirmm.frK Mohamed, M Leclère… – Database and Expert Systems …, 2011 – Springer Page 1. Containment of Conjunctive Queries with Negation: Algorithms and Experiments Khalil Ben Mohamed, Michel Lecl`ere, and Marie-Laure Mugnier LIRMM (CNRS – University of Montpellier), France {benmohamed,leclere,mugnier}@lirmm.fr Abstract. …  Cited by 3 – Related articles – All 3 versions

Ologs: a categorical framework for knowledge representation [PDF] from arxiv.orgDI Spivak – Arxiv preprint arXiv:1102.1889, 2011 – arxiv.org Page 1. arXiv:1102.1889v1 [cs.LO] 9 Feb 2011 OLOGS: A CATEGORICAL FRAMEWORK FOR KNOWLEDGE REPRESENTATION DAVID I. SPIVAK Abstract. In this paper we introduce the olog, or ontology log, a category- theoretic model for knowledge representation (KR). …  Cited by 2 – Related articles – All 5 versions

[PDF] Family: Extensions of Simple Conceptual Graphs [PDF] from lirmm.frJF Baget… – proceedings of the IJCAI-01 conference, 2001 – lirmm.fr Page 1. The ¢¡ Family: Extensions of Simple Conceptual Graphs Jean-François Baget LIRMM 161, rue Ada 34392 Montpellier, Cedex 5 France http://www.lirmm.fr/£ baget/ Marie-Laure Mugnier LIRMM 161, rue Ada 34392 Montpellier …  Cited by 1 – Related articles – View as HTML – All 2 versions

Conceptual Graph Rules and Equivalent Rules: A Synthesis [PDF] from lirmm.frML Mugnier – Conceptual Structures: Leveraging Semantic …, 2009 – Springer … LNCS (LNAI), vol. 3127, pp. 303-318. Springer, Heidelberg (2004) [CM08] Chein, M., Mugnier, M.-L.: Graph-based Knowledge Representation and Reasoning-Computational Foundations of Conceptual Graphs. In: Ad- vanced Information and Knowledge Processing. …  Cited by 1 – Related articles – All 5 versions

[PDF] Visual Reasoning with Graph-based Mechanisms: the Good, the Better and the Best [PDF] from lirmm.frM Chein, ML Mugnier… – lirmm.fr … Abstract This paper presents a graph-based knowledge representation and reasoning language. This language benefits from an important syntactic operation, which is called a graph homomorphism. This operation is sound and complete with respect to logical deduction. …  Related articles – View as HTML – All 4 versions

Integrated multimedia electronic patient record and graph-based image information for cerebral tumors [PDF] from enst.frJ Puentes, B Batrancourt, J Atif, E Angelini… – Computers in Biology …, 2008 – Elsevier Related articles – All 11 versions

[CITATION] LIRMM LIRMM 161, rue Ada 161, rue Ada 34392 Montpellier, Cedex 5 34392 Montpellier, Cedex 5 France France http://www. lirmm. fr/~ baget/http://www. … JFBML Mugnier – Proceedings of the… International Joint Conference on …, 2001 – sn Related articles

[PDF] LINA-FRE CNRS 2729 [PDF] from ceur-ws.orgF Trichet… – ceur-ws.org … on logics and graph theory [7 ] . Two ap- proaches for reasoning with CGs can be distinguished: (1) considered CGs as a graphical interface for logics and reasoning with logic and ( 2 ) considered CGs as a graph-based knowledge representation and reasoning formalism with …  Related articles – View as HTML – All 2 versions

Ontological query answering with existential rules [PDF] from cnrs.frML Mugnier – Web Reasoning and Rule Systems, 2011 – Springer Page 1. Ontological Query Answering with Existential Rules Marie-Laure Mugnier University Montpellier 2, France Abstract. The need for an ontological layer on top of data, associated with ad- vanced reasoning mechanisms …  Related articles – All 9 versions

Ontological conjunctive query answering over semi-structured KBs [PDF] from inria.frBPL da Silva, JF Baget… – … Workshops (ICDEW), 2011 …, 2011 – ieeexplore.ieee.org … Addison-Wesley, 1995. [9] M. Chein and M.-L. Mugnier, Graph-based Knowledge Representation and Reasoning-Computational Foundations of Conceptual Graphs, ser. Advanced Information and Knowledge Processing. Springer, 2009. …  Related articles – All 5 versions

Ontological Conjunctive Query Answering over Semi-Structured KBs [PDF] from cnrs.frB Paiva Lima Da Silva, JF Baget… – 2011 – hal-lirmm.ccsd.cnrs.fr … Addison-Wesley, 1995. [9] M. Chein and M.-L. Mugnier, Graph-based Knowledge Representation and Reasoning-Computational Foundations of Conceptual Graphs, ser. Advanced Information and Knowledge Processing. Springer, 2009. …  Related articles – All 3 versions

Semantic Technologies for Enterprises [PDF] from existential-graphs.netF Dau – Conceptual Structures for Discovering Knowledge, 2011 – Springer … knowledge for embracing ST, such as theoretical and philosophical background of ST, as well as practical knowledge about • FCA (both theoretical foundations and practical applications) • different graph-based knowledge representation and reasoning (like existential graphs …  Related articles – All 13 versions

Supporting Argumentation Systems by Graph Representation and Computation [PDF] from archives-ouvertes.frJ Fortin, R Thomopoulos, JR Bourguet… – 2011 – hal.archives-ouvertes.fr Page 1. Supporting Argumentation Systems by Graph Representation and Computation Jérôme Fortin Université Montpellier II fortin@supagro.inra.fr Rallou Thomopoulos INRA rallou.thomopoulos@supagro.inra.fr Jean-Rémi …  Related articles – All 8 versions

Ontology Matching based on the comparison of Axioms represented with Conceptual Graphs F Furst… – Complex, Intelligent and Software Intensive …, 2008 – ieeexplore.ieee.org … Two ap- proaches for reasoning with CGs can be distinguished: (1) considered CGs as a graphical interface for logics and rea- soning with logic and (2) considered CGs as a graph-based knowledge representation and reasoning formalism with its own reasoning capabilities. …  Related articles – All 3 versions

Semantic Information Retrieval Dedicated to Multimedia Systems: A Platform Based on Conceptual Graphs X Aimé… – New Directions in Intelligent Interactive Multimedia, 2008 – Springer … logics and graph theory [3]. However, to reason with CGs, two approaches can be distinguished: (1) considered CGs as a graphic interface for logics and thus reasoning with logics, (2) considered CGs as a graph-based knowledge representation and reasoning formalism with …  Related articles – All 2 versions

[CITATION] Ontology Interoperability and Matching Applications M Lanzenberger, J Sampson… All 2 versions

A theoretical and experimental comparison of algorithms for the containment of conjunctive queries with negation [PDF] from lirmm.frK Mohamed, M Leclère… – Database and Expert Systems …, 2011 – Springer Page 1. A Theoretical and Experimental Comparison of Algorithms for the Containment of Conjunctive Queries with Negation Khalil Ben Mohamed, Michel Lecl`ere, and Marie-Laure Mugnier University of Montpellier II, France, {benmohamed,leclere,mugnier}@lirmm.fr Abstract. …  Related articles – All 6 versions

On rules with existential variables: Walking the decidability line [PDF] from lirmm.frJF Baget, M Leclère, ML Mugnier… – Artificial Intelligence, 2011 – Elsevier Cited by 9 – Related articles – All 7 versions

[PDF] Sampling Algorithms for Probabilistic Graphical Models with Determinism DISSERTATION [PDF] from washington.eduVG Gogate – 2009 – cs.washington.edu Page 1. UNIVERSITY OF CALIFORNIA, IRVINE Sampling Algorithms for Probabilistic Graphical Models with Determinism DISSERTATION submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in Information and Computer Sciences by …  Related articles – View as HTML – All 5 versions

[PDF] On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation [PDF] from inria.frML Mugnier, G Simonet, M Thomazo – 2011 – hal.inria.fr Page 1. On the Complexity of Entailment in Existential Conjunctive First Order Logic with Atomic Negation Marie-Laure Mugnier* † University Montpellier II mugnier@lirmm.fr Geneviève Simonet* University Montpellier II simonet@lirmm.fr …  Related articles – View as HTML – All 6 versions

ICCS’09 CONCEPTUAL STRUCTURES: LEVERAGING SEMANTIC TECHNOLOGIES ?? ????????? – … ?????? ???????????? ?????? …, 2009 – bijournal.hse.ru … knowledge representation and reasoning with conceptual structures ? applied conceptual structures including data mining and knowledge discovery ? theory and applications of formal ontolo gies ? graph based knowledge representation and reasoning Authors are invited to …  View as HTML – All 3 versions

On the Complexity of Deduction in Existential Conjunctive First Order Logic with Atomic Negation (Long Version) [PDF] from cnrs.frML Mugnier, G Simonet, M Thomazo – 2009 – hal-lirmm.ccsd.cnrs.fr Page 1. RESEARCH REPORT On the Complexity of Deduction in Existential Conjunctive First Order Logic with Atomic Negation (Long Version) Marie-Laure Mugnier mugnier@lirmm.fr Geneviève Simonet simonet@lirmm.fr Michaël Thomazo mthomazo@dptinfo.ens-cachan.fr …  Related articles – All 7 versions