Re: Dark triples, motivating examples

First off, thanks for your very helpful explanation of the problem.

On 2002-04-15 08:07 PM, "Pat Hayes" <phayes@ai.uwf.edu> wrote:

> Peter has shown that [not having dark triples] can actually produce
> inconsistencies in the OWL, basically rendering what would otherwise be
> perfectly good OWL assertions into nonsense.

Can you provide a pointer to this finding?

> PS. A pre-emptive strike: reification doesn't do it, either.

Alright, but do dark triples fix reification?

-- 
[ "Aaron Swartz" ; <mailto:me@aaronsw.com> ; <http://www.aaronsw.com/> ]

Received on Tuesday, 16 April 2002 01:20:04 UTC