- From: <jos.deroo.jd@belgium.agfa.com>
- Date: Wed, 18 Apr 2001 18:54:21 +0100
- To: der@hplb.hpl.hp.com
- Cc: GK@ninebynine.org, phayes@ai.uwf.edu, www-rdf-logic@w3.org
> > If anyone else can suggest some good intro reading on description > > logics for logical beginners, by the way, please speak up. Deborah, > > Peter, Ian? > > Having decided to study up on this fairly recently I found Enrico Franconi's > course slides plus references useful. They are at > http://www.cs.man.ac.uk/~franconi/dl/course/ which in turn is indexed from > the "Description Logics Homepage" at http://dl.kr.org/ which has other > useful pointers. in http://www.cs.man.ac.uk/~franconi/dl/course/slides/comp-logic.ps.gz on page 36 we find [[[... Logical implication is decidable if we restrict to FOL using only at most two variable names; such language is called L2. ]]] I'm fascinated by that but I couldn't find more details... -- Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/
Received on Wednesday, 18 April 2001 12:56:06 UTC