- From: Jim Hendler <hendler@cs.umd.edu>
- Date: Thu, 15 Aug 2002 17:36:46 -0400
- 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. > >Ian I don't debate a word of that, but which of those things do you believe to be unique to DLs? -JH -- 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) http://www.cs.umd.edu/users/hendler
Received on Thursday, 15 August 2002 17:36:57 UTC