konclude-dbgsym 0.6.1-1 (armhf binary) in ubuntu wily
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.
Details
- Package version:
- 0.6.1-1
- Status:
- Obsolete
- Component:
- universe
- Priority:
- Optional
Downloadable files
armhf build of konclude 0.6.1-1 in ubuntu wily PROPOSED produced
these files:
- konclude-dbgsym_0.6.1-1_armhf.ddeb (20.6 MiB)
Package relationships
- Depends on: