[topicmapmail] Topic Maps, Description Logics and Semantic Networks

[Lars Marius Garshol]

* Murray Altheim
>
> [...]
> but if not the language of DL can be linked directly to FOL so that
> shouldn't be too much of a stretch (though of course one is a superset
> of the other; you'd be left out on a limb for anything not defined in
> FOL, which with DL is quite a bit).

Given that DL is a subset of first-order logic I find this a bit  
confusing. What did you mean?

--Lars M.