Re: A proposal for introducing anonymous individuals into OWL 1.1 functional-style syntax

On Feb 13, 2008, at 3:00 PM, Boris Motik wrote:

> Finally, we would extend the semantics document to treat anonymous  
> individuals in exactly the same way as this is done in SPARQL. This  
> would give us a slightly weaker semantics than what is currently  
> available in OWL (1.0) Full.

Hi Boris,

This seems to be the skolem proposal again,  as close as I can tell.  
Do I misunderstand?

-Alan

Received on Monday, 18 February 2008 05:48:23 UTC