RE: State of OWL reasoners
William Van Woensel <[email protected]> Thu, 25 Jun 2020 15:39:32 +0000
| Newsgroups | gmane.org.w3c.semantic-web |
|---|---|
| Message-ID | <YTXPR0101MB1022CAA7E434AE501C0A77D9D4920@YTXPR0101MB1022.CANPRD01.PROD.OUTLOOK.COM> |
SGkgTWlrYWVsLA0KDQpKdXN0IHdvbmRlcmluZywgd2hhdCBlcnJvcnMgYXJlIHlvdSBnZXR0aW5n IGluIHBhcnRpY3VsYXIgZm9yIGVhY2ggcmVhc29uZXI/IEkndmUgc3VjY2Vzc2Z1bGx5IHVzZWQg c2V2ZXJhbCBvZiB0aGUgbGlzdGVkIG9uZXMuIChBbHNvIG5vdGUgdGhhdCBFWUUgaXMgbm90IGFu IE9XTCByZWFzb25lciwgYWx0aG91Z2ggaXQgY291bGQgYmUgdXNlZCB3aXRoIGFuIE9XTDIgUkwg cnVsZXNldCB0byBmdWxmaWxsIHRoYXQgcm9sZSB0byBhbiBleHRlbnQuKQ0KDQoNClcNCg0KLS0t LS1PcmlnaW5hbCBNZXNzYWdlLS0tLS0NCkZyb206IE1pa2FlbCBQZXNvbmVuIDxtaWthZWwucGVz b25lbkBsaW5nc29mdC5maT4gDQpTZW50OiBKdW5lLTI1LTIwIDY6NTkgQU0NClRvOiBzZW1hbnRp Yy13ZWJAdzMub3JnDQpTdWJqZWN0OiBTdGF0ZSBvZiBPV0wgcmVhc29uZXJzDQoNCkNBVVRJT046 IFRoZSBTZW5kZXIgb2YgdGhpcyBlbWFpbCBpcyBub3QgZnJvbSB3aXRoaW4gRGFsaG91c2llLg0K DQpJIHRob3VnaHQgdG8gZG8gc29tZSBlbnRhaWxtZW50IGNoZWNraW5nIGluIE9XTCBpbiB3YXkg dGhhdCBubyBwcm9ncmFtbWluZyBvciBpbnN0YWxsIHNjcmlwdGluZyBpcyBub3QgYmUgcmVxdWly ZWQuDQpTbyBmYXIgaGF2ZSB0ZXN0ZWQgc28gZmFyIEhlcm1pVCwgUGVsbGV0LCBPcGVubGxldCwg RmFjdCsrLCBFWUUgYW5kIFJvYm90LiBOb25lIG9mIHRoZW0gd29yay4NClJvYm90IGRvZXNuJ3Qg aGF2ZSB0aGUgZW50YWlsbWVudCBmdW5jdGlvbiwgb3RoZXJzIGFyZSBicm9rZW4uIEVpdGhlciBr bm93bGVkZ2UgaG93IHRvIHR3ZWFrIExpbnV4IGluc3RhbGxhdGlvbiBzY3JpcHRzIHRvIHNvbHZl IGNvbmZsaWN0cyBpcyByZXF1aXJlZCBvciB0aGV5IGp1c3QgY3Jhc2ggb3IgZnVuY3Rpb24gZXJy b25lb3VzbHkuDQpTb21lIG9mIHRoZSBwcm9qZWN0cyBhcmUgYWxpdmUsIHRoYXQgaXMsIGZvcnVt IGFuZCBHaXRIdWIgcG9zdHMgZ290IGZpcnN0IGFuc3dlcmVkLCBidXQgZXZlbnR1YWxseSBnb3Qg c2lsZW5jZSBiZWZvcmUgcHJvYmxlbXMgZ290IHNvbHZlZC4NCg0KSSB0aGluZyBXM0MgaXMgZG9p bmcgYXdlc29tZSBqb2IgbWFraW5nIHRoZSBzcGVjaWZpY2F0aW9ucywgYnV0IHRoZXkgYXJlIHVz ZWxlc3Mgd2l0aG91dCB0aGUgdG9vbHMgdGhhdCBpbXBsZW1lbnQgdGhlbS4NCg0K