owlproofs
Entailment proof checker
Provides an extension to the OWL API to retrieve proof structures of entailment relationships from reasoners.
Extension to the OWL API to request proofs of entailments from the reasoner
0 stars
3 watching
0 forks
Language: Java
last commit: about 10 years ago
Linked from 1 awesome list
semantalytics/awesome-semantic-webRelated projects:
| Repository | Description | Stars |
|---|---|---|
 owlcs/owlapitools | Tools and libraries to simplify working with OWL API and its related reasoners. | 16 |
 stardog-union/pellet | An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations. | 309 |
 eval/envied | Ensures the presence and correctness of application environment variables. | 331 |
 liveontologies/elk-reasoner | An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities | 94 |
 galigator/openllet | An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies. | 100 |
 stain/profilechecker | A tool that checks OWL 2 ontologies against various profiles. | 15 |
 whonore/coqtail | Enables interactive proof development in Vim similar to other proof assistants. | 274 |
 julianmendez/jcel | A reasoner for the description logic EL+ ontology language | 14 |
 clojure/test.check | A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs. | 1,122 |
 ucbl/hylar-reasoner | An incremental reasoner for the Web using RDF-based libraries and a rule-based engine. | 61 |
 markwoodhall/clova | A minimal validation library for Clojure and ClojureScript | 16 |
 tilde-lab/pyfactxx | Provides Python bindings for an optimized description logic reasoner | 23 |
 incatools/whelk | An OWL EL reasoner implemented as an immutable functional data structure in Scala, enabling concurrent reasoning and rapid classification of multiple datasets. | 24 |
 utapyngo/owl2vcs | Tools for version controlling OWL 2 ontologies | 24 |
 fluidex/plonkit | Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system | 158 |