From: Stefan Decker (stefan@isi.edu)
Date: 11/26/02
Hi, the paper I mentioned during the telecon. It uses skolems and integrity contstraints to extend the in LP representable subset of DL constructs. Best, Stefan -- http://www.isi.edu/~stefan
This archive was generated by hypermail 2.1.4 : 12/03/02 EST