ethz-asl / libfactplusplus
FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
☆12Updated 9 years ago
Alternatives and similar repositories for libfactplusplus
Users that are interested in libfactplusplus are comparing it to the libraries listed below
Sorting:
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆56Updated last month
- JFact repository☆14Updated 3 years ago
- VLog is a high-performance Datalog engine. It is highly memory efficient and can process large programs with thousands of rules.☆17Updated 7 years ago
- A JavaScript-based interface for graph traversal☆18Updated 2 years ago
- C++ semantic toolkit + sparqlite RDF database☆19Updated last year
- ☆56Updated last year
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆45Updated 2 years ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated 4 months ago
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆36Updated last week
- ☆34Updated 4 years ago
- A C++ library for working with OWL2 ontologies.☆10Updated 9 years ago
- LK (Language Kit) is a simple but powerful scripting language that is designed to be small, fast, and easily embedded in other applicatio…☆33Updated 3 weeks ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆38Updated last year
- A simple dataflow library for C++.☆27Updated 6 years ago
- Modeling and Programming with Gecode☆45Updated 2 years ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- Reduced on-disk Suffix Array☆21Updated 11 years ago
- Wings workflow system☆48Updated 8 months ago
- Knowledge Acquisition Logic Machine☆18Updated 5 years ago
- Redland librdf RDF API and triple stores☆99Updated 6 months ago
- A tool to read CSV files with CSVW metadata and transform them into other formats.☆32Updated 6 years ago
- Fast fuzzy regex matcher: specify max edit distance to find approximate matches. FuzzyMatcher is now included in RE/flex.☆36Updated last week
- A Prolog implementation based on generators☆20Updated 10 years ago
- Linking DBpedia to SciGraph☆14Updated 6 years ago
- C Library of Double-Array Trie System☆16Updated 11 years ago
- OGDL for C☆17Updated 7 years ago
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆25Updated 11 months ago
- A Python interface to the Prolog pengines library. Makes it exceedingly easy to call out to SWI-Prolog within Python!☆12Updated 4 years ago
- Zorba - the NoSQL processor☆42Updated last year
- My unofficial picat http://picat-lang.org/ repository☆28Updated last year