Re: RDF and OWL test cases

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?

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?

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