Re: RDF and OWL test cases

> 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--

Received on Wednesday, 27 August 2008 16:51:10 UTC