- From: Bijan Parsia <bparsia@cs.man.ac.uk>
- Date: Thu, 22 Nov 2007 13:03:43 +0000
- To: Jeremy Carroll <jjc@hpl.hp.com>
- Cc: Uli Sattler <sattler@cs.man.ac.uk>, OWL Working Group WG <public-owl-wg@w3.org>
On 22 Nov 2007, at 10:38, Jeremy Carroll wrote: > Uli Sattler wrote: > >> I think that what you suggest is to change the semantics of (OWL >> DL and?) OWL 1.1 so that every interpretation domain contains, in >> addition to "owl:thing"s, infinitely many other elements -- is >> this the case? > > correct > > > > I don't think that this is really a email related to this issue: > in OWL > > DL and OWL 1.1, we can write > > > > - an ontology such that all of their models are of finite > cardinality > > - an ontology such that all of their models are of infinite > cardinality > > > > The relevance of the quoted e-mail is that such a change places no > burden on implementors. Clearly not. Cheers, Bijan.
Received on Thursday, 22 November 2007 13:02:09 UTC