Re: Importing RIF documents from RDF - last attempt

> I think we could get a RIF WG resolution in support of it, possibly in
> the form of approving a review of the SPARQL ENT document, and that
> would be procedurally sufficient.


If the potential issue that we have two different semantics 
 "RIF with rif:imports"
and 
 "RIF pure" 
is not considered problematic by any other than me, that'd be sufficient.

I am well aware that what I am tempted to argue for (putting it within rif-rdf-owl stll) 
would cause a considerable pain now, but I think at the same time that avoiding this 
separation could save us some major interoperability pain later on. I would be very happy 
about any comments/ideas from others that could ease my concern. :-)

Axel


On 12 Mar 2010, at 14:44, Sandro Hawke wrote:

> > This is a cryptographically signed message in MIME format.
> >
> > --------------ms000108000304070208050108
> > Content-Type: text/plain; charset=ISO-8859-1
> > Content-Transfer-Encoding: quoted-printable
> >
> > Chris, I understand.
> >
> > The issue we have is that this statement, if defined somewhere, is
> > really not SPARQL specific only. Is it o.k. with the RIF group if the
> > URI used for those predicates are in the RIF namespace somehow?
> > Alternatively, we can mint a completely separate URI.
> 
> I think we could get a RIF WG resolution in support of it, possibly in
> the form of approving a review of the SPARQL ENT document, and that
> would be procedurally sufficient.
> 
>     -- Sandro
> 
> > Ivan
> >
> > On 2010-3-12 15:09 , Chris Welty wrote:
> > >=20
> > > Axel,
> > > I really really really do not understand why it matters whether RIF
> > > specifies this or SPARQL.
> > > RIF should be viewed as read-only right now unless there is an error.
> > >=20
> > > -Chris
> > >=20
> > > Axel Polleres wrote:
> > >> Hi all,
> > >>
> > >> We had the topic of "rif:imports" coming up in SPARQL again in our
> > >> Entailment regimes taskforce call this week.
> > >>
> > >> The reason why we (from the SPARQL side) would prefer to have that
> > >> imports mechanism defined in RIF,
> > >> is mainly that we think that the URIs to use for defining this imports=
> >
> > >> mechanism should be in  the rif: namespace, since this imports
> > >> mechanism is likely useful not only for SPARQL but also for other
> > >> RDF applications that wnat to interact with RIF.
> > >>
> > >> Thus, I wanted to inquire again, whether we'd have a chance to get
> > >> that an import mechanism for RIF from RDF into
> > >> http://www.w3.org/TR/rif-rdf-owl/ ?
> > >>
> > >> If the group overall still thinks that it is too late to get this into=
> >
> > >> the spec, in turn, I wanted to ask/raise again how/whether we could
> > >> proceed to publish this text as a WG Note?
> > >>
> > >> I have earlier made a simple proposal to add a new section to the
> > >> current spec, which we elaborated a bit now:
> > >>
> > >> 1) In the introduction of http://www.w3.org/2005/rules/wiki/SWC,
> > >> I would suggest to add:
> > >>
> > >> "RDF Graphs in RIF-RDF-combinations are assumed to not contain any
> > >> triples using the predicates
> > >> rif:imports, rif:ruleset and rif:profile we refer to Section 6 for
> > >> treatment of such graphs.
> > >> "
> > >>
> > >> 2) Further, I would suggest to add a new section:
> > >> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
> > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
> > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
> > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> > >>
> > >>
> > >> =3D 6 Importing RIF rulesets in RDF =3D
> > >>
> > >> The definitions so far, only covered RIF-RDF-combinations where the
> > >> RDF graphs did not contain
> > >> triples using rif:usingRuleset in predicate positions. To lift this
> > >> restriction, we define
> > >> RIF-X-combinations (R,S) where any of the graphs in S contains triples=
> >
> > >> with the predicates
> > >> rif:imports, rif:ruleset and rif:profile
> > >> by a reduction to combbinations without such triples as follows.
> > >>
> > >> Let (R, S) be a combination as above. The reduction of R is defined as=
> >
> > >> the
> > >> RIF-X-combinations (R', S') where
> > >>  (i) S' is identical to S with all rif:imports, rif:ruleset and
> > >> rif:profile triples removed,      and
> > >>  (ii) R' is identical to the RIF document R,
> > >>       with the addition that R' has additional imports clauses
> > >>       Imports( R1 )
> > >>       Imports( G P )
> > >>      for any triples
> > >>
> > >>        <> rif:imports [rif:ruleset R rif:profile P ].
> > >>
> > >>      in (simple entailed by) S, such that R1 is an IRI referring to a
> > >> RIF document and
> > >>      P is a URI referring to an imports profile as defined in
> > >>      Section http://www.w3.org/2005/rules/wiki/SWC#Profiles_of_Imports=
> >
> > >>
> > >> Together with the conditions in section 5.2 this ensures that
> > >> RIF-X-combinations where R is empty, i.e. which
> > >> are only defined by a set of RDF graphs, can also import RIF rulesets.=
> >
> > >>
> > >> =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
> > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
> > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=
> > =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D
> > >>
> > >>
> > >> In case there is a chance to get this on one of the next agendas,
> > >> please let me know, since I have recently not
> > >> really had time to be follow the RIF TCs, but I'd be joining for that.=
> >
> > >>
> > >> best,
> > >> Axel
> > >>
> > >> P.S.: Condition (i) which removes all the rif:usingruleSet triples, i.=
> > e.,
> > >> just treats these triples as a directive rather than part of the
> > >> graph, may be dropped, i.e. simply keeping S as is, accepting the
> > >> rif:imports, rif:ruleset and rif:profile triples as part of the graph.=
> >
> > >>
> > >=20
> >
> > --=20
> >
> > Ivan Herman, W3C Semantic Web Activity Lead
> > Home: http://www.w3.org/People/Ivan/
> > mobile: +31-641044153
> > PGP Key: http://www.ivan-herman.net/pgpkey.html
> > FOAF   : http://www.ivan-herman.net/foaf.rdf
> > vCard  : http://www.ivan-herman.net/HermanIvan.vcf
> >
> >
> > --------------ms000108000304070208050108
> > Content-Type: application/pkcs7-signature; name="smime.p7s"
> > Content-Transfer-Encoding: base64
> > Content-Disposition: attachment; filename="smime.p7s"
> > Content-Description: S/MIME Cryptographic Signature
> >
> > MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIILtDCC
> > BdYwggO+oAMCAQICAwhJdzANBgkqhkiG9w0BAQUFADB5MRAwDgYDVQQKEwdSb290IENBMR4w
> > HAYDVQQLExVodHRwOi8vd3d3LmNhY2VydC5vcmcxIjAgBgNVBAMTGUNBIENlcnQgU2lnbmlu
> > ZyBBdXRob3JpdHkxITAfBgkqhkiG9w0BCQEWEnN1cHBvcnRAY2FjZXJ0Lm9yZzAeFw0xMDAz
> > MDExMzUzNTRaFw0xMDA4MjgxMzUzNTRaMIGkMRgwFgYDVQQDEw9DQWNlcnQgV29UIFVzZXIx
> > IzAhBgkqhkiG9w0BCQEWFGl2YW5AaXZhbi1oZXJtYW4ubmV0MRowGAYJKoZIhvcNAQkBFgtp
> > dmFuQHczLm9yZzEkMCIGCSqGSIb3DQEJARYVaXZhbi5oZXJtYW5AZ21haWwuY29tMSEwHwYJ
> > KoZIhvcNAQkBFhJpdmFuLmhlcm1hbkBjd2kubmwwggEiMA0GCSqGSIb3DQEBAQUAA4IBDwAw
> > ggEKAoIBAQDSTEiJUoc4dnoGlJ9mK7eApF7icW/LeqDSc/ZJqrid3KKemFWpsHvQSLkBKMqF
> > 2r+942lZtcfh2CxfojhSg/qhiFhCC6cb13iZLIbUf7i09GucmHKQt3FeKBBeNKw3ZIVXvgh8
> > sq5oDTJPu/gxA//G3ALUy+aZXHJK2NxaKGY1iPZJCasvnp1r1/jhAoD/gG/PYp9wcyFmJ9su
> > HHbp8ylWlrauP4mqQ+nijYGkHP/z005ifzPq1nGbqXSrcbPYav+PdL02Ls9haaoYOAgSvzjH
> > hq6NF3vFb49g3lrHlofdIGWQxlVb3mS1hJ1PJEGd6LwyDrnTv1HpCCC8Xq1aTNB3AgMBAAGj
> > ggE5MIIBNTAMBgNVHRMBAf8EAjAAMFYGCWCGSAGG+EIBDQRJFkdUbyBnZXQgeW91ciBvd24g
> > Y2VydGlmaWNhdGUgZm9yIEZSRUUgaGVhZCBvdmVyIHRvIGh0dHA6Ly93d3cuQ0FjZXJ0Lm9y
> > ZzBABgNVHSUEOTA3BggrBgEFBQcDBAYIKwYBBQUHAwIGCisGAQQBgjcKAwQGCisGAQQBgjcK
> > AwMGCWCGSAGG+EIEATAyBggrBgEFBQcBAQQmMCQwIgYIKwYBBQUHMAGGFmh0dHA6Ly9vY3Nw
> > LmNhY2VydC5vcmcwVwYDVR0RBFAwToEUaXZhbkBpdmFuLWhlcm1hbi5uZXSBC2l2YW5AdzMu
> > b3JngRVpdmFuLmhlcm1hbkBnbWFpbC5jb22BEml2YW4uaGVybWFuQGN3aS5ubDANBgkqhkiG
> > 9w0BAQUFAAOCAgEAXREkmAZ50lcEHlfmBWq2As+sI2xYGOJX0R3hymStcucVOn+ih1xcnfxR
> > OKRUfDYPU4N64rISjEr0pLf7hQZd7Q5EICmPcx69Fw2xjasAl6MV7ENYyqdvEx8bPaKtEugz
> > BvSV/nZfaHEuOsdTbaMt7Mz5OMMCpBmwhGQM9dBL7QN2rejugMPv4j/OBT00v6x9yN7Lwg8X
> > PDn1uhYkKFdqFDnyCGaWi1DOREsGfFShHEAdRoVi3X8nNMZmBxek25fngT29hF3UwWiHG8AA
> > YVrV1Tvj9BzJwcEx8W0oovLNyRfYTYgXvZHYCn+Ag/turGePTR3yGsecXsm/Hgn3LP8HeTRQ
> > 8SGphHNHTBb4oAuYu831JqAbL50bbftq9Q3BqHy5tuc6AeClZaGKTTYP428b4J9w/zYRH8SG
> > 5KPG8QTu+MxuFWeDbwcxmmhGN2N1V19oqhd4Zn9UGq36lbN6Jw1XypCg9IBRJtQLl1pzmgpx
> > RgjYDhtg1BpJZieI/xmjhA3YK+XMEmppsEKFewNn0R/gLez/P01O0pjT/r1V5eyVkwws1RZz
> > Cx1hE+RWVJAAehMOaKXik3yQJa3WzQx4bw8vmm3EA1HkjFw6tPAM5cq7j6rvNRTs8vB4965K
> > ww/lQHfybLdAAP8piupGQvDNoE9vh2zlV9pQG+N8k2iD8jGfKN0wggXWMIIDvqADAgECAgMI
> > SXcwDQYJKoZIhvcNAQEFBQAweTEQMA4GA1UEChMHUm9vdCBDQTEeMBwGA1UECxMVaHR0cDov
> > L3d3dy5jYWNlcnQub3JnMSIwIAYDVQQDExlDQSBDZXJ0IFNpZ25pbmcgQXV0aG9yaXR5MSEw
> > HwYJKoZIhvcNAQkBFhJzdXBwb3J0QGNhY2VydC5vcmcwHhcNMTAwMzAxMTM1MzU0WhcNMTAw
> > ODI4MTM1MzU0WjCBpDEYMBYGA1UEAxMPQ0FjZXJ0IFdvVCBVc2VyMSMwIQYJKoZIhvcNAQkB
> > FhRpdmFuQGl2YW4taGVybWFuLm5ldDEaMBgGCSqGSIb3DQEJARYLaXZhbkB3My5vcmcxJDAi
> > BgkqhkiG9w0BCQEWFWl2YW4uaGVybWFuQGdtYWlsLmNvbTEhMB8GCSqGSIb3DQEJARYSaXZh
> > bi5oZXJtYW5AY3dpLm5sMIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA0kxIiVKH
> > OHZ6BpSfZiu3gKRe4nFvy3qg0nP2Saq4ndyinphVqbB70Ei5ASjKhdq/veNpWbXH4dgsX6I4
> > UoP6oYhYQgunG9d4mSyG1H+4tPRrnJhykLdxXigQXjSsN2SFV74IfLKuaA0yT7v4MQP/xtwC
> > 1MvmmVxyStjcWihmNYj2SQmrL56da9f44QKA/4Bvz2KfcHMhZifbLhx26fMpVpa2rj+JqkPp
> > 4o2BpBz/89NOYn8z6tZxm6l0q3Gz2Gr/j3S9Ni7PYWmqGDgIEr84x4aujRd7xW+PYN5ax5aH
> > 3SBlkMZVW95ktYSdTyRBnei8Mg65079R6QggvF6tWkzQdwIDAQABo4IBOTCCATUwDAYDVR0T
> > AQH/BAIwADBWBglghkgBhvhCAQ0ESRZHVG8gZ2V0IHlvdXIgb3duIGNlcnRpZmljYXRlIGZv
> > ciBGUkVFIGhlYWQgb3ZlciB0byBodHRwOi8vd3d3LkNBY2VydC5vcmcwQAYDVR0lBDkwNwYI
> > KwYBBQUHAwQGCCsGAQUFBwMCBgorBgEEAYI3CgMEBgorBgEEAYI3CgMDBglghkgBhvhCBAEw
> > MgYIKwYBBQUHAQEEJjAkMCIGCCsGAQUFBzABhhZodHRwOi8vb2NzcC5jYWNlcnQub3JnMFcG
> > A1UdEQRQME6BFGl2YW5AaXZhbi1oZXJtYW4ubmV0gQtpdmFuQHczLm9yZ4EVaXZhbi5oZXJt
> > YW5AZ21haWwuY29tgRJpdmFuLmhlcm1hbkBjd2kubmwwDQYJKoZIhvcNAQEFBQADggIBAF0R
> > JJgGedJXBB5X5gVqtgLPrCNsWBjiV9Ed4cpkrXLnFTp/oodcXJ38UTikVHw2D1ODeuKyEoxK
> > 9KS3+4UGXe0ORCApj3MevRcNsY2rAJejFexDWMqnbxMfGz2irRLoMwb0lf52X2hxLjrHU22j
> > LezM+TjDAqQZsIRkDPXQS+0Ddq3o7oDD7+I/zgU9NL+sfcjey8IPFzw59boWJChXahQ58ghm
> > lotQzkRLBnxUoRxAHUaFYt1/JzTGZgcXpNuX54E9vYRd1MFohxvAAGFa1dU74/QcycHBMfFt
> > KKLyzckX2E2IF72R2Ap/gIP7bqxnj00d8hrHnF7Jvx4J9yz/B3k0UPEhqYRzR0wW+KALmLvN
> > 9SagGy+dG237avUNwah8ubbnOgHgpWWhik02D+NvG+CfcP82ER/EhuSjxvEE7vjMbhVng28H
> > MZpoRjdjdVdfaKoXeGZ/VBqt+pWzeicNV8qQoPSAUSbUC5dac5oKcUYI2A4bYNQaSWYniP8Z
> > o4QN2CvlzBJqabBChXsDZ9Ef4C3s/z9NTtKY0/69VeXslZMMLNUWcwsdYRPkVlSQAHoTDmil
> > 4pN8kCWt1s0MeG8PL5ptxANR5IxcOrTwDOXKu4+q7zUU7PLwePeuSsMP5UB38my3QAD/KYrq
> > RkLwzaBPb4ds5VfaUBvjfJNog/IxnyjdMYIDlDCCA5ACAQEwgYAweTEQMA4GA1UEChMHUm9v
> > dCBDQTEeMBwGA1UECxMVaHR0cDovL3d3dy5jYWNlcnQub3JnMSIwIAYDVQQDExlDQSBDZXJ0
> > IFNpZ25pbmcgQXV0aG9yaXR5MSEwHwYJKoZIhvcNAQkBFhJzdXBwb3J0QGNhY2VydC5vcmcC
> > AwhJdzAJBgUrDgMCGgUAoIIB6DAYBgkqhkiG9w0BCQMxCwYJKoZIhvcNAQcBMBwGCSqGSIb3
> > DQEJBTEPFw0xMDAzMTIxNDM0MTJaMCMGCSqGSIb3DQEJBDEWBBRFpgwj/Lcn3K6DeudvJkIZ
> > CCGSjTBfBgkqhkiG9w0BCQ8xUjBQMAsGCWCGSAFlAwQBAjAKBggqhkiG9w0DBzAOBggqhkiG
> > 9w0DAgICAIAwDQYIKoZIhvcNAwICAUAwBwYFKw4DAgcwDQYIKoZIhvcNAwICASgwgZEGCSsG
> > AQQBgjcQBDGBgzCBgDB5MRAwDgYDVQQKEwdSb290IENBMR4wHAYDVQQLExVodHRwOi8vd3d3
> > LmNhY2VydC5vcmcxIjAgBgNVBAMTGUNBIENlcnQgU2lnbmluZyBBdXRob3JpdHkxITAfBgkq
> > hkiG9w0BCQEWEnN1cHBvcnRAY2FjZXJ0Lm9yZwIDCEl3MIGTBgsqhkiG9w0BCRACCzGBg6CB
> > gDB5MRAwDgYDVQQKEwdSb290IENBMR4wHAYDVQQLExVodHRwOi8vd3d3LmNhY2VydC5vcmcx
> > IjAgBgNVBAMTGUNBIENlcnQgU2lnbmluZyBBdXRob3JpdHkxITAfBgkqhkiG9w0BCQEWEnN1
> > cHBvcnRAY2FjZXJ0Lm9yZwIDCEl3MA0GCSqGSIb3DQEBAQUABIIBAFF5BcMXGJ3Hypud8I24
> > SaiLprnVeQQuw2B2jTx/3VzCqSwNjE/lsfir6SQ2Z88kgZsXubUmqDmI94pBFPs7hQcPKOaT
> > jHWdahDGCpZLOWNCeFFr4GXZ9Y6YhZSeFPKEk362p798izOrK0zGYsEQImRGzwBmkXpFVD0O
> > imUwTElLI/kZdCUzae6iMuVUabf641yveQE5GHQkWVPa8MRRgXsHRvMr4vlmW5V9jt1vR+51
> > uQQg4zGBt5nEBS8HJF5Yv1eqkr+wu/3UkBxnbAbL+6nSMOMokywolEpCRA9GvtGB0b3SK8qC
> > XlgUb/WQAifn0ML346gnkl0iOUipoxeJHZUAAAAAAAA=
> > --------------ms000108000304070208050108--
>

Received on Friday, 12 March 2010 15:10:52 UTC