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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
[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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[CITATION] Ontology Interoperability and Matching Applications
M Lanzenberger, J Sampson...
All 2 versions - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
[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 - Import into BibTeX
[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 - Import into BibTeX
[PDF] ?????????? ????????? ?????. ????? ????????
[PDF] from hse.ru?? ?????????... - ????????????????? ..., 2009 - bijournal.hse.ru
Page 59. 1. ???????? ?????? ?????????? ????????? ????? ????? ????????? ?? ???
???????? ??????: 1. ?????????? ????? ?????????. ??? ?????? ????????? ??? ?????? ?????
?? ????? ??? ???? ??? ???????????? ?????. 2. ??????????? ???????????? ????. ...
Related articles - View as HTML - All 10 versions - Import into BibTeX
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 - Import into BibTeX
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 - Import into BibTeX
|
