recursive "shapes" in Description Logic literature from Peter F. Patel-Schneider on 2015-07-10 (public-data-shapes-wg@w3.org from July 2015)

From: Peter F. Patel-Schneider <pfpschneider@gmail.com>
Date: Thu, 9 Jul 2015 22:39:29 -0700
To: RDF Data Shapes Working Group <public-data-shapes-wg@w3.org>
Message-ID: <559F5A91.2020207@gmail.com>

In the teleconference today I mentioned that there is literature relevant to
recursive shapes in the Description Logic literature.

The first major paper in this area is Terminological Cycles: Semantics and
Computational Properties by Bernhard Nebel, available at
citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.49.6816&rep=rep1&type=pdf

Another relevant paper is Terminological Cycles in a Description Logic with
Existential Restrictions by Franz Baader, available at
www.ijcai.org/Past%20Proceedings/IJCAI-2003/PDF/048.pdf

peter

Received on Friday, 10 July 2015 05:40:06 UTC