On Nov 18, 2006, at 1:40 AM, Bijan Parsia wrote: > Sure. And there are large TBoxes from life sciences (for which the > EL++ fragment was developed...but EL++ includes qualified number > restrictions...so we sort of have to add them to the whole). [snip] > Of course, none of us, at all, have done a formal market survey, so > we're all giving impressions. Impressions are better at determining > positives rather than negatives. We all hear, "rational subsets!" > but perhaps you didn't hear, "Qualified number restrictions" (and, > in EL++, they unite). [snip] SIgh. Ian points out to me that I got confused. EL++ does not include QCRs, but it does include a form of complex role inclusions (which was a motivation for adding them to OWL 1.1). Mes apologies. Cheers, Bijan.Received on Sunday, 19 November 2006 09:39:39 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:41:51 GMT