Re: Data models as constraints

On 16 Jan 2007, at 20:49, Hassan Aït-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 UTC