Efficient OWL reasoning with logic programs: evaluations

Authors:
Sebastian Rudolph;Markus Krötzsch;Pascal Hitzler;Michael Sintek;Denny Vrandecic
Affiliations:
Institute AIFB, Universität Karlsruhe, Germany;Institute AIFB, Universität Karlsruhe, Germany;Institute AIFB, Universität Karlsruhe, Germany;DFKI Kaiserslautern, Germany;Institute AIFB, Universität Karlsruhe, Germany
Venue:
RR'07 Proceedings of the 1st international conference on Web reasoning and rule systems
Year:
2007

Citing 3
Cited 1

How to reason with OWL in a logic programming system

RULEML '06 Proceedings of the Second International Conference on Rules and Rule Markup Languages for the Semantic Web
Data complexity of reasoning in very expressive description logics

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Resolution-Based approximate reasoning for OWL DL

ISWC'05 Proceedings of the 4th international conference on The Semantic Web

Approximate OWL-Reasoning with Screech

RR '08 Proceedings of the 2nd International Conference on Web Reasoning and Rule Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.