W3C home > Mailing lists > Public > semantic-web@w3.org > June 2017

Re: An Introduction to Description Logic

From: Henry Story <henry.story@bblfish.net>
Date: Thu, 22 Jun 2017 15:25:05 +0200
Cc: "semantic-web@w3.org" <semantic-web@w3.org>
Message-Id: <FD7496A9-A329-4A7E-BF11-F024A1399126@bblfish.net>
To: Ian Horrocks <ian.horrocks@cs.ox.ac.uk>
I have been reading it for the past month as an e-book, and learnt
a lot doing so :-) It's really useful to have an up to date view
of the state of the art. 

What I find very surprising is the relation between description logic and
modal logic, which I have been told of before.  Actually by following a 
few links to articles in the book I ended up on an article that argued that
description logics was actually invented ten year prior by Arthur Prior in the 
1960ies, who even seemed to have discovered nominals. It is just that this 
was not widely noticed because of his insistence on  used Polish notation 


Blackburn, P. (2006). Arthur Prior and hybrid logic. Synthese, 150(3), 329-372.
Chicago
https://pdfs.semanticscholar.org/3198/4fa70bbba1e3e7da6c948e87e12f4b9af89b.pdf

As I was trying to understand that I tried to attach it to Counterfactual logics
by David Lewis which I knew well and found this article

Sano, K. (2009). Hybrid counterfactual logics. Journal of Logic, Language and Information, 18(4), 515-539.
https://link.springer.com/article/10.1007/s10849-009-9090-0

which lead me to re-read David Lewis' Counterfactuals and indeed I was surprised
to find that he argued that by changing the extensions of the interpretation 
from possible worlds to sets, and therefore creating a distance relation between
objects in a set one could have a logic of attention. But that is clearly very
similar to description logics too.

I have not finished the book, because I am getting lost following links.... 
But thanks for reminding me where I was :-)


> On 22 Jun 2017, at 06:23, Ian Horrocks <ian.horrocks@cs.ox.ac.uk> wrote:
> 
> Dear colleagues,
> 
> it is our pleasure to announce that our textbook on Description Logic has finally been finished and published by Cambridge University Press. The book has the title
> 
>    "An Introduction to Description Logic"
> 
> and can be used both as a textbook by lecturers and as a source for self study. 
> 
> More information on the book can be found at the Web page:
> 
> http://dltextbook.org
> 
> In particular, though the book does not contain exercises, a list of exercises is available on this page and will be extended over time.
> 
> The book can be ordered through the publisher's Web page:
> 
> http://www.cambridge.org/gb/academic/subjects/computer-science/knowledge-management-databases-and-data-mining/introduction-description-logic?format=PB&isbn=9780521695428
> 
> In case you intend to buy he book, you can use the promotion code on the attached flier to receive a 20% discount.
> 
> Franz Baader 
> Ian Horrocks
> Carsten Lutz
> Uli Sattler
> 
> <An Introduction to Description Logic_Flyer.pdf>
Received on Thursday, 22 June 2017 13:25:40 UTC

This archive was generated by hypermail 2.4.0 : Thursday, 24 March 2022 20:41:56 UTC