Query Graphs with Cuts: Mathematical Foundations Frithjof Dau Technische Universit¨ at Darmstadt, Fachbereich Mathematik Schloßgartenstr. 7, DDarmstadt,

Source URL: www.dr-dau.net

• Graph theory
• Mathematics
• Discrete mathematics
• Diagrams
• Charles Sanders Peirce
• Philosophical logic
• Logic
• Existential graph
• Graph
• Conceptual graph
• Ear decomposition
• Entitative graph

Combining Existential Rules and Description Logics Antoine Amarilli1,2 , Michael Benedikt2 1 Télécom 2 University ParisTech, Paris, France

Source URL: a3nm.net

• Computing
• Logic
• Boolean algebra
• Conjunctive query
• Database theory
• Description logic
• Web standards
• FO
• Boolean conjunctive query
• Web Ontology Language

Journal of Artificial Intelligence Research808 Submitted 01/13; publishedAcyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies

Source URL: www.jair.org

Scalable Query Rewriting: A Graph-Based Approach George Konstantinidis José Luis Ambite Information Sciences Institute

Source URL: www.isi.edu

• Database theory
• Conjunctive query
• Query languages
• Data integration
• Formal languages
• Datalog
• FO
• Existential query
• Conceptual graph
• Mathematics
• Theoretical computer science
• Mathematical logic