Bug#785934: ITP: konclude -- tableau-based description logic reasoner for the semantic web
Package: wnpp
Severity: wishlist
Owner: Jonas Smedegaard <dr@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-----
Reply to: