A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Filters
Efficient OWL Reasoning with Logic Programs – Evaluations
[chapter]
Web Reasoning and Rule Systems
Preserved Fulltext
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2012
International Workshop on OWL Reasoner Evaluation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Conference on Management of Data
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2015
International Workshop on OWL Reasoner Evaluation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2013
International Workshop on OWL Reasoner Evaluation
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2019
Multidiszciplináris Tudományok
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2014
Workshop Logische Programmierung
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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]
2012
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2007
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2009
Handbook on Ontologies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2008
2008 International Symposium on Information Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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