Filters








7 Hits in 2.0 sec

QueryPIE: Backward Reasoning for OWL Horst over Very Large Knowledge Bases [chapter]

Jacopo Urbani, Frank van Harmelen, Stefan Schlobach, Henri Bal
2011 Lecture Notes in Computer Science  
To the best of our knowledge, QueryPIE is the first reported backward-chaining reasoner for OWL Horst that efficiently scales to a billion triples.  ...  In this work, we focus instead on backward-chaining, and we present an hybrid algorithm to perform efficient backward-chaining reasoning on very large datasets expressed in the OWL Horst (pD * ) fragment  ...  We would like to thank Barry Bishop for reviewing our work. This work was partly supported by the LarKC project (EU FP7-215535) and by the COMMIT project.  ... 
doi:10.1007/978-3-642-25073-6_46 fatcat:o6zepb5y2rbznoo6rdtvy3mw7a

Towards a Rule Based Distributed OWL Reasoning Framework [chapter]

Raghava Mutharaju, Prabhaker Mateti, Pascal Hitzler
2016 Lecture Notes in Computer Science  
Some approaches have already been proposed for the scalable reasoning over several language profiles such as RDFS, OWL Horst, OWL 2 EL, OWL 2 RL etc.  ...  In this work, we propose the idea for a rule-based distributed reasoning framework that can support any given ruleset and highlight some of the challenges that needs to be solved in order to implement  ...  QueryPIE [20] is a backward chaining distributed reasoner that supports OWL Horst reasoning over large knowledge bases.  ... 
doi:10.1007/978-3-319-33245-1_9 fatcat:mc4x7et5arflhl6gnef3ppjf3y

RORS: Enhanced Rule-based OWL Reasoning on Spark [article]

Zhihui Liu and Zhiyong Feng and Xiaowang Zhang and Xin Wang and Guozheng Rao
2016 arXiv   pre-print
The rule-based OWL reasoning is to compute the deductive closure of an ontology by applying RDF/RDFS and OWL entailment rules.  ...  The performance of the rule-based OWL reasoning is often sensitive to the rule execution order.  ...  Urbani [19] proposed a hybrid rule-based reasoning method that combined forward and backward chaining, and implemented a prototype named QueryPIE.  ... 
arXiv:1605.02824v1 fatcat:j6sslb3e4fcf3hlnuiof3hya7q

A survey of large-scale reasoning on the Web of data

Grigoris Antoniou, Sotiris Batsakis, Raghava Mutharaju, Jeff Z. Pan, Guilin Qi, Ilias Tachmazidis, Jacopo Urbani, Zhangquan Zhou
2018 Knowledge engineering review (Print)  
However, reasoning approaches need to be scalable in order to enable reasoning over the entire Web of Data.  ...  These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives.  ...  Raghava Mutharaju when he was a PhD student at Wright State University during which time he acknowledges the support of the National Science Foundation under award 1017225 "III: Small: TROn -Tractable Reasoning  ... 
doi:10.1017/s0269888918000255 fatcat:bergc5uphbceznigppektgvzrm

Large-Scale Reasoning with (Semantic) Data

Grigoris Antoniou, Sotiris Batsakis, Ilias Tachmazidis
2014 Proceedings of the 4th International Conference on Web Intelligence, Mining and Semantics (WIMS14) - WIMS '14  
However, reasoning approaches need to be scalable in order to enable reasoning over the entire Web of Data.  ...  These systems differ significantly; for instance in terms of reasoning expressivity, computational properties such as completeness, or reasoning objectives.  ...  Raghava Mutharaju when he was a PhD student at Wright State University during which time he acknowledges the support of the National Science Foundation under award 1017225 "III: Small: TROn -Tractable Reasoning  ... 
doi:10.1145/2611040.2611041 dblp:conf/wims/AntoniouBT14 fatcat:g3ljwx4eqrg3po242ckkv6rwme

GPU-based Commonsense Paradigms Reasoning for Real-Time Query Answering and Multimodal Analysis [article]

Nguyen Ha Tran, Erik Cambria
2018 arXiv   pre-print
In addition, in order to ex- tract important textual features from multimodal sources we generate domain-specific graphs based on commonsense knowledge and apply GPU-based graph traversal for fast feature  ...  We utilize commonsense knowledge bases to address the problem of real- time multimodal analysis.  ...  [12] propose a parallel and distributed backward-chaining method, called QueryPIE, to deal with very large knowledge bases.  ... 
arXiv:1807.08804v1 fatcat:xu5m2oh55ndahct7rtrbecjz3m

Distributed RDFS Reasoning Over Structured Overlay Networks

Zoi Kaoudi, Manolis Koubarakis
2013 Journal on Data Semantics  
Our algorithms range from forward and backward chaining ones to rewriting algorithms based on magic sets.  ...  In this paper, we study the problem of distributed RDFS reasoning over structured overlay networks.  ...  Marvin [55, 56] is a parallel and distributed platform for RDFS reasoning over large amount of RDF(S) data.  ... 
doi:10.1007/s13740-013-0018-0 fatcat:i5ib3gmp35g3pm4yqbbs4ukv4m