rya-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Mark Wallace <mwall...@modusoperandi.com>
Subject RE: owl:sameAs
Date Wed, 27 Jul 2016 18:01:43 GMT
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.
Mime
View raw message