Re: Importing RIF documents from RDF - last attempt

> 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 14:44:55 UTC