Campus Event Calendar
Event Entry
What and Who
Rewriting Logical Rules as SROIQ Axioms: Theory and Implementation
Francis Gasse
Université du Quebec à Trois Rivières, Canada
PhD Application Talk
AG 1, AG 3, AG 4, AG 5, SWS, RG1, MMCI
Public Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 14 July 2009
09:00
240 Minutes
E1 4
024
Saarbrücken
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 SROIQ, 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 talk, we describe the rewriting technique and show 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.
Contact
IMPRS Office Team
0681 9325 225
--email hidden
passcode not visible
logged in users only
Stephanie Jörg, 07/08/2009 12:13 -- Created document.