Title: Towards RIF-OWL combination; an effective rasoning technique in integrating OWL and negation-free rules
Language: English
Authors: Al-Manir, Mohammad Sadnan 
Qualification level: Diploma
Keywords: Beschreibungslogiken; Ontologiesprachen; Wissensrepräsentation
Description Logics; Ontology Languages; Knowledge Representation
Advisor: Eiter,Thomas 
Assisting Advisor: Ortiz De La Fuente, Maria Magdalena
Referee: de Bruijn, Jos 
Issue Date: 2009
Number of Pages: 78
Qualification level: Diploma
Abstract: 
For the development of Semantic Web the the World Wide Web Consortium has focussed on the future Web Ontology Language standard OWL 2 and rule languages in Rule Interchange Format which are required to interoperate. A lot of researches have been carried out towards the integration of various Description Logics and rules and RIF-OWL combination is a step forward in this direction. Most of the Description Logics are a decidable subset of classical First-Order logic while rules originate from logic programming. In this thesis, we discuss the combination of Description Logics and negation-free rules, both of which are expressed in the standard First- Order logic semantics. We propose an algorithm for reasoning which is sound but not complete for these combinations. Our algorithm uses existing standard reasoning tool for retrieving facts from the Description Logic Knowledge Base with which rules are put together to form a logic program. Finally, rule reasoner is used for answering conjunctive queries on this logic program. We identify the reasons behind the incompleteness and chose a subset of these combinations which combines restricted Description Logic and rules. This restricted subset consists of Description Logic Horn-SHIQ and rules such that Description Logic predicates are allowed only in the rule bodies and all the rules are DL-safe. A prototype implementation of the reasoning process is also presented which uses Pellet Description Logic reasoner and XSB rule reasoner showing the e

For the development of Semantic Web the the World Wide Web Consortium has focussed on the future Web Ontology Language standard OWL 2 and rule languages in Rule Interchange Format which are required to interoperate. A lot of researches have been carried out towards the integration of various Description Logics and rules and RIF-OWL combination is a step forward in this direction. Most of the Description Logics are a decidable subset of classical First-Order logic while rules originate from logic programming. In this thesis, we discuss the combination of Description Logics and negation-free rules, both of which are expressed in the standard First- Order logic semantics. We propose an algorithm for reasoning which is sound but not complete for these combinations. Our algorithm uses existing standard reasoning tool for retrieving facts from the Description Logic Knowledge Base with which rules are put together to form a logic program. Finally, rule reasoner is used for answering conjunctive queries on this logic program. We identify the reasons behind the incompleteness and chose a subset of these combinations which combines restricted Description Logic and rules. This restricted subset consists of Description Logic Horn-SHIQ and rules such that Description Logic predicates are allowed only in the rule bodies and all the rules are DL-safe. A prototype implementation of the reasoning process is also presented which uses Pellet Description Logic reasoner and XSB rule reasoner showing the e
URI: https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:1-29275
http://hdl.handle.net/20.500.12708/13595
Library ID: AC05040641
Organisation: E184 - Institut für Informationssysteme 
Publication Type: Thesis
Hochschulschrift
Appears in Collections:Thesis

Show full item record

Page view(s)

10
checked on Feb 18, 2021

Download(s)

50
checked on Feb 18, 2021

Google ScholarTM

Check


Items in reposiTUm are protected by copyright, with all rights reserved, unless otherwise indicated.