Containment in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics Pierre Bourhis Carsten Lutz

Source URL: www.informatik.uni-bremen.de

Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics Stijn Heymans and Thomas Eiter and Guohui Xiao1 Abstract. The deployment of KR formalisms to the Web has created the need for formalisms tha

Source URL: www.ghxiao.org

Design and Implementation of the LogicBlox System Molham Aref Balder ten Cate Todd J. Green Emir Pasalic Todd L. Veldhuizen

Source URL: developer.logicblox.com

• Computing
• Software engineering
• Software
• Grammar
• SQL keywords
• Formal methods
• Datalog
• Prolog
• Predicate
• Relational model
• Join
• Extensible Storage Engine

Technical Communications of ICLPCopyright with the Authors. 1 An abductive Framework for Datalog± Ontologies MARCO GAVANELLI, EVELINA LAMMA, FABRIZIO RIGUZZI,

Source URL: ceur-ws.org

WHIRL in ProbLog Wannes Meert, Anton Dries, Angelika Kimmig KU Leuven, Belgium Abstract

Source URL: lirias.kuleuven.be

• Datalog
• Logic programming
• Non-classical logic
• Prolog
• Inference
• Ranking
• Probabilistic logic
• Clause

Abductive Logic Programming for Datalog± ontologies Marco Gavanelli1 , Evelina Lamma1 , Fabrizio Riguzzi2 , Elena Bellodi1 , Riccardo Zese1 , and Giuseppe Cota1 1

Source URL: ceur-ws.org

Parsing and Generation as Datalog Queries Makoto Kanazawa National Institute of Informatics CFG recognition/parsing as Datalog query evaluation 0

Source URL: research.nii.ac.jp

Recursive Query Plans for Data Integration Oliver M. Duschka Michael R. Genesereth Department of Computer Science, Stanford University, Stanford, CA 94305, USA

Source URL: logic.stanford.edu

• Computing
• Data management
• Software engineering
• Database management systems
• SQL
• Recursion
• Conjunctive query
• Database theory
• Datalog
• Data integration
• Query optimization
• Join

AMIE: Association Rule Mining under Incomplete Evidence in Ontological Knowledge Bases

Source URL: www2013.wwwconference.org

• Computing
• Software engineering
• Data
• Semantic Web
• Association rule learning
• Data management
• Data mining
• Prolog
• Datalog
• Resource Description Framework
• Inference

Towards LarKC: a Platform for Web-scale Reasoning Dieter Fensel (University of Innsbruck) Frank van Harmelen (Vrije Universiteit Amsterdam) Bo Andersson (Astrazeneca AB) Paul Brennan (International Agency for Research on

Source URL: www.cyc.com

• Semantic Web
• Knowledge engineering
• Knowledge representation
• Reasoning
• Artificial intelligence
• Semantic reasoner
• Frank van Harmelen
• Reasoning system
• Web Ontology Language
• Datalog
• Inference
• Ontology