Using logical theory and RIF-PRD together

Dear RIF community,

I am the chairman of the OntoIOp ISO standarisation effort [1,2], and we 
are considering to integrate RIF. Now one specific question arose:

Is there a way of using a logical theory and RIF-PRD together?

The logical theory could be formulated in RIF-Core or RIF-BLD (or even 
OWL or FOL), and would play the role of general integrity constraints. 
The question is what happens if an update produced by RIF-PRD rules 
violates such an integrity constraint. One could block the update, or 
one could try to modify the update in a minimal way such that the 
integrity constraint is still satisfied (cf. M. Winslett: "Updating 
logical databases") - although this would deviate from RIF-PRD's 
operational semantics. Even another option would be to use the logical 
theory as definitions, defining certain predicates in terms of other 
"primitive" predicates. Then only the primitive predicates would be 
updated by rules, and the defined ones would follow their definitions.

Have such issues been discussed? I am grateful for any pointers.

All the best,
Till

[1] http://ontolog.cim3.net/cgi-bin/wiki.pl?OntoIOp
[2] 
http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=59599
-- 
Prof. Dr. Till Mossakowski  Cartesium, room 2.51 Phone +49-421-218-64226
DFKI GmbH Bremen                             Fax +49-421-218-9864226
Cyber-Physical Systems                      Till.Mossakowski@dfki.de
Enrique-Schmidt-Str. 5, D-28359 Bremen
http://www.informatik.uni-bremen.de/~till/

Deutsches Forschungszentrum fuer Kuenstliche Intelligenz GmbH
principal office, *not* the address for mail etc.!!!:
Trippstadter Str. 122, D-67663 Kaiserslautern
management board: Prof. Wolfgang Wahlster (chair), Dr. Walter Olthoff
supervisory board: Prof. Hans A. Aukes (chair)
Amtsgericht Kaiserslautern, HRB 2313

Received on Saturday, 24 March 2012 00:18:56 UTC