Re: D7 - Which languages are better than OWL?
> > - "Common Logics is not a good_general_KRL" (that one is
> > deliberately provocative to spur some contributions; I
> > only regret that CL is not as expressive as KIF).
More precisely, the argumentation hierarchy gives reasons why
numerical quantifiers should not only be definable but included in
a good_general_KRL (or, now, perfect_general_KRL).
For "RDF+OWL is not a good_general_KRL", I added the softening
comments of John Sowa.
> Given this thesis, I strongly suggest you post your query to the
> Common Logic mailing list, which remains active at this time.
Ok, I'll do (and will update the semi-formal summary with the objections
that will be given to me). However, the designers of CL have
purposely restricted its expressivity, hence all what my email can
achieve is to explicit the reasons behind this restriction (and I am
sure there are good reasons). If someone knows a document (email,
...) that lists the reasons for these restrictions, please indicate it.
I'll either use it to prepare my email.
Philippe