owl:sameAs

["Ly, Kiet" <Ki...@finra.org>]

Hi,

Why owl:sameAs can infer the 2 addresses below the same? What do I need to have inference engine infers both addresses are the same?.

address:addressSet rdf:type rdfs:Class .
address:addressSet owl:hasKey ( address:NUMBER address:STREET address:ZIP ) .

address:ADDR1 rdf:type address:addressSet .
address:ADDR1 address:NUMBER "123"^^xsd:string .
address:ADDR1 address:STREET "THE STREET"^^xsd:string .
address:ADDR1 address:ZIP "12345"^^xsd:string .

address:ADDR2 rdf:type address:addressSet .
address:ADDR2 address:NUMBER "123"^^xsd:string .
address:ADDR2 address:STREET "THE STREET"^^xsd:string .
address:ADDR2 address:ZIP "12345"^^xsd:string .

Confidentiality Notice::  This email, including attachments, may include non-public, proprietary, confidential or legally privileged information.  If you are not an intended recipient or an authorized agent of an intended recipient, you are hereby notified that any dissemination, distribution or copying of the information contained in or transmitted with this e-mail is unauthorized and strictly prohibited.  If you have received this email in error, please notify the sender by replying to this message and permanently delete this e-mail, its attachments, and any copies of it immediately.  You should not retain, copy or use this e-mail or any attachment for any purpose, nor disclose all or any part of the contents to any other person. Thank you.

RE: owl:sameAs

[Mark Wallace <mw...@modusoperandi.com>]

owl:sameAs does not "infer things to be the same."  Rather, it declares things to be the same, and the inference engine infers other things from that .  E.g.

Assert these:

address:ADDR1 rdf:type address:addressSet .
address:ADDR1 address:NUMBER "123"^^xsd:string .
address:ADDR2 address:ZIP "12345"^^xsd:string .
address:ADDR2 address:STREET "THE STREET"^^xsd:string .
==> address:ADDR1 owl:sameAs address:ADDR2 .  <==

Inference engine asserts these:

address:ADDR1 address:ZIP "12345"^^xsd:string .
address:ADDR1 address:STREET "THE STREET"^^xsd:string .
address:ADDR2 rdf:type address:addressSet .
address:ADDR2 address:NUMBER "123"^^xsd:string .

I.e., since ADDR1 & ADDR2 are same, ADDR1 has the given ZIP and STREET, and ADDR2 has the given rdf:type and NUMBER.

To infer things to be the same instance, you need support for axioms like owl:FunctionalProperty, owl:InverseFunctionalProperty, owl:hasKey, cardinality, etc. 

--
Mark Wallace
PRINCIPAL ENGINEER, SEMANTIC APPLICATIONS
MODUS OPERANDI, INC.

O • 321.473.1442
F • 321.473.1499

mwallace@modusoperandi.com
www.modusoperandi.com

-----Original Message-----
From: Ly, Kiet [mailto:Kiet.Ly@finra.org] 
Sent: Wednesday, July 27, 2016 11:30 AM
To: dev@rya.incubator.apache.org
Subject: owl:sameAs

Hi,

Why owl:sameAs can infer the 2 addresses below the same? What do I need to have inference engine infers both addresses are the same?.

address:addressSet rdf:type rdfs:Class .
address:addressSet owl:hasKey ( address:NUMBER address:STREET address:ZIP ) .

address:ADDR1 rdf:type address:addressSet .
address:ADDR1 address:NUMBER "123"^^xsd:string .
address:ADDR1 address:STREET "THE STREET"^^xsd:string .
address:ADDR1 address:ZIP "12345"^^xsd:string .

address:ADDR2 rdf:type address:addressSet .
address:ADDR2 address:NUMBER "123"^^xsd:string .
address:ADDR2 address:STREET "THE STREET"^^xsd:string .
address:ADDR2 address:ZIP "12345"^^xsd:string .

Confidentiality Notice::  This email, including attachments, may include non-public, proprietary, confidential or legally privileged information.  If you are not an intended recipient or an authorized agent of an intended recipient, you are hereby notified that any dissemination, distribution or copying of the information contained in or transmitted with this e-mail is unauthorized and strictly prohibited.  If you have received this email in error, please notify the sender by replying to this message and permanently delete this e-mail, its attachments, and any copies of it immediately.  You should not retain, copy or use this e-mail or any attachment for any purpose, nor disclose all or any part of the contents to any other person. Thank you.