Login | Register

Rewriting logical rules as SROIQ axioms : Theory and implementation

Title:

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.

[thumbnail of MR45296.pdf]
Preview
Text (application/pdf)
MR45296.pdf - Accepted Version
3MB

Abstract

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
Date:2008
Thesis Supervisor(s):Haarslev, Volker
Identification Number:LE 3 C66C67M 2008 G38
ID Code:976069
Deposited By: Concordia University Library
Deposited On:22 Jan 2013 16:19
Last Modified:13 Jul 2020 20:09
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

Research related to the current document (at the CORE website)
- Research related to the current document (at the CORE website)
Back to top Back to top