tomhanika / conexp-cljLinks
A General-Purpose Tool for Formal Concept Analysis
☆58Updated 2 weeks ago
Alternatives and similar repositories for conexp-clj
Users that are interested in conexp-clj are comparing it to the libraries listed below
Sorting:
- Java library based on the VLog rule engine☆34Updated 2 months ago
- Build OWL Ontologies in a Programmatic Environment☆266Updated 10 months ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆41Updated 6 months ago
- ClioPatria provides an RDF application platform☆56Updated 3 weeks ago
- Natural Language Parsing and Feature Generation☆38Updated 9 months ago
- A simple linked data tool☆37Updated 5 years ago
- An embedded language for probabilistic programming and meta-programming.☆170Updated 3 years ago
- explorations in core.logic☆118Updated last year
- A Jupyter Kernel for SWI-Prolog☆25Updated 6 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Updated last month
- A NREPL client for Protege☆12Updated 10 years ago
- RDF, SPARQL and OWL for Clojure☆140Updated 7 months ago
- The SWI-Prolog RDF store☆32Updated this week
- Get psyched about mapping knowledge!☆30Updated 2 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆112Updated 6 years ago
- ☆63Updated 4 years ago
- Executable version of Structure and Interpretation of Classical Mechanics.☆39Updated 3 years ago
- Experiments with fast term-rewriting in clojure☆64Updated 10 years ago
- microKanren implementation from DLS '16☆14Updated 7 years ago
- OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data☆29Updated last month
- An RDF TripleStore in Java☆47Updated 3 years ago
- SPARQL DSL library for Clojure(Script)☆59Updated 8 months ago
- Sigma Knowledge Engineering Environment☆113Updated this week
- Clojure API for RDF and SPARQL - provides consistent access to APIs including Jena and Sesame☆55Updated 4 years ago
- Awesome datalog libraries, tools and resources☆63Updated 5 years ago
- RDF for Clojure, integrates with Commons RDF, Jena, RDF4J☆15Updated 7 years ago
- A time-traveling graph database☆19Updated 3 years ago
- Gradual WAM implementation using Hassan Aït-Kaci's tutorial reconstruction☆28Updated 6 years ago
- QGAME: Quantum Gate and Measurement Emulator, a quantum computer simulator☆32Updated 8 years ago
- Generate networks from syntax (e.g. natural language, math proofs, action plans, biome/reactome nets)☆31Updated 8 months ago