Representing Multi-scale Datalog +/- Using Hierarchical Graphs

We introduce a multi scale knowledge representation and reasoning formalism of Datalog+/− knowledge bases. This is defined on a novel graph transformation system that highlights a new type of rendering based on the additional expansion of relation nodes. Querying and integration capabilities of our approach are based on a FOL sound and complete homomorphism.

[1]  Madalina Croitoru,et al.  A Generic Platform for Ontological Query Answering , 2012, SGAI Conf..

[2]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[3]  E. L. Nichols,et al.  Introduction to Supply Chain Management , 1998 .

[4]  Liang Xiao,et al.  Expressive security policy rules using Layered Conceptual Graphs , 2007, Knowl. Based Syst..

[5]  Madalina Croitoru,et al.  Hierarchical Knowledge Integration Using Layered Conceptual Graphs , 2005, ICCS.

[6]  Heiner Stuckenschmidt,et al.  Ontology-Based Integration of Information - A Survey of Existing Approaches , 2001, OIS@IJCAI.

[7]  Franz Baader,et al.  Logic-Based Knowledge Representation , 1999, Artificial Intelligence Today.

[8]  Kei-Hoi Cheung,et al.  Semantic Web: Revolutionizing Knowledge Discovery in the Life Sciences , 2006 .

[9]  Madalina Croitoru,et al.  ALASKA for Ontology Based Data Access , 2013, ESWC.

[10]  Marie-Laure Mugnier,et al.  Positive Nested Conceptual Graphs , 1997, ICCS.

[11]  M. Chein,et al.  Conceptual graphs: fundamental notions , 1992 .

[12]  Franz Baader,et al.  Pushing the EL Envelope , 2005, IJCAI.

[13]  Marie-Laure Mugnier,et al.  Nested Graphs: A Graph-based Knowledge Representation Model with FOL Semantics , 1998, KR.

[14]  Marie-Laure Mugnier.  Ontological Query Answering with Existential Rules , 2011, RR.

[15]  Ian F. Akyildiz,et al.  Sensor Networks , 2002, Encyclopedia of GIS.

[16]  Diego Calvanese,et al.  Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family , 2007, Journal of Automated Reasoning.

[17]  Andrea Calì,et al.  A general datalog-based framework for tractable query answering over ontologies , 2009, SEBD.

[18]  Robert Levinson,et al.  In Implementation Model for Contexts and Negation in Conceptual Graphs , 1995, ICCS.

[19]  A. Benczúr,et al.  Datalog extension for nested relations , 1995 .

[20]  Christian A. Ullrich.  Introduction to Supply Chain Management , 2014 .