Pavel Klinov (klinovp)

klinovp

Geek Repo

Company:Complexible

Location:Heidelberg, Germany

Github PK Tool:Github PK Tool


Organizations
clarkparsia
stardog-union

Pavel Klinov's repositories

pronto

Probabilistic reasoner for OWL ontologies

Language:JavaLicense:Apache-2.0Stargazers:9Issues:3Issues:12

jowo

Web content for the Join Ontology Workshop series

Language:HTMLStargazers:0Issues:4Issues:0

klinovp.github.io

My and Lena's personal Web-page

Language:HTMLLicense:MITStargazers:0Issues:4Issues:0

modularity-experiments

A collection of utilities to experiment with module extraction in OWL

Language:JavaStargazers:0Issues:2Issues:0

NetageDescribeStrategy

A fork of the Netage repo to help with optimization

Language:JavaStargazers:0Issues:2Issues:0

owlproofs

Extension to the OWL API to request proofs of entailments from the reasoner

Language:JavaLicense:Apache-2.0Stargazers:0Issues:3Issues:0

pellet

Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.

Language:Web Ontology LanguageLicense:NOASSERTIONStargazers:0Issues:2Issues:0