CS6795 Semantic Web Techniques Project Report XSLT 2.0 Translation of Datalog+ RuleML 1.01/XML to a Subset of the TPTP Language

Source URL: edmonl.github.io

To appear in the Proceedings of the AAAI Workshop on AI and Information Integration, Madison, WI, JulyQuery Planning with Disjunctive Sources Oliver M. Duschka

Source URL: logic.stanford.edu

• Computing
• Data management
• Data
• Database theory
• Database management systems
• Query languages
• Conjunctive query
• Datalog
• SQL
• Join
• Database
• Query plan

Distributed SociaLite: A Datalog-Based Language for Large-Scale Graph Analysis Jiwon Seo Jongsoo Park

Source URL: pcl.intel-research.net

Cruanes, Heymans, Mason, Owre, and Shankar The Semantics of Datalog for the Evidential Tool Bus? (Extended Abstract) Simon Cruanes1 , Stijn Heymans2 , Ian Mason3 , Sam Owre3 , and Natarajan

Source URL: stijnheymans.net

• Predicate logic
• Mathematical logic
• Propositional calculus
• Automated theorem proving
• Query languages
• Datalog
• Prolog
• Logic programming
• Ground expression
• Horn clause
• Substitution
• First-order logic

Containment of monadic datalog programs via bounded clique-width? Mikoªaj Boja«czyk, Filip Murlak, and Adam Witkowski University of Warsaw

Source URL: www.mimuw.edu.pl

The Design and Implementation of Declarative Networks Boon Thau Loo Electrical Engineering and Computer Sciences

Source URL: www.eecs.berkeley.edu

• Software engineering
• Computing
• Computer programming
• Joseph M. Hellerstein
• Datalog
• Ion Stoica
• Scott Shenker
• Logic programming
• Samuel Madden
• Alma-0

Navigational Queries Based on Frontier-Guarded Datalog: Preliminary Results? 2 ˇ Meghyn Bienvenu1 , Magdalena Ortiz2 , and Mantas Simkus 1

Source URL: ceur-ws.org

N. Fuhr • POOL: a probabilistic object-oriented logic • Probabilistic Datalog

Source URL: www.is.informatik.uni-duisburg.de

Efficient Query Rewriting in the Description Logic EL and Beyond ˙ Peter Hansen and Carsten Lutz and Inanc ¸ Seylan University of Bremen, Germany {hansen, clu, seylan}@informatik.uni-bremen.de

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

• Symbol
• Model theory
• Rewriting
• Datalog
• FO
• Theoretical computer science
• Logic
• Mathematics

Appears in Proceedings of VMCAI2013, Springerlink. The final publication is available at http://link.springer.com/chapter%2F978. Its DOI isTool Integration with the

Source URL: cedeela.fr

• Query languages
• Quantification
• Datalog
• Mathematical logic
• Prolog
• Logic programming
• Predicate
• Function
• Resolution
• Logic
• Mathematics
• Computing