ont-apiONT-API (OWL-API over Apache Jena)
Stars: ✭ 31 (+0%)
pyLODEAn OWL ontology documentation tool using Python and templating, based on LODE
Stars: ✭ 116 (+274.19%)
foodonThe core repository for the FOODON food ontology project. This holds the key classes of the ontology; larger files and the results of text-mining projects will be stored in other repos.
Stars: ✭ 137 (+341.94%)
prontoA Python frontend to (Open Biomedical) Ontologies.
Stars: ✭ 202 (+551.61%)
mondoMondo Disease Ontology
Stars: ✭ 156 (+403.23%)
python-mvdxmlA mvdXML checker and w3c SPARQL converter, as an IfcOpenShell submodule or stand-alone.
Stars: ✭ 28 (-9.68%)
OLGAan Ontology SDK
Stars: ✭ 36 (+16.13%)
eigenOwl's OCaml Interface to Eigen3 C++ Library
Stars: ✭ 30 (-3.23%)
pyfusekiA library that uses Python to connect and manipulate Jena Fuseki, which provides sync and async methods.
Stars: ✭ 22 (-29.03%)
LinearOneLinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.
Stars: ✭ 16 (-48.39%)
yesbotIRC Bot Written in Prolog
Stars: ✭ 19 (-38.71%)
simple-templateText templating processor for SWI-Prolog.
Stars: ✭ 29 (-6.45%)
blog-coreBlogging/CMS framework for SWI-Prolog.
Stars: ✭ 18 (-41.94%)
quickcheckRandomized testing for Prolog à la QuickCheck
Stars: ✭ 18 (-41.94%)
GoT-Check⚔️ Game of Thrones character database and family trees in Prolog
Stars: ✭ 64 (+106.45%)