Efficient OWL Reasoning with Logic Programs - Evaluations

TitleEfficient OWL Reasoning with Logic Programs - Evaluations
Publication TypeConference Paper
Year of Publication2007
AuthorsSebastian Rudolph, Markus Krotzsch, Michael Sintek, Denny Vrandecic, Pascal Hitzler
Conference NameInternational Conference on Web Reasoning and Rule Systems, RR2007
Pagination370-373
Conference LocationInnsbruck, Austria
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. Introduction. Scalability of reasoning remains one of the major obstacles in leveraging the full power of the Web Ontology Language OWL [1] for practical applications. Among the many possible approaches to address scalability, one of them concerns the use of logic programming for this purpose. It was recently shown that reasoning in Horn-SHIQ [2-4] can be realised by invoking Prolog systems on the output of the

Full Text

Sebastian Rudolph, Markus Krotzsch, Pascal Hitzler, Michael Sintek, Denny Vrandecic,'Efficient OWL Reasoning with Logic Programs - Evaluations,' First International Conference on Web Reasoning and Rule Systems, RR2007, Innsbruck, Austria, June 2007, pp. 370-373.

Related Files: