W3C home > Mailing lists > Public > public-rif-wg@w3.org > January 2007

Re: Data models as constraints

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Wed, 17 Jan 2007 13:24:01 +1300
Message-Id: <6C7CF652-968D-420A-9BAB-EC178F4EB009@inf.unibz.it>
Cc: W3C RIF WG <public-rif-wg@w3.org>
To: Hassan At-Kaci <hak@ilog.com>

On 16 Jan 2007, at 20:49, Hassan At-Kaci wrote:
> I have finalized the writeup on data models as constraints. It is  
> available as
> http://koala.ilog.fr/wiki/pub/Main/HassanAitKaci/semwebclp.pdf.  
> Comments are
> welcome.

I guess you have missed a few *crucial* references in your work:

Riccardo Rosati. On the decidability and complexity of integrating  
ontologies and rules. Web Semantics, volume 3, number 1, pages 41-60,  
2005.
http://www.dis.uniroma1.it/~rosati/publications/Rosa05.htm

Riccardo Rosati. Integrating ontologies and rules: semantic and  
computational issues. In Reasoning Web 2006, Lecture Notes in  
Computer Science, volume 4126, pages 128-151, Springer, 2006.
http://www.dis.uniroma1.it/~rosati/publications/Rosa06d.htm

Jos de Bruijn, Thomas Eiter, Axel Polleres, and Hans Tompits. On  
representational issues about combinations of classical theories with  
nonmonotonic rules. In Proceedings of the First International  
Conference on Knowledge Science, Engineering and Management  
(KSEM'06), number 4092 in Lecture Notes in Artificial Intelligence,  
Guilin, China, August 5-8 2006. Springer-Verlag.
http://www.debruijn.net/publications-all/bruijn06-repres-issues-about- 
combin-of.html

Enrico Franconi and Sergio Tessaris. Rules and Queries with  
Ontologies: a Unified Logical Framework. Workshop on Principles and  
Practice of Semantic Web Reasoning (PPSWR'04), St. Malo, France, 2004.
http://www.inf.unibz.it/~franconi/papers/ppswr-04.pdf

cheers
--e.

Enrico Franconi                  - franconi@inf.unibz.it
Free University of Bozen-Bolzano - http://www.inf.unibz.it/~franconi/
Faculty of Computer Science      - Phone: (+39) 0471-016-120
I-39100 Bozen-Bolzano BZ, Italy  - Fax:   (+39) 0461-173-9006
Received on Wednesday, 17 January 2007 00:24:27 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:35 GMT