Re: [Eulermoz-developers] Re: Re: Meaning of /=

[naudts g. <nau...@ya...>]

Hallo,
I want to come back on this issue. In RDFEngine:
:person1 /= :person2. is true when :person1 and
:person2 are different URI's.
However, in OWL, 
:person1 owl:differentFrom :person2.
is not necessarily true when :person1 and :person2 are
different URI's.
This is because OWL has a 'No unique names
assumption':
one 'object' can be designated by two different URI's.
So in order to make
:person1 owl:differentFrom :person2.
true in OWL an extra declaration is needed:
[a owl:AllDifferent;
owl:distinctMembers(:person1 :person2)].
declaring that :person1 and :person2 represent two
distinct entities.
So, de facto, my '/=' needs in OWL not one triple but
three triples. What's more the parsing has to be
different. As these three triples are interrelated but
can be wherever in your source code, this information
must be remembered in a datastructure to be integrated
after parsing.
What should be used instead is
log:notEqualTo
as defined in:
http://www.w3.org/2000/10/swap/doc/CwmBuiltins
because this just means non equality of uri's.

Greetings, Guido
--- Alfred Döblin <alf...@ya...> wrote:

> Háló,
> 
> > With OWL this becomes:
> > :person1 owl:differentFrom :person2.
> 
> I think that is a far better approach; be it
> standard
> or not, I think we should stick to the commonly
> accepted N3 syntax as much as possible, specially in
> those cases in which there exist more than
> reasonable
> alternatives to express a certain concept.
> 
> Cheers,
> 
> Alfred
> 
> 
> 	
> 		
>
___________________________________________________________
> Gesendet von Yahoo! Mail - Jetzt mit 100MB Speicher
> kostenlos - Hier anmelden: http://mail.yahoo.de
> 
> 
>
-------------------------------------------------------
> This SF.net email is sponsored by: IT Product Guide
> on ITManagersJournal
> Use IT products in your business? Tell us what you
> think of them. Give us
> Your Opinions, Get Free ThinkGeek Gift Certificates!
> Click to find out more
>
http://productguide.itmanagersjournal.com/guidepromo.tmpl
> _______________________________________________
> Eulermoz-developers mailing list
> Eul...@li...
>
https://lists.sourceforge.net/lists/listinfo/eulermoz-developers
> 




		
_______________________________
Do you Yahoo!?
Declare Yourself - Register online to vote today!
http://vote.yahoo.com