9,399 Hits in 3.5 sec

Efficient OWL Reasoning with Logic Programs – Evaluations [chapter]

Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic
Web Reasoning and Rule Systems  
We report on efficiency evaluations concerning two different approaches to using logic programming for OWL [1] reasoning and show, how the two approaches can be combined. Introduction.  ...  An entirely different effort to leveraging logic programming for OWL reasoning rests on the idea of approximate reasoning, by allowing some incorrect inferences in order to speed up the reasoning.  ...  Approximate OWL-Reasoning with S.  ... 
doi:10.1007/978-3-540-72982-2_34 dblp:conf/rr/RudolphKHSV07 fatcat:sfn7ljjzofdljdvwx5cbsmnvge

Performance Evaluation of the Semantic Web Reasoners

2019 International journal of recent technology and engineering  
The reasoners can be classified into categories: tableau based and rule based reasoners. The rule based reasoners combines the assertions with a set of logical rules to infer new knowledge chunks.  ...  The objective of this paper is to list and classify the reasoners according to OWL 2 profiles thereafter the focus of this study is to develop a model which evaluate the performance of Semantic Web Reasoner  ...  Figure 3.2 Generic Architecture We start our exploration with an examination of Jena's programming framework. Jena is implemented in the Java programming language.  ... 
doi:10.35940/ijrte.d7127.118419 fatcat:fnr4z4xjijhr5gupf6tmzdpwti

ELK Reasoner: Architecture and Evaluation

Yevgeny Kazakov, Markus Krötzsch, Frantisek Simancik
2012 International Workshop on OWL Reasoner Evaluation  
A modular architecture allows ELK to be used as a stand-alone application, Protégé plug-in, or programming library (either with or without the OWL API).  ...  This system description presents the current state of ELK and experimental results with some difficult OWL EL ontologies.  ...  The saturation algorithm is closely related to the "given clause" algorithm for saturation-based theorem proving and semi-naive (bottom-up) evaluation of logic programs.  ... 
dblp:conf/ore/KazakovKS12 fatcat:mzrezipuwvfhdk4ajhvbmbbueu

Performance Evaluation of Semantic Reasoners

Neha Dalwadi, Bhaumik Nagar, Ashwin Makwana
2013 International Conference on Management of Data  
As the performance of semantic reasoners change significantly with regard to all included characteristics, and therefore requires assessment and evaluation before selecting an appropriate reasoner for  ...  Paper presents a performance evaluation and comparison of semantic reasoner for ontology of Health and Anatomy domain.  ...  OWL is further classified based on expressivity as OWL Lite and OWL DL, OWL Full that are based on Description Logic (DL).  ... 
dblp:conf/comad/DalwadiNM13 fatcat:ueoobl2fozh6lbxsf5hnlx5lvu

Inline Evaluation of Hybrid Knowledge Bases [chapter]

Guohui Xiao, Thomas Eiter
2011 Lecture Notes in Computer Science  
The Datalogrewritability of LDL + is interesting in itself, showing how to do reasoning in DLs with expressive constructs efficiently via Logic Programming.  ...  in combination with OWL and logical rules.  ... 
doi:10.1007/978-3-642-23580-1_28 fatcat:xnzzbf2imngshokm36ni5vuzni

A Survey of Current, Stand-alone OWL Reasoners

Nicolas Matentzoglu, Jared Leo, Valentino Hudhra, Uli Sattler, Bijan Parsia
2015 International Workshop on OWL Reasoner Evaluation  
We present a survey of the current OWL reasoner landscape. Through literature and web search we have identified 35 OWL reasoners that are, at least to some degree, actively maintained.  ...  We present an analysis of the survey, characterising all reasoners across a wide range of categories such as supported expressiveness and reasoning services.  ...  with respect to the choice of reasoners to be evaluated.  ... 
dblp:conf/ore/MatentzogluLHSP15 fatcat:2trxnpxw2bahvj4ia5srqyegce

OWL Reasoner Evaluation (ORE) Workshop 2013 Results: Short Report

Rafael S. Gonçalves, Samantha Bail, Ernesto Jiménez-Ruiz, Nicolas Matentzoglu, Bijan Parsia, Birte Glimm, Yevgeny Kazakov
2013 International Workshop on OWL Reasoner Evaluation  
The OWL reasoner evaluation (ORE) workshop brings together reasoner developers and ontology engineers in order to discuss and evaluate the performance and robustness of modern reasoners on OWL ontologies  ...  The reasoner competition is performed on several large corpora of reallife OWL ontologies obtained from the web, as well as user-submitted ontologies which were found to be challenging for reasoners.  ...  We also thank the developers of the submitted reasoners and ontologies for their invaluable effort.  ... 
dblp:conf/ore/GoncalvesBJMPGK13 fatcat:3lq2guykuzf75jtz56ozsnsow4

Evaluation of domain ontology requirements in e-tutor framework

László Kovács, Hussein Ali Ahmed Ghanim
2019 Multidiszciplináris Tudományok  
Based on these shortcomings, we set the main requirements against an efficient ITS domain ontology description language.  ...  Ontology is a good solution for knowledge management as it can provide a standardized way and a reasoning engine for the related knowledge management tasks.  ...  Renewing University -Innovative Knowledge City -Institutional development of the University of Miskolc aiming at intelligent specialization" project implemented in the framework of the Széchenyi 2020 program  ... 
doi:10.35925/j.multi.2019.4.54 fatcat:pkb2soejkzguvectypego35fs4

Declarative Evaluation of Ontologies with Rules

Dietmar Seipel, Joachim Baumeister, Klaus Prätor
2014 Workshop Logische Programmierung  
Likewise, the integration creates new challenges for the design process of such ontologies, but also existing evaluation methodologies have to cope with the extension of ontologies by rules.  ...  In this work, we introduce supplements to existing verification techniques to support the design of ontologies with rule enhancements, and we focus on the detection of anomalies that can especially occur  ...  Moreover, tags with the namespace owl are allowed. The Semantic Web Rule Language (SWRL) incorporates logic programming rules into OWL ontologies.  ... 
dblp:conf/wlp/SeipelBP14 fatcat:jpp2eki455czfhsvxnrxvwdrwe

Uniform Evaluation of Nonmonotonic DL-Programs [chapter]

Thomas Eiter, Thomas Krennwallner, Patrik Schneider, Guohui Xiao
2012 Lecture Notes in Computer Science  
While this approach is attractive for combining systems, the impedance mismatch between different reasoning engines and the API-style interfacing are an obstacle to efficient evaluation of dl-programs  ...  Uniform evaluation circumvents this by transforming programs into a single formalism, which can be evaluated on a single reasoning engine.  ...  In a sense, efficiency means that the overall evaluation cost does not increase with respect to some measure (typically, worst case complexity).  ... 
doi:10.1007/978-3-642-28472-4_1 fatcat:4mh6a2dg4bfztpmd2zwsfxx7yi

Query Evaluation and Optimization in the Semantic Web [article]

Edna Ruckhaus, Eduardo Ruiz, Maria-Esther Vidal
2007 arXiv   pre-print
To appear in Theory and Practice of Logic Programming (TPLP).  ...  Finally, we implement a dynamic-programming optimization algorithm to identify query evaluation plans that minimize the number of intermediate inferred facts.  ...  Our work differs from other systems in the Semantic Web that combine a Description Logics (DL) reasoner with a relational DBMS in order to solve the scalability problems for reasoning with individuals  ... 
arXiv:0711.2087v1 fatcat:hrclzxps3rhphjxutgz5mes6jm

Query evaluation and optimization in the semantic web

2008 Theory and Practice of Logic Programming  
Finally, we implement a dynamic-programming optimization algorithm to identify query evaluation plans that minimize the number of intermediate inferred facts.  ...  AbstractWe address the problem of answering Web ontology queries efficiently.  ...  Other systems use Logic Programming (LP) to reason on large-scale ontologies. This is the case of the projects described in [5, 8, 13] .  ... 
doi:10.1017/s1471068407003225 fatcat:4b7kwjrhejgotasvkq35t5gdtm

Evaluation Performance of ELK Reasoner for Semantic Ontology Based Heterogeneous Data Framework in E-Learning Environment

2019 jecet  
The aim of this research is to evaluate the performance of ELK reasoner based on OWL 2EL that using the consequences algorithm on heterogeneity data of e-learning environment.  ...  The results of experiments prove the ability of ELK-reasoner to solve the problem of semantics heterogeneity when integrating several independent databases into E-Learning environment where data was retrieved  ...  with OWL ontologies.  ... 
doi:10.24214/jecet.b.8.4.30115 fatcat:xlv32vxtrffpvjzi5ejhr7sch4

Ontology Evaluation [chapter]

Denny Vrandečić
2009 Handbook on Ontologies  
Method 23 (Inconsistency checks with rules) Translate the ontology to be evaluated and possible constraint ontologies to a logic program. This translation does not have to be complete.  ...  The idea of extending ontologies with logic program rules builds on the line of work of and especially (Motik, 2006) and was implemented as tools in and evaluated in (Hitzler and Vrandečić, 2005)  ...  This is, for example, the case with SPARQL and OWL.  ... 
doi:10.1007/978-3-540-92673-3_13 dblp:series/ihis/Vrandecic09 fatcat:paxvnkycc5bifmp4sgb4jk7osu

An evaluation of current approaches for Web service composition

Sayed Gholam Hassan Tabatabaei, Wan Mohd Nasir Wan Kadir, Suhaimi Ibrahim
2008 2008 International Symposium on Information Technology  
As the planning system relies on the inferences drawn by the DL reasoner, the practicality of the proposed solution crucially depends on the efficiency of the DL reasoner.  ...  Task Network (HTN) planning, and Description Logics (DL) to automatically overcome the problem of WSC which are described with Web Ontology Language (OWL).  ... 
doi:10.1109/itsim.2008.4631539 fatcat:fvzlivbvn5b3bjykgzdhnv2bea
« Previous Showing results 1 — 15 out of 9,399 results