Filters








521 Hits in 3.3 sec

Hybrid reasoning on OWL RL

Jacopo Urbani, Robert Piro, Frank van Harmelen, Henri Bal
2014 Semantic Web Journal  
In this work, we focus instead on backward-chaining, and we present a general hybrid algorithm to perform efficient backward-chaining reasoning on very large RDF data sets.  ...  RL rules.  ...  and the OWL RL rules.  ... 
doi:10.3233/sw-130120 fatcat:2r4i2m7kqzb67niw7ep4d5l5o4

DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet

Georgios Meditskos, Nick Bassiliades
2010 Journal of Web Semantics  
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner.  ...  This combination is based on rule templates, instantiating at run-time a set of ABox OWL 2 RL/RDF Jena rules dedicated to a particular TBox that is handled by Pellet.  ...  than the ones that follow from the OWL 2 RL/RDF rule set.  ... 
doi:10.1016/j.websem.2009.11.001 fatcat:5oa3wqtoh5hdpayugkcswkcy5m

DLEJena: A Practical Forward-Chaining OWL 2 RL Reasoner Combining Jena and Pellet

Georgios Meditskos, Nick Bassiliades
2010 Social Science Research Network  
This paper describes DLEJena, a practical reasoner for the OWL 2 RL profile that combines the forward-chaining rule engine of Jena and the Pellet DL reasoner.  ...  This combination is based on rule templates, instantiating at run-time a set of ABox OWL 2 RL/RDF Jena rules dedicated to a particular TBox that is handled by Pellet.  ...  than the ones that follow from the OWL 2 RL/RDF rule set.  ... 
doi:10.2139/ssrn.3199468 fatcat:ygw2jvxj45abtg35bfqryfeneq

A Hybrid DL and RL Based Reasoner for Optimum Entailments in Ontologies

Deepika Chaudhary, Jaiteg Singh, D. P. Kothari
2017 Indian Journal of Science and Technology  
Objective: To present a reasoner based on the hybrid approach which integrates the Description Logic (DL) reasoner with Rule Logic (RL) based reasoner for optimizing the reasoning process in ontology's  ...  It will thus perform the assertion reasoning based on rules set and the given axioms.  ...  One OWL file from each OWL2 profile RL, QL, EL was given as an input to the hybrid reasoner and was analyzed on various factors.  ... 
doi:10.17485/ijst/2017/v10i23/111164 fatcat:pk76k252d5bj7ggesmd3tgtbz4

OWL RL in Logic Programming: Querying, Reasoning and Inconsistency Explanations [chapter]

Jesús M. Almendros-Jiménez
2012 Lecture Notes in Computer Science  
In this paper we describe a logic programming based implementation of the OWL 2 RL fragment.  ...  We show how goals are used for querying, forward reasoning permits to infer new knowledge, and ontology inconsistency is handled by backward reasoning, where explanations and (minimal) justifications are  ...  QueryPIE [7] is also an implementation of OWL RL that proposes an hybrid method (forward and backward chaining) in order to improve the performance of query answering.  ... 
doi:10.1007/978-3-642-32689-9_20 fatcat:7vtnmg5cdbcmxdkvechs6beogm

Hydrowl: A Hybrid Query Answering System for OWL 2 DL Ontologies [chapter]

Giorgos Stoilos
2014 Lecture Notes in Computer Science  
Hydrowl is based on novel hybrid techniques which in order to compute the query answers combine at run-time a reasoner ans1 supporting a (tractable) fragment of OWL 2 (e.g., OWL 2 QL and OWL 2 RL) with  ...  a fully-fledged OWL 2 DL reasoner ans2.  ...  As mentioned in the previous section, in the hybrid query answering approach one can also compute and load some partial (or even full) repair to the incomplete reasoner.  ... 
doi:10.1007/978-3-319-11113-1_20 fatcat:eznpu23wdfebvafjuvkf775wtm

Optimizing Enterprise-Scale OWL 2 RL Reasoning in a Relational Database System [chapter]

Vladimir Kolovski, Zhe Wu, George Eadon
2010 Lecture Notes in Computer Science  
OWL 2 RL was standardized as a less expressive but scalable subset of OWL 2 that allows a forward-chaining implementation.  ...  In this paper, we present an OWL 2 RL inference engine implemented inside the Oracle database system, using novel techniques for parallel processing that can readily scale on multicore machines and clusters  ...  There are several challenges in handling enterprise-scale OWL 2 RL reasoning: − OWL 2 RL supports equivalence relations such as owl:sameAs or owl:equivalentClass.  ... 
doi:10.1007/978-3-642-17746-0_28 fatcat:qpfkoxfbs5afdb22qipuqw2ipa

Complete Query Answering over Horn Ontologies Using a Triple Store [chapter]

Yujiao Zhou, Yavor Nenov, Bernardo Cuenca Grau, Ian Horrocks
2013 Lecture Notes in Computer Science  
In our previous work, we showed how a scalable OWL 2 RL reasoner can be used to compute both lower and upper bound query answers over very large datasets and arbitrary OWL 2 ontologies.  ...  In this paper, we show how in the case of Horn ontologies one can exploit the lower and upper bounds computed by the RL reasoner to efficiently identify a subset of the data and ontology that is large  ...  The key idea is to employ a hybrid technique that combines an OWL 2 RL reasoner based on a highly scalable RDF triple store (RL reasoner for short) with a fully-fledged OWL 2 reasoner (OWL reasoner for  ... 
doi:10.1007/978-3-642-41335-3_45 fatcat:ts7jfobfynhzpkme5youpzvoqq

Ontology-Based Data Access Using Rewriting, OWL 2 RL Systems and Repairing [chapter]

Giorgos Stoilos
2014 Lecture Notes in Computer Science  
in small to medium sized ontologies and noticeable but manageable in large and complex one, and that the hybrid reasoning approach can very efficiently compute the correct answers for real-world challenging  ...  In previous work it has been shown how an OWL 2 DL ontology O can be 'repaired' for an OWL 2 RL system ans-that is, how we can compute a set of axioms R that is independent from the data and such that  ...  2 DL reasoner HermiT [11] , and the OWL 2 RL reasoner OWLim [7] .  ... 
doi:10.1007/978-3-319-07443-6_22 fatcat:e6f57dduonabbgxtdthadmiggq

Semantic Web journal Volume 5 Issue 6

Krzysztof Janowicz, Pascal Hitzler
2014 Semantic Web Journal  
The first paper in this issue, Hybrid Reasoning on OWL RL, by Jacopo Urbani, Robert Piro, Frank van Harmelen and Henri Bal, is a regular research paper.  ...  It presents the techniques underlying the QueryPIE system for backward-chaining reasoning involving OWL RL on very large RDF data sets.  ... 
doi:10.3233/sw-140161 fatcat:6xr6kz2qkjf2nbyvzerw7eqssm

The DReW System for Nonmonotonic DL-Programs [chapter]

Guohui Xiao, Thomas Eiter, Stijn Heymans
2013 Springer Proceedings in Complexity  
Datalog-rewritable DL ontologies, such as most fragments of OWL 2 RL, OWL 2 EL, and OWL 2 QL, can be rewritten to Datalog programs, so that DL-programs can be reduced to Datalog ¬ , i.e, Datalog with negation  ...  In addition to DL-programs, DReW can also answer conjunctive queries under DL-safeness conditions over Datalog-rewritable ontologies, as well as reason on terminological default logics over such ontologies  ...  One direction is to support further DLs, e.g., OWL 2 QL and Horn-SHIQ [6] ; the other is to support tailored non-monotonic reasoning modalities, e.g. closed world reasoning [5] .  ... 
doi:10.1007/978-1-4614-6880-6_33 dblp:conf/csemws/XiaoEH12 fatcat:ps5d2sroevedzabpfssizprow4

Large-Scale Reasoning with OWL [article]

Michael Ruster
2016 arXiv   pre-print
Moreover, the QueryPIE reasoner is presented as a backward chaining/hybrid approach which uses query rewriting. Furthermore, an overview on other reasoners is given such as OWLIM and TrOWL.  ...  This paper outlines common approaches for efficient reasoning on large-scale data consisting of billions ($10^9$) of triples.  ...  The W3C distinguishes three OWL 2 profiles, namely OWL 2 QL, OWL 2 RL and OWL 2 EL [26] . These profiles have a reduced reasoning complexity of as low as PTime for OWL 2 RL [cf. 26, 6] .  ... 
arXiv:1602.04473v1 fatcat:4b3gdsoct5ge3a5txqw2ah23cu

On the Web Ontology Rule Language OWL 2 RL [chapter]

Son Thanh Cao, Linh Anh Nguyen, Andrzej Szałas
2011 Lecture Notes in Computer Science  
We then propose some extensions of OWL 2 RL and OWL 2 RL + that still have PTime data complexity. Example 3.1.  ...  In the current paper we first identify a maximal fragment of OWL 2 RL, called OWL 2 RL + , with the property that every knowledge base expressed in OWL 2 RL + can be translated to a Datalog program and  ...  DL+log), [20, 26] (on hybrid MKNF), [9] (on hybrid programs), [12] (on dl-programs), [7] (on WORL).  ... 
doi:10.1007/978-3-642-23935-9_25 fatcat:zcmfafohr5hr5dfjbx5mkbufzi

Recent Advances in Integrating OWL and Rules (Technical Communication) [chapter]

Matthias Knorr, David Carral Martínez, Pascal Hitzler, Adila A. Krisnadhi, Frederick Maier, Cong Wang
2012 Lecture Notes in Computer Science  
We also report on incorporating the closed world assumption and on reasoning algorithms.  ...  This naive approach has been subsequently lifted to OWL 2 DL and given rise to the OWL 2 RL fragment [10].  ...  [7] , show that OWL 2 RL can be improved significantly in this respect.  ... 
doi:10.1007/978-3-642-33203-6_20 fatcat:l2l6wjeopvaalpiek33j2sqko4

Performance Evaluation of the Semantic Web Reasoners

2019 International journal of recent technology and engineering  
The major benefit of working on Ontology Web Language (OWL) is its ability to define semantics such that the information becomes more valuable.  ...  based on few parameters.  ...  In this section, we compare the performance of the reasoners on three different OWL profile languages OWL DL, OWL RL, and OWL EL.In table 4.1 we have presented the result obtained when the mentioned ontologies  ... 
doi:10.35940/ijrte.d7127.118419 fatcat:fnr4z4xjijhr5gupf6tmzdpwti
« Previous Showing results 1 — 15 out of 521 results