Filters








322 Hits in 2.5 sec

Column-Oriented Datalog Materialization for Large Knowledge Graphs (Extended Technical Report) [article]

Jacopo Urbani, Ceriel Jacobs, Markus Krötzsch
2016 arXiv   pre-print
The evaluation of Datalog rules over large Knowledge Graphs (KGs) is essential for many applications.  ...  In this paper, we present a new method of materializing Datalog inferences, which combines a column-based memory layout with novel optimization methods that avoid redundant inferences at runtime.  ...  Discussion and Conclusions We have introduced a new column-oriented approach to perform Datalog in-memory materialization over large KGs.  ... 
arXiv:1511.08915v2 fatcat:fnoxuh73lfabng676hdhjvbfja

EDUTELLA

Wolfgang Nejdl, Boris Wolf, Changtao Qu, Stefan Decker, Michael Sintek, Ambjörn Naeve, Mikael Nilsson, Matthias Palmér, Tore Risch
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
Metadata for the World Wide Web is important, but metadata for Peer-to-Peer (P2P) networks is absolutely crucial.  ...  In this paper we discuss the open source project Edutella which builds upon metadata standards defined for the WWW and aims to provide an RDFbased metadata infrastructure for P2P applications, building  ...  The example knowledge base in Datalog reads In RDF any statement is considered to be an assertion.  ... 
doi:10.1145/511446.511525 dblp:conf/www/NejdlWQDSNNPR02 fatcat:qfdnn2lsqvgytknxkx425f3c2m

EDUTELLA

Wolfgang Nejdl, Boris Wolf, Changtao Qu, Stefan Decker, Michael Sintek, Ambjörn Naeve, Mikael Nilsson, Matthias Palmér, Tore Risch
2002 Proceedings of the eleventh international conference on World Wide Web - WWW '02  
Metadata for the World Wide Web is important, but metadata for Peer-to-Peer (P2P) networks is absolutely crucial.  ...  In this paper we discuss the open source project Edutella which builds upon metadata standards defined for the WWW and aims to provide an RDFbased metadata infrastructure for P2P applications, building  ...  The example knowledge base in Datalog reads In RDF any statement is considered to be an assertion.  ... 
doi:10.1145/511523.511525 fatcat:az72hps3vzcc3iflnhgtcssapi

Semantic Enhancement for Enterprise Data Management [chapter]

Li Ma, Xingzhi Sun, Feng Cao, Chen Wang, Xiaoyuan Wang, Nick Kanellos, Dan Wolfson, Yue Pan
2009 Lecture Notes in Computer Science  
We believe that our study and experiences are valuable for both Semantic Web community and data management community.  ...  Customer data is the most important kind of core business entity a company uses repeatedly across many business processes and systems, and customer data management (CDM) is becoming critical for enterprises  ...  Given the large size customer data, it is obviously not practical to materialize all inference results. We have two reasoning components.  ... 
doi:10.1007/978-3-642-04930-9_55 fatcat:7swxowhlivbotiuk5xemzxeomy

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries [article]

Alessio Fiorentino, Jessica Zangari, Marco Manna
2020 arXiv   pre-print
To fill the gap, we present DaRLing, a freely available Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.  ...  The W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications.  ...  RDF DaRLing also allows for Datalog translation of SPARQL queries containing basic graph patterns (BGPs) (i.e., sets of triple patterns forming a graph).  ... 
arXiv:2008.02232v1 fatcat:s56tbm6rnnbxfi3tu7f56yb73u

DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries

ALESSIO FIORENTINO, JESSICA ZANGARI, MARCO MANNA
2020 Theory and Practice of Logic Programming  
To fill the gap, we present DaRLing, a freely available Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries.  ...  AbstractThe W3C Web Ontology Language (OWL) is a powerful knowledge representation formalism at the basis of many semantic-centric applications.  ...  DaRLing also allows for Datalog translation of SPARQL queries containing basic graph patterns (BGPs) (i.e., sets of triple patterns forming a graph).  ... 
doi:10.1017/s1471068420000204 fatcat:diybvoxg3rdjtcvc3snryx7lti

A survey of parallel execution strategies for transitive closure and logic programs

Filippo Cacace, Stefano Ceri, Maurice Houtsma
1993 Distributed and parallel databases  
applied to linear Datalog queries.  ...  Finally, we consider Datalog queries, and present general methods for parallel rule execution; we recognize the similarities between these methods and the methods reviewed previously, when the former are  ...  Acknowledgments The authors wish to thank anonymous referees for stimulating several additions and improvements to preliminary versions of this paper.  ... 
doi:10.1007/bf01264013 fatcat:pe4vicsr3vctzoj437towrkdv4

Using Datalog with Binary Decision Diagrams for Program Analysis [chapter]

John Whaley, Dzintars Avots, Michael Carbin, Monica S. Lam
2005 Lecture Notes in Computer Science  
The use of BDDs also allows us to solve heretofore unsolved problems, like context-sensitive pointer analysis for large programs.  ...  BDD operations take time proportional to the size of the data structure, not the number of tuples in a relation, which leads to fast execution times. bddbddb is an effective tool for implementing a large  ...  Benjamin Livshits and Christopher Unkel for their contribution of test cases and helpful feedback on their experiences with using bddbddb.  ... 
doi:10.1007/11575467_8 fatcat:62j4ssbogfhepimcxf5yo3d7zi

Relational Learning with GPUs: Accelerating Rule Coverage

Carlos Alberto Martínez-Angeles, Haicheng Wu, Inês Dutra, Vítor Santos Costa, Jorge Buenabad-Chávez
2015 International journal of parallel programming  
Relational learning algorithms mine complex databases for interesting patterns.  ...  We would also like to thank Martínez-Angeles' M.Sc. and qualification committee members for their helpful comments.  ...  Section 2 presents background material to relational learning and the datalog language.  ... 
doi:10.1007/s10766-015-0364-7 fatcat:zelqchqqavaqlibv2m55vwmnqi

What you always wanted to know about Datalog (and never dared to ask)

S. Ceri, G. Gottlob, L. Tanca
1989 IEEE Transactions on Knowledge and Data Engineering  
We present the syntax and semantics of Datalog and its use for querying a relational database.  ...  Then, we classify optimization methods for achieving efficient evaluations of Datalog queries, and present the most relevant methods.  ...  INTRODUCTION ecent years have seen substantial efforts in the direc-R tion of merging artificial intelligence and database technologies for the development of large and persistent knowledge bases.  ... 
doi:10.1109/69.43410 fatcat:zeplr335mvhttigtpm73tkniiy

Live programming in the LogicBlox system

Todd J. Green, Dan Olteanu, Geoffrey Washburn
2015 Proceedings of the VLDB Endowment  
is a "meta-engine" that incrementally maintains metadata representing application code, guides its compilation into an internal representation in the database kernel, and orchestrates maintenance of materialized  ...  Beyond live programming, the meta-engine turns out effective for a range of static analysis and optimization tasks.  ...  The LogiQL program is compiled into an execution graph, where the predicates (materialized views) are the nodes and the edges between nodes represent Datalog-like derivation rules with the children being  ... 
doi:10.14778/2824032.2824075 fatcat:rjz4nqaymbg57bgiwn76bqa4pu

Efficiently Querying RDF(S) Ontologies with Answer Set Programming

G. Ianni, A. Martello, C. Panetta, G. Terracina
2008 Journal of Logic and Computation  
only recently, especially for ontologies referring to large amounts of data.  ...  Ontologies are pervading many areas of knowledge representation and management.  ...  ontologies these must be handled with some database technology; (iii) the efficiency of present datalog evaluators is still not sufficient for their utilization in complex reasoning tasks involving large  ... 
doi:10.1093/logcom/exn043 fatcat:mfx34qrpebf27kgyfhqy3cufoy

Knowledge Discovery in Databases

Roland Düsing
2000 Wirtschaftsinformatik  
For the rm shown in gure 1.2, for example, we store the facts dyn(firm 1) : 0:5; pro(firm 1) : 0:83 and the training example example(comp; firm 1; 0:5).  ...  The expert classi ed each premise of a company into one of seven columns (very bad to very good, see gure 1.2).  ...  Firstly, we extend and adapt the probabilistic semantics suggested in 99] for Datalog. But here we extend a typed, object-oriented and more powerful language than Datalog.  ... 
doi:10.1007/bf03250720 fatcat:qapnx6g3zjexne276yw2xiohse

A Realistic Architecture for the Semantic Web [chapter]

Michael Kifer, Jos de Bruijn, Harold Boley, Dieter Fensel
2005 Lecture Notes in Computer Science  
Access and use of this website and the material on it are subject to the Terms and Conditions set forth at A Realistic Architecture for the Semantic Web Kifer, M.; de Bruijn, J.; Boley, Harold; Fensel,  ...  In this paper we argue that a realistic architecture for the Semantic Web must be based on multiple independent, but interoperable, stacks of languages.  ...  From the logical point of view, RDF graphs are largely just sets of facts. However, RDF also includes two additional interesting features.  ... 
doi:10.1007/11580072_3 fatcat:lzxsws2csvbh5kgugu3iobbvwi

NEXCEL, a deductive spreadsheet

ILIANO CERVESATO
2007 Knowledge engineering review (Print)  
Usability and usefulness have made the spreadsheet one of the most successful computing applications of all times: millions rely on it every day for anything from typing grocery lists to developing multimillion  ...  The accompanying tool, which we call NEXCEL, is intended as an automated assistant for the daily reasoning and decision-making needs of computer users, in the same way as a spreadsheet application such  ...  Acknowledgements We are grateful to numerous individuals for their useful comments on early ideas underlying this work.  ... 
doi:10.1017/s0269888907001142 fatcat:7qvjrgqnhzhkdeibvdy6ngoici
« Previous Showing results 1 — 15 out of 322 results