| Name | Version | Summary | date |
| model-checker |
0.5.12 |
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. |
2024-12-21 23:31:59 |
| simple-smatch |
0.1.3.1 |
Simple Smatch |
2024-08-10 21:39:47 |
| olivaw |
0.0.5 |
Python framework for supporting agile ontology development |
2024-06-13 19:51:06 |
| PyDelphin |
1.9.1 |
Libraries and scripts for DELPH-IN data |
2023-12-20 06:21:56 |
| pymantic |
1.0.0 |
Semantic Web and RDF library for Python |
2023-07-13 16:31:36 |
| holmes-extractor |
4.2.1 |
Information extraction from English and German texts based on predicate logic |
2023-06-06 11:08:37 |
| opengrammar |
0.1.0a0 |
Open Source Inference Engine |
2023-02-05 14:06:08 |