Re: RDF and OWL test cases

Stella Mitchell wrote:
> 
> Thanks a lot for the test cases.
> 
> About the location, how about if for each given RDF graph document (or
> etc),  the
> test case extractor code creates a  file (such as premisesxxx.nt or
> inputxxx.nt) in
> the directory for that test case, generates the URL that refers to that
> file, and
> updates the appropriate Import directive in a RIF input document of the
> test. We may
> have something set up like this:
> http://www.w3.org/2000/10/rdf-tests/rdfcore/).  It's
> probably better if the test case submitter does not try to type in the
> real location
> when adding the case to the wiki. I think the location field you created
> serves
> as a link between a particular (RIF or non RIF) input document of the
> test and a
> particular import directive in one of the RIF input documents of the
> test? In that
> case, it could either be as you have it, which is syntactically correct
> PS, or there
> could just be simple IDs, which would make it clear these aren't real
> locations yet,
> but would result in syntactically incorrect PS (only in the wiki
> display, and possibly only
> temporarily in that display).  Did I understand correctly what you two
> are talking about?

I think you did.  So, just tell me what to write in the location field
in the test cases :-)

> About the "RDF Graph" heading, for the wiki display, I think "RDF Graph" or
> "Premises"  is more descriptive and helpful to the reader than
> "Auxilliary data,"
> are you thinking about wiki template issues?

I think "Premises" is not really clear, because it is not part of the
premise. I'm fine with "RDF Graph" or "Auxiliary data".

Best, Jos

> 
> Stella
> 
> 
> 
> 
> *Jos de Bruijn <debruijn@inf.unibz.it>*
> Sent by: public-rif-wg-request@w3.org
> 
> 08/28/2008 04:59 AM
> 
> 	
> To
> 	Sandro Hawke <sandro@w3.org>
> cc
> 	RIF WG <public-rif-wg@w3.org>
> Subject
> 	Re: RDF and OWL test cases
> 
> 
> 	
> 
> 
> 
> 
> 
> Concerning the "RDF Graph" heading: it is not really an input, because
> there is already an import statement in the RIF document.
> an "auxiliary data" heading probably fits.
> 
> Concerning the location: it would probably be best to use real locations
> and to publish the example RDF graphs at these locations, also for the
> purpose of enabling automation of the test cases.  But then we would
> need some kind of repository to maintain them.
> Any ideas?
> 
> Best, Jos
> 
> Sandro Hawke wrote:
>>> I added some test cases concerned with RDF and owl.  I improvised a
>>> little when writing the RDF graphs.  Let me know if its okay.
>>
>> Specifically, you added a "Location" heading, to allow for imports,
>> right?
>>
>> Yes, I think that's a good approach.  We'll have the location always be
>> at example.org as you put it, but be clear you should substitute in the
>> real location and do a string replacement on the other documents.
>>
>> Oh, you also added an "RDF Graph" heading.  I'm less happy about that
>> because it's such a special case.  Maybe "Auxiary Input" or something?
>> *shrug*  
>>
>>      -- Sandro
>>
>>> RDF:
>>> http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence
>>>
> http://www.w3.org/2005/rules/wiki/RDF_Combination_Constant_Equivalence_Graph_
>>> Entailment
>>>
>>> OWL DL:
>>> http://www.w3.org/2005/rules/wiki/Annotation_Entailment
>>> http://www.w3.org/2005/rules/wiki/Non-Annotation_Entailment
>>>
> http://www.w3.org/2005/rules/wiki/Individual-Data_Separation_Inconsistency
>>>
> http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Incon
>>> sistency
>>>
> http://www.w3.org/2005/rules/wiki/OWL_Combination_Vocabulary_Separation_Incon
>>> sistency_II
>>> --
>>> Jos de Bruijn            debruijn@inf.unibz.it
>>> +390471016224         http://www.debruijn.net/
>>> ----------------------------------------------
>>> No one who cannot rejoice in the discovery of
>>> his own mistakes deserves to be called a
>>> scholar.
>>>   - Donald Foster
>>>
>>> --------------ms090302070509030502060207
>>> Content-Type: application/x-pkcs7-signature; name="smime.p7s"
>>> Content-Transfer-Encoding: base64
>>> Content-Disposition: attachment; filename="smime.p7s"
>>> Content-Description: S/MIME Cryptographic Signature
>>>
>>> MIAGCSqGSIb3DQEHAqCAMIACAQExCzAJBgUrDgMCGgUAMIAGCSqGSIb3DQEHAQAAoIIJEzCC
>>> AuQwggJNoAMCAQICEFDQ8Z0xPbVzrJnMS/oJwyowDQYJKoZIhvcNAQEFBQAwYjELMAkGA1UE
>>> BhMCWkExJTAjBgNVBAoTHFRoYXd0ZSBDb25zdWx0aW5nIChQdHkpIEx0ZC4xLDAqBgNVBAMT
>>> I1RoYXd0ZSBQZXJzb25hbCBGcmVlbWFpbCBJc3N1aW5nIENBMB4XDTA4MDMxNzE2MjgyNVoX
>>> DTA5MDMxNzE2MjgyNVowRzEfMB0GA1UEAxMWVGhhd3RlIEZyZWVtYWlsIE1lbWJlcjEkMCIG
>>> CSqGSIb3DQEJARYVZGVicnVpam5AaW5mLnVuaWJ6Lml0MIIBIjANBgkqhkiG9w0BAQEFAAOC
>>> AQ8AMIIBCgKCAQEAurBxaoPOweZ4Wa4pat4q+fogUG8VgMK18UAtopP+Itk7xzIxS9YgBG/5
>>> P6AJaOGiIWGfApCsSl4F0ibqnRRI8VJ39X4Tvs9S+iA/L65PcKWHHy90WqfPud6LK2UcriAl
>>> r5CSegHf6o5qVwSIfvsUyj1c00z3itU4HjoZbcDBxVoffUq7gstrX6USM9dIKP8nrXRgVSV1
>>> 0ZEcLMZAZGmH2HkbsQU2PYAS1LBGmzsy9Kh7zZt5csekbvCgcYifiasyRnLVLhDRRA6By8ws
>>> vuAJjczXoLivwIw3gnqd29Lux6TBn8J4LknGRvkC+9XAnOtjeb3DxnCe5yA6IAqrR0IGrQID
>>> AQABozIwMDAgBgNVHREEGTAXgRVkZWJydWlqbkBpbmYudW5pYnouaXQwDAYDVR0TAQH/BAIw
>>> ADANBgkqhkiG9w0BAQUFAAOBgQBY+QwMrSthNBpcBZv+NiasUF41ZjCH46u8MK0SLlltghHl
>>> Hs8NPF69+aWoy/n+AN6z6ZB1/Eq6VYMA5xwJWxoAfEDHMGrvjXUFe6uBUzqi4oSI6rksGU4o
>>> 7KSAagMpcS8CczgK7P8HwjTov0Fz/ziFXfwWTHyIMBbXD9PxnD3kWDCCAuQwggJNoAMCAQIC
>>> EFDQ8Z0xPbVzrJnMS/oJwyowDQYJKoZIhvcNAQEFBQAwYjELMAkGA1UEBhMCWkExJTAjBgNV
>>> BAoTHFRoYXd0ZSBDb25zdWx0aW5nIChQdHkpIEx0ZC4xLDAqBgNVBAMTI1RoYXd0ZSBQZXJz
>>> b25hbCBGcmVlbWFpbCBJc3N1aW5nIENBMB4XDTA4MDMxNzE2MjgyNVoXDTA5MDMxNzE2Mjgy
>>> NVowRzEfMB0GA1UEAxMWVGhhd3RlIEZyZWVtYWlsIE1lbWJlcjEkMCIGCSqGSIb3DQEJARYV
>>> ZGVicnVpam5AaW5mLnVuaWJ6Lml0MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEA
>>> urBxaoPOweZ4Wa4pat4q+fogUG8VgMK18UAtopP+Itk7xzIxS9YgBG/5P6AJaOGiIWGfApCs
>>> Sl4F0ibqnRRI8VJ39X4Tvs9S+iA/L65PcKWHHy90WqfPud6LK2UcriAlr5CSegHf6o5qVwSI
>>> fvsUyj1c00z3itU4HjoZbcDBxVoffUq7gstrX6USM9dIKP8nrXRgVSV10ZEcLMZAZGmH2Hkb
>>> sQU2PYAS1LBGmzsy9Kh7zZt5csekbvCgcYifiasyRnLVLhDRRA6By8wsvuAJjczXoLivwIw3
>>> gnqd29Lux6TBn8J4LknGRvkC+9XAnOtjeb3DxnCe5yA6IAqrR0IGrQIDAQABozIwMDAgBgNV
>>> HREEGTAXgRVkZWJydWlqbkBpbmYudW5pYnouaXQwDAYDVR0TAQH/BAIwADANBgkqhkiG9w0B
>>> AQUFAAOBgQBY+QwMrSthNBpcBZv+NiasUF41ZjCH46u8MK0SLlltghHlHs8NPF69+aWoy/n+
>>> AN6z6ZB1/Eq6VYMA5xwJWxoAfEDHMGrvjXUFe6uBUzqi4oSI6rksGU4o7KSAagMpcS8CczgK
>>> 7P8HwjTov0Fz/ziFXfwWTHyIMBbXD9PxnD3kWDCCAz8wggKooAMCAQICAQ0wDQYJKoZIhvcN
>>> AQEFBQAwgdExCzAJBgNVBAYTAlpBMRUwEwYDVQQIEwxXZXN0ZXJuIENhcGUxEjAQBgNVBAcT
>>> CUNhcGUgVG93bjEaMBgGA1UEChMRVGhhd3RlIENvbnN1bHRpbmcxKDAmBgNVBAsTH0NlcnRp
>>> ZmljYXRpb24gU2VydmljZXMgRGl2aXNpb24xJDAiBgNVBAMTG1RoYXd0ZSBQZXJzb25hbCBG
>>> cmVlbWFpbCBDQTErMCkGCSqGSIb3DQEJARYccGVyc29uYWwtZnJlZW1haWxAdGhhd3RlLmNv
>>> bTAeFw0wMzA3MTcwMDAwMDBaFw0xMzA3MTYyMzU5NTlaMGIxCzAJBgNVBAYTAlpBMSUwIwYD
>>> VQQKExxUaGF3dGUgQ29uc3VsdGluZyAoUHR5KSBMdGQuMSwwKgYDVQQDEyNUaGF3dGUgUGVy
>>> c29uYWwgRnJlZW1haWwgSXNzdWluZyBDQTCBnzANBgkqhkiG9w0BAQEFAAOBjQAwgYkCgYEA
>>> xKY8VXNV+065yplaHmjAdQRwnd/p/6Me7L3N9VvyGna9fww6YfK/Uc4B1OVQCjDXAmNaLIkV
>>> cI7dyfArhVqqP3FWy688Cwfn8R+RNiQqE88r1fOCdz0Dviv+uxg+B79AgAJk16emu59l0cUq
>>> VIUPSAR/p7bRPGEEQB5kGXJgt/sCAwEAAaOBlDCBkTASBgNVHRMBAf8ECDAGAQH/AgEAMEMG
>>> A1UdHwQ8MDowOKA2oDSGMmh0dHA6Ly9jcmwudGhhd3RlLmNvbS9UaGF3dGVQZXJzb25hbEZy
>>> ZWVtYWlsQ0EuY3JsMAsGA1UdDwQEAwIBBjApBgNVHREEIjAgpB4wHDEaMBgGA1UEAxMRUHJp
>>> dmF0ZUxhYmVsMi0xMzgwDQYJKoZIhvcNAQEFBQADgYEASIzRUIPqCy7MDaNmrGcPf6+svsIX
>>> oUOWlJ1/TCG4+DYfqi2fNi/A9BxQIJNwPP2t4WFiw9k6GX6EsZkbAMUaC4J0niVQlGLH2ydx
>>> VyWN3amcOY6MIE9lX5Xa9/eH1sYITq726jTlEBpbNU1341YheILcIRk13iSx0x1G/11fZU8x
>>> ggNkMIIDYAIBATB2MGIxCzAJBgNVBAYTAlpBMSUwIwYDVQQKExxUaGF3dGUgQ29uc3VsdGlu
>>> ZyAoUHR5KSBMdGQuMSwwKgYDVQQDEyNUaGF3dGUgUGVyc29uYWwgRnJlZW1haWwgSXNzdWlu
>>> ZyBDQQIQUNDxnTE9tXOsmcxL+gnDKjAJBgUrDgMCGgUAoIIBwzAYBgkqhkiG9w0BCQMxCwYJ
>>> KoZIhvcNAQcBMBwGCSqGSIb3DQEJBTEPFw0wODA4MjcxNjA0NDRaMCMGCSqGSIb3DQEJBDEW
>>> BBRYkcsxLzOCGKOvlt/b21J6G3P/FDBSBgkqhkiG9w0BCQ8xRTBDMAoGCCqGSIb3DQMHMA4G
>>> CCqGSIb3DQMCAgIAgDANBggqhkiG9w0DAgIBQDAHBgUrDgMCBzANBggqhkiG9w0DAgIBKDCB
>>> hQYJKwYBBAGCNxAEMXgwdjBiMQswCQYDVQQGEwJaQTElMCMGA1UEChMcVGhhd3RlIENvbnN1
>>> bHRpbmcgKFB0eSkgTHRkLjEsMCoGA1UEAxMjVGhhd3RlIFBlcnNvbmFsIEZyZWVtYWlsIElz
>>> c3VpbmcgQ0ECEFDQ8Z0xPbVzrJnMS/oJwyowgYcGCyqGSIb3DQEJEAILMXigdjBiMQswCQYD
>>> VQQGEwJaQTElMCMGA1UEChMcVGhhd3RlIENvbnN1bHRpbmcgKFB0eSkgTHRkLjEsMCoGA1UE
>>> AxMjVGhhd3RlIFBlcnNvbmFsIEZyZWVtYWlsIElzc3VpbmcgQ0ECEFDQ8Z0xPbVzrJnMS/oJ
>>> wyowDQYJKoZIhvcNAQEBBQAEggEAp3AcRQfE06ivxoSyAj92kEPfjAHjZ2ge4wg+H8AJ4Wbf
>>> n/YUQE9N1bjLd5zGFVHM5CXicLWkUS08gjYDB5kwwQbBkgD3JMqCLmPTO1/9o+sr1LDCbUvR
>>> vUVTJgc7/50LGSiR0VtZWa75wNDoKokxZBAzCisRqr1b7OPqeHEryfyfr+W4a3chgSNGzjnR
>>> oxOD6VauRieHUovxj9OCsFt9XmIQVciGVTizZJdznzjXZVVqol26BJsRxSIt3+TBnSAbmL2/
>>> zR6IqDgUMzdp169Dag6NS4AKkRhw1878OwLS9xJt6LVVuUZtnb2eWjqk0kVkLFHwvBS3jN1M
>>> 2K+Y+aiGFQAAAAAAAA==
>>> --------------ms090302070509030502060207--
> 
> -- 
> Jos de Bruijn            debruijn@inf.unibz.it
> +390471016224         http://www.debruijn.net/
> ----------------------------------------------
> No one who cannot rejoice in the discovery of
> his own mistakes deserves to be called a
> scholar.
>  - Donald Foster
> 

-- 
Jos de Bruijn            debruijn@inf.unibz.it
+390471016224         http://www.debruijn.net/
----------------------------------------------
No one who cannot rejoice in the discovery of
his own mistakes deserves to be called a
scholar.
  - Donald Foster