W3C home > Mailing lists > Public > www-rdf-logic@w3.org > April 2001

Re: RDF semantics: applications, formalism and education

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
Message-Id: <OF840159D2.7FC3AF58-ON41256A32.006068F0@bayer-ag.com>


> > 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:38 GMT