W3C home > Mailing lists > Public > www-rdf-logic@w3.org > February 2006

Re: role hierarchies in description logic

From: Peter F. Patel-Schneider <pfps@research.bell-labs.com>
Date: Sat, 25 Feb 2006 09:43:30 -0500 (EST)
Message-Id: <20060225.094330.68316861.pfps@research.bell-labs.com>
To: davide@cs.uu.nl
Cc: www-rdf-logic@w3.org

From: davide <davide@cs.uu.nl>
Subject: role hierarchies in description logic
Date: Fri, 24 Feb 2006 14:22:48 +0100

> Is there literature systematically studying extensions of standard 
> description logics (AL, or ALC) with role hierarchies?
> 
> Thank you for the attention.
> 
> Davide

Yes, there has been investigation of ALC + role hierarchies.  This logic is
also called SH, a sublogic of most of the DLs that are currently receiving
attention (SHIN, SHIQ, SHOIQ).  There are even several good papers surveying
such logics.  (I'm at home and will be travelling so I can't easily look up the
appropriate papers.)

You might get better responses on the DL mailing list - dl at dl.kr.org.

peter
Received on Saturday, 25 February 2006 14:49:34 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:51 GMT