Re: [SWC] bNode modelling: was Re: RDF and OWL compatibility

Dave (Reynolds) has asked: 

>So apart from the skolem function itself, the other thing you are doing 
>is only introducing the skolem function when there isn't a known 
>address. I can see why you would do that. However, in terms of obtaining 
>the "same result as far as the user goals are concerned" then if the 
>user is processing RDF is this necessary?

To the best of my understanding, an answer is as follows: 

Because not in all cases one obtains the "same result as far as the user goals are concerned". 

Indeed, Skolemization might turn a finitely satisfiable theory (ie a specification that is realized by something, eg a database, which is finite) into one that only has infinite models. As a consequence, drawing some conclusion might no longer be possible (in finite time). 

Francois (Bry)