Skip to content
View klinovp's full-sized avatar
  • Complexible
  • Heidelberg, Germany

Organizations

@clarkparsia @stardog-union

Block or report klinovp

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. pronto pronto Public

    Probabilistic reasoner for OWL ontologies

    Java 9 1

  2. modularity-experiments modularity-experiments Public

    A collection of utilities to experiment with module extraction in OWL

    Java

  3. owlproofs owlproofs Public

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

    Java

  4. jowo jowo Public

    Web content for the Join Ontology Workshop series

    HTML

  5. pellet pellet Public

    Forked from stardog-union/pellet

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

    Web Ontology Language

  6. klinovp.github.io klinovp.github.io Public

    My and Lena's personal Web-page

    HTML 1