Datalog - PDFSEARCH.IO - Document Search Engine

Datalog
Results: 248

#	Item
221	PrPl: A Decentralized Social Networking Infrastructure Seok-Won Seong Jiwon Seo Matthew Nasielski Debangsu Sengupta Sudheendra Hangal Seng Keat Teh Ruven Chu Ben Dodson Monica S. Lam Computer Science and Electrical Engin Add to Reading List Source URL: mobisocial.stanford.edu Language: English - Date: 2010-05-23 17:52:27 Social networks OpenID Web services Distributed social network XRDS Peer-to-peer Social networking service Semantic Web Datalog Computing Federated identity Cloud standards
222	Under consideration for publication in Theory and Practice of Logic Programming 1 A Linear Logic Programming Language for Concurrent Programming over Graph Structures Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2014-02-18 19:39:57 Logic programming Datalog Linear logic Prolog Logic PageRank Static single assignment form Software engineering Computing Programming language theory
223	On Testing Satisfiability of Tree Pattern Queries Add to Reading List Source URL: www.vldb.org Language: English - Date: 2006-07-29 01:28:11 Logic First-order logic Model theory Predicate logic Datalog FO Decomposition method Constraint logic programming Theoretical computer science Mathematical logic Constraint programming
224	Reasoning in Description Logics by a Reduction to Disjunctive Datalog Ullrich Hustadt Department of Computer Science, University of Liverpool, Liverpool, UK Boris Motik Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2014-06-05 10:16:49 Reasoning Information Programming paradigms Semantic Web Datalog Abox Tbox Description logic Semantic reasoner Logic Science Ontology
225	RuleML 1.0: The Overarching Specification of Web Rules Harold Boley1 , Adrian Paschke2 , and Omair Shafiq3 1 Institute for Information Technology, National Research Council Canada Add to Reading List Source URL: cs.unb.ca Language: English - Date: 2010-08-08 15:07:55 Artificial intelligence Data management Query languages Unified Modeling Language Markup languages Semantic Web Rule Language RuleML Datalog Production Rule Representation Computing Semantic Web Rule engines
226	Datalog+/- a Unifying Framework for Ontological Reasoning and Query-Answering Add to Reading List Source URL: ontolog.cim3.net Language: English - Date: 2013-10-31 13:44:22 Mathematical logic Datalog Semantic Web Knowledge representation RDF Computer languages F-logic Description logic Logic programming Computing Query languages Data management
227	ASSIST. PROF.DR. GÜLAY ÜNEL Işık University Department of Information Technologies [removed] 1. Name Add to Reading List Source URL: www.isikun.edu.tr Language: English - Date: 2012-07-11 07:18:33 Bilkent University Science Information Academia Işık University Datalog Description logic
228	On conjunctive query answering in EL Riccardo Rosati Dipartimento di Informatica e Sistemistica Universit`a di Roma “La Sapienza” Via Salaria 113, 00198 Roma, Italy [removed] Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Database theory Mathematics Datalog Mathematical logic FO Modal logic Tbox Rewriting Theoretical computer science Logic Conjunctive query
229	Partitioning ABoxes Based on Converting DL to Plain Datalog Jianfeng Du1,2 and Yi-Dong Shen1 1 2 Add to Reading List Source URL: www.ceur-ws.org Language: English - Date: 2007-05-22 01:39:22 Logic Datalog Partition of a set Inference Abox Derived row Partition Mathematics Combinatorics Data management
230	The XSB System Version 3.3 Volume 2: Libraries, Interfaces and Packages Add to Reading List Source URL: xsb.sourceforge.net Language: English - Date: 2013-07-04 05:07:52 Query languages Abstract data types Prolog Predicate logic Datalog Predicate XSB SQL HTML element Computing Software engineering Data types