W3C home > Mailing lists > Public > www-rdf-rules@w3.org > November 2002

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

From: Benjamin Grosof <bgrosof@MIT.EDU>
Date: Fri, 22 Nov 2002 10:51:37 -0500
Message-Id: <5.1.0.14.2.20021122104300.01bec4e8@po12.mit.edu>
To: www-rdf-rules@w3.org
Cc: Ian Horrocks <horrocks@cs.man.ac.uk>, Mike Dean <mdean@bbn.com>

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

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:46:14 UTC