- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Sun, 19 Nov 2006 09:39:18 +0000
- To: Bijan Parsia <bparsia@isr.umd.edu>
- Cc: Jim Hendler <hendler@cs.umd.edu>, Kendall Clark <kendall@monkeyfist.com>, public-owl-dev@w3.org
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 UTC