W3C home > Mailing lists > Public > www-rdf-logic@w3.org > August 2002

Re: Classes and predicates as first class objects

From: Jim Hendler <hendler@cs.umd.edu>
Date: Thu, 15 Aug 2002 17:36:46 -0400
Message-Id: <p05111710b981cf4becc3@[]>
To: Ian Horrocks <horrocks@cs.man.ac.uk>, "R.V.Guha" <guha@guha.com>
Cc: www-rdf-logic@w3.org

At 9:42 PM +0100 8/15/02, Ian Horrocks wrote:
>Work on DLs has resulted in the development of a family of logical
>languages with precisely defined semantics and well understood
>computational properties. They are (almost invariably) decidable
>subsets of FOL and are closely related to propositional modal and
>dynamic logics.  For many of these languages, provably sound and
>complete decision procedures have been devised. Several DL systems
>have been based on optimised implementations of these algorithms, thus
>providing users with reasoning services that are both reliable and
>efficient. These systems are being used in a wide range of
>applications, e.g., in medical-informatics, bio-informatics, chemical
>engineering and geographical information systems.

I don't debate a word of that, but which of those things do you 
believe to be unique to DLs?

Professor James Hendler				  hendler@cs.umd.edu
Director, Semantic Web and Agent Technologies	  301-405-2696
Maryland Information and Network Dynamics Lab.	  301-405-6707 (Fax)
Univ of Maryland, College Park, MD 20742	  240-731-3822 (Cell)
Received on Thursday, 15 August 2002 17:36:57 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:38 UTC