Re: RDF semantics: applications, formalism and education

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