[public-rif-comments] <none>

I am very happy about  the work done by the RIF Working Group
and about the recent progress. I fully support this effort.

I am especially interested in the  RIF Framework for Logic Dialects
which provides an important  reference point for my work on
integration of rules and ontologies. I would really
appreciate if more dialects than just RIF-BLD were presented as 
instantiations of RIF-FLD. A dialect with Naf would be an important
contribution in that direction. Also, I would like to see how the FLD 
semantic framework works in the case of dialects integrating rules 
ontologies, where the semantics of each component is based
on a different kind of semantic structures. Examples of such 
dialects are discussed in:

Drabent W. and Maluszynski J. Well-founded semantics for 
hybrid rules. In Proceedings of RR 07. LNCS 4524 

Eiter T., Lukasiewicz T., Schindlauer R., and Tompits H. Com- 
bining answer set programming with description logics for the 
semantic web. In Proceedings of KR 04. 2004

Rosati R. DL+log: tight integration of description logics and 
disjunctive datalog. In Proceedings of KR 06,  2006
 

Jan Maluszynski
Linköping University
http://www.ida.liu.se/~janma/

Received on Tuesday, 25 August 2009 13:13:54 UTC