RE: State of OWL reasoners
William Van Woensel <[email protected]> Fri, 26 Jun 2020 12:30:41 +0000
| Newsgroups | gmane.org.w3c.semantic-web |
|---|---|
| Message-ID | <YTXPR0101MB1022E81D54C0ABA839643335D4930@YTXPR0101MB1022.CANPRD01.PROD.OUTLOOK.COM> |
SGkgTWlrYWVsLA0KDQpEaXNjbGFpbWVyOiBJJ3ZlIGJlZW4gdXNpbmcgdGhlc2UgcmVhc29uZXJz IChIZXJtaVQsIFBlbGxldCkgZWl0aGVyIHRocm91Z2ggUHJvdMOpZ8OpIG9yIGFzIEphdmEgbGli cmFyaWVzIChpLmUuLCBpbiBKYXZhIGNvZGUpLCBub3QgZGlyZWN0bHkgZnJvbSBjb21tYW5kIGxp bmUuIChTbyBtYXliZSB0aGF0J3MgdGhlIHJ1YiBoZXJlLikNCg0KUmVnYXJkaW5nIEV5ZSwgeW91 IGNhbiBmaW5kIHRoZSBpbnN0YWxsIGRvYyBoZXJlOiBodHRwOi8vZXVsZXJzaGFycC5zb3VyY2Vm b3JnZS5uZXQvSU5TVEFMTC4gSSBmb3VuZCB0aGlzIHJlYXNvbmVyIHdvcmtpbmcgcXVpdGUgd2Vs bCB2aWEgY29tbWFuZCBsaW5lIC0gSSd2ZSB1c2VkIGl0IG9mdGVuLiANCg0KDQpXDQoNCi0tLS0t T3JpZ2luYWwgTWVzc2FnZS0tLS0tDQpGcm9tOiBNaWthZWwgUGVzb25lbiA8bWlrYWVsLnBlc29u ZW5AbGluZ3NvZnQuZmk+IA0KU2VudDogSnVuZS0yNi0yMCA3OjEwIEFNDQpUbzogV2lsbGlhbSBW YW4gV29lbnNlbCA8V2lsbGlhbS5WYW4uV29lbnNlbEBEYWwuQ2E+OyBzZW1hbnRpYy13ZWJAdzMu b3JnDQpTdWJqZWN0OiBSZTogU3RhdGUgb2YgT1dMIHJlYXNvbmVycw0KDQpDQVVUSU9OOiBUaGUg U2VuZGVyIG9mIHRoaXMgZW1haWwgaXMgbm90IGZyb20gd2l0aGluIERhbGhvdXNpZS4NCg0KSGks DQoNCkhlcm1pVCBoYXMgYSBidWcgZ2l2aW5nIG1vcmUgZmFsc2UgcG9zaXRpdmVzIHRoYXQgdHJ1 ZSBwb3NpdGl2ZXMgZm9yDQplbnRhaWxtZW50OiBodHRwczovL2dpdGh1Yi5jb20vb3dsY3MvaGVy bWl0LXJlYXNvbmVyL2lzc3Vlcy85DQoNClBlbGxldCBhbmQgaWYgaSByZW1lbWJlciBjb3JyZWN0 bHkgb3BlbmxsZXQgZ2l2ZSBqYXZhIGVycm9yIHdoZW4gdHJ5aW5nIHRvIGNvbXBpbGUgcGFja2Fn ZTogaHR0cHM6Ly9naXRodWIuY29tL3N0YXJkb2ctdW5pb24vcGVsbGV0L2lzc3Vlcy80OA0KDQpG YUNUKys6IGFjdHVhbGx5IGp1c3QgbWFuYWdlZCB0byBzb2x2ZSBpc3N1ZSB3aXRoIG1pc3Npbmcg bGlicywgYnV0DQpjYW4ndCBmaW5kIGFueSBkb2N1bWVudGF0aW9uIG9uIGhvdyB0byBtYWtlIGNv bmZpZyBmaWxlIGZvciByZWFzb25pbmcNCg0KZXllOiBtaXNzaW5nIHNvbWUgZGVwZW5kZW5jaWVz IGFuZCBkaWRuJ3QgbWFuYWdlIHRvIGluc3RhbGwgcmlnaHQgb25lcyB3aXRob3V0IGRvY3VtZW50 YXRpb24uDQoNCg0KTWF5IEkgYXNrIHdoaWNoIG9uZSBhcmUgeW91IHJ1bm5pbmcgc3VjY2Vzc2Z1 bGx5PyBCdHcgSSdtIHVzaW5nIFVidW50dS4NCg0KQnINCg0KDQpPbiAyNS42LjIwMjAgMTg6Mzks IFdpbGxpYW0gVmFuIFdvZW5zZWwgd3JvdGU6DQo+IEhpIE1pa2FlbCwNCj4NCj4gSnVzdCB3b25k ZXJpbmcsIHdoYXQgZXJyb3JzIGFyZSB5b3UgZ2V0dGluZyBpbiBwYXJ0aWN1bGFyIGZvciBlYWNo IA0KPiByZWFzb25lcj8gSSd2ZSBzdWNjZXNzZnVsbHkgdXNlZCBzZXZlcmFsIG9mIHRoZSBsaXN0 ZWQgb25lcy4gKEFsc28gDQo+IG5vdGUgdGhhdCBFWUUgaXMgbm90IGFuIE9XTCByZWFzb25lciwg YWx0aG91Z2ggaXQgY291bGQgYmUgdXNlZCB3aXRoIA0KPiBhbiBPV0wyIFJMIHJ1bGVzZXQgdG8g ZnVsZmlsbCB0aGF0IHJvbGUgdG8gYW4gZXh0ZW50LikNCj4NCj4NCj4gVw0KPg0KPiAtLS0tLU9y aWdpbmFsIE1lc3NhZ2UtLS0tLQ0KPiBGcm9tOiBNaWthZWwgUGVzb25lbiA8bWlrYWVsLnBlc29u ZW5AbGluZ3NvZnQuZmk+DQo+IFNlbnQ6IEp1bmUtMjUtMjAgNjo1OSBBTQ0KPiBUbzogc2VtYW50 aWMtd2ViQHczLm9yZw0KPiBTdWJqZWN0OiBTdGF0ZSBvZiBPV0wgcmVhc29uZXJzDQo+DQo+IENB VVRJT046IFRoZSBTZW5kZXIgb2YgdGhpcyBlbWFpbCBpcyBub3QgZnJvbSB3aXRoaW4gRGFsaG91 c2llLg0KPg0KPiBJIHRob3VnaHQgdG8gZG8gc29tZSBlbnRhaWxtZW50IGNoZWNraW5nIGluIE9X TCBpbiB3YXkgdGhhdCBubyBwcm9ncmFtbWluZyBvciBpbnN0YWxsIHNjcmlwdGluZyBpcyBub3Qg YmUgcmVxdWlyZWQuDQo+IFNvIGZhciBoYXZlIHRlc3RlZCBzbyBmYXIgSGVybWlULCBQZWxsZXQs IE9wZW5sbGV0LCBGYWN0KyssIEVZRSBhbmQgUm9ib3QuIE5vbmUgb2YgdGhlbSB3b3JrLg0KPiBS b2JvdCBkb2Vzbid0IGhhdmUgdGhlIGVudGFpbG1lbnQgZnVuY3Rpb24sIG90aGVycyBhcmUgYnJv a2VuLiBFaXRoZXIga25vd2xlZGdlIGhvdyB0byB0d2VhayBMaW51eCBpbnN0YWxsYXRpb24gc2Ny aXB0cyB0byBzb2x2ZSBjb25mbGljdHMgaXMgcmVxdWlyZWQgb3IgdGhleSBqdXN0IGNyYXNoIG9y IGZ1bmN0aW9uIGVycm9uZW91c2x5Lg0KPiBTb21lIG9mIHRoZSBwcm9qZWN0cyBhcmUgYWxpdmUs IHRoYXQgaXMsIGZvcnVtIGFuZCBHaXRIdWIgcG9zdHMgZ290IGZpcnN0IGFuc3dlcmVkLCBidXQg ZXZlbnR1YWxseSBnb3Qgc2lsZW5jZSBiZWZvcmUgcHJvYmxlbXMgZ290IHNvbHZlZC4NCj4NCj4g SSB0aGluZyBXM0MgaXMgZG9pbmcgYXdlc29tZSBqb2IgbWFraW5nIHRoZSBzcGVjaWZpY2F0aW9u cywgYnV0IHRoZXkgYXJlIHVzZWxlc3Mgd2l0aG91dCB0aGUgdG9vbHMgdGhhdCBpbXBsZW1lbnQg dGhlbS4NCj4NCg0K