Login | Register

Rewriting logical rules as SROIQ axioms : Theory and implementation


Rewriting logical rules as SROIQ axioms : Theory and implementation

Gasse, Francis (2008) Rewriting logical rules as SROIQ axioms : Theory and implementation. Masters thesis, Concordia University.

Text (application/pdf)
MR45296.pdf - Accepted Version


Description Logics (DLs) is a family of very expressive logics. But some forms of knowledge are much more intuitive to formulate otherwise, say, as rules. Rules in DLs can be dealt with by two approaches: (i) use rules as they are even though it leads to undecidability. (ii) or make the rules DL-safe, which will restrict their semantic impact and, e.g., loose the nice "car owners are engine owners" inference. Here, we offer a third possibility: we rewrite the rule, if it satisfies certain restrictions, inherited from [Special characters omitted.] , into a set of axioms which preserves the nice inferences. This rewriting also has the benefit of being compatible with existing tools and standards, and to make the most of this, software supporting this approach is provided. In this thesis, we describe the rewriting technique and prove that it does really preserve the semantics of the rules and also present the software we developed to support the adoption of the proposed technique

Divisions:Concordia University > Gina Cody School of Engineering and Computer Science > Computer Science and Software Engineering
Item Type:Thesis (Masters)
Authors:Gasse, Francis
Pagination:xi, 90 leaves : ill. ; 29 cm.
Institution:Concordia University
Degree Name:M. Comp. Sc.
Program:Computer Science and Software Engineering
Thesis Supervisor(s):Haarslev, Volker
ID Code:976069
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:19
Last Modified:18 Jan 2018 17:41
Related URLs:
All items in Spectrum are protected by copyright, with all rights reserved. The use of items is governed by Spectrum's terms of access.

Repository Staff Only: item control page

Downloads per month over past year

Back to top Back to top