owlproofs
by klinovp
Extension to the OWL API to request proofs of entailments from the reasoner
AI summary
Entailment proof checker
Provides an extension to the OWL API to retrieve proof structures of entailment relationships from reasoners.
- stars
- 0
- forks
- 0
- watching
- 3
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
OWL API helper library
Tools and libraries to simplify working with OWL API and its related reasoners.
OWL reasoner
An OWL DL reasoner for Java that checks consistency of ontologies and provides inference explanations.
eval/envied330
env checker
Ensures the presence and correctness of application environment variables.
OWL reasoner
An OWL 2 EL reasoner that provides efficient and incremental reasoning capabilities
OWL reasoner
An OWL 2 DL reasoner built on top of Pellet, providing functionality for inference and reasoning with ontologies.
OWL profile verifier
A tool for verifying the consistency of ontologies against specific OWL profiles
Proof Assistant
Enables interactive proof development in Vim similar to other proof assistants.
EL reasoner
A reasoner for the description logic EL+ ontology language
Property tester
A testing tool that allows developers to write concise, powerful tests by defining properties of functions that should hold true for all inputs.
Reasoner
An incremental reasoner for the Web using RDF-based libraries and a rule-based engine.
Validator
A minimal validation library for Clojure and ClojureScript
Reasoner library
Provides Python bindings for an optimized description logic reasoner
OWL reasoner library
An OWL EL reasoner implemented as an immutable functional data structure in Scala, enabling concurrent reasoning and rapid classification of multiple datasets.
OWL ontology manager
Tools for version controlling OWL 2 ontologies
Proof verifier
Provides tools and utilities for generating and verifying proofs in a zkSNARK proof system
Featured in 1 awesome list
Each link jumps to the spot where the list mentions owlproofs.
