Filters








4 Hits in 4.9 sec

Efficient Model Construction for Horn Logic with VLog [chapter]

Jacopo Urbani, Markus Krötzsch, Ceriel Jacobs, Irina Dragoste, David Carral
2018 Lecture Notes in Computer Science  
In our implementation, we exploit the highly memory-efficient architecture of VLog, based on columnar storage: instead of storing a list of tuples (rows), the data is organised into a tuple of columns  ...  Horn ontologies consisting of existential rules are used in various fields ranging from reasoning over knowledge graphs [7] and Description Logics (DL) ontologies [5, 6] , to data integration [4] and social  ...  Like VLog, RDFox is a performance-oriented in-memory chase engine, but it is designed with the goal of enabling highly parallel processing rather than memory efficiency.  ... 
doi:10.1007/978-3-319-94205-6_44 fatcat:ceirdsuqkne2beituhy4eyyhq4

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

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.  ...  Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment.  ...  OWL2DLV ) is a commercial system, builts on the ASP reasoner DLV2-SERVER , for evaluating SPARQL queries over very large OWL 2 knowledge bases whose associated DL falls within Horn-SHIQ.  ... 
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.  ...  Although popular Web resources - such as DBpedia - fall in OWL 2 RL, only a few systems have been designed and implemented for this fragment.  ...  OWL2DLV ) is a commercial system, builts on the ASP reasoner DLV2-SERVER , for evaluating SPARQL queries over very large OWL 2 knowledge bases whose associated DL falls within Horn-SHIQ.  ... 
doi:10.1017/s1471068420000204 fatcat:diybvoxg3rdjtcvc3snryx7lti