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