Package: wnpp Severity: wishlist Owner: Jonas Smedegaard <d...@jones.dk>
-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 * Package name : konclude Version : 0.6.1 Upstream Author : Konclude Developer Team * URL : http://www.konclude.com/ * License : LGPL-2.1 Programming Lang: C++ Description : tableau-based description logic reasoner for the semantic web Konclude is a high-performance reasoner for large and expressive ontologies. The supported ontology language is formally characterised by the Description Logic (DL) SROIQV(D). In other words, Konclude can handle all of the Web Ontology Language (OWL 2) with almost all datatypes. In addition, Konclude supports nominal schemas which allow for expressing arbitrary DL-safe rules simply by using given ontology syntax extended with variables. . Konclude can be used via OWLlink as an OWLlink server as well as via command line. For applications that use the OWL API, the OWLlink OWL API Adapter can be used to link with a Konclude server. -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAEBAgAGBQJVXKD5AAoJECx8MUbBoAEhra0P/0NcPETziplrDWZhAVOANdbe N0CVnGE6lqt0HoBy+av1RKN/S349unBwjGNqGuCrXHU3GYuIOa4CHF5m5cqG0fRJ ZZ2+L8QrbIR7N9qMTpKSBysjom4yLtP7V9KbFBEZvuf6hVO/aO40sHYNwZ7JU+tb xkr0OxCCINbAnSnj4RB19J8j975dHkvAsTM5buylk8RJT2VvtkymXgKb8OKtw7B6 isgRXZ7WWoWe8AReKoIn/JNzNJdJ4gc40XRKYzLOyWQxWwZNAuINq72ByTXnMxd6 6g+Hk0dZoIEa8+5cf1nnzWw4RGTpubkqgM5B0tPSK1zPAaX54ew03VFOjsOrVAgC IPCUjKwP+ekWqWAdYxIenUgGXRoxijzdGft29MOWPCFXI15xzIZKC+lLIPo4PEh0 39OVlNmISMGddo4SkK7N+nYaFuYh7ukafldi39G60fhdAXopGyzEVrFfgXWIy/Vv 2xG0ZxzGL4MRsEK8kTkk/reAvgtDidhfHmyHiR/8cO3dNvjE1qHBfCt4WquelBiw AuewUV4obBCax3+8bN6FS/EnuFJ+JxHTkpQ28fvrHgiTtMXoMWxDT4FA6wlz662i YQXzRqLFHHIz6HjY9xQ5e5MHKMaHa8FHTz7I2YhX9aJQtFBOtVe8L3d7iGs5Ma7b oqWQep60a6/4Zff5ntHV =kfQy -----END PGP SIGNATURE----- -- To UNSUBSCRIBE, email to debian-wnpp-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: https://lists.debian.org/20150520145805.13449.50727.report...@bastian.jones.dk
