new version of "Description Logic Programs: Combining Logic Programs and Description Logic" working paper

Hi folks,
A new version, much expanded, of the Description Logic Programs working 
paper by myself and Ian Horrocks is now available:
"Description Logic Programs:  Combining Logic Programs with Description 
Logic", version of Nov. 21, 2002, at [1].
This is a real paper now in terms of level of detail and motivation.
Comments are most welcome.
Benjamin

Mini-Abstract:  We show how to interoperate, semantically and inferentially,
between the leading Semantic Web approaches to rules (RuleML
Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via
analyzing their expressive intersection.

[1] http://ebusiness.mit.edu/bgrosof/#DLP


Prof. Benjamin Grosof
Web Technologies for E-Commerce, Business Policies, E-Contracting, Rules, 
XML, Agents, Semantic Web Services
MIT Sloan School of Management, Information Technology group
http://ebusiness.mit.edu/bgrosof or http://www.mit.edu/~bgrosof

Received on Friday, 22 November 2002 11:22:26 UTC