ethz-asl / libfactplusplusLinks
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…☆55Updated last week
- C++ semantic toolkit + sparqlite RDF database☆19Updated 2 years ago
- constructivist AI language and runtime☆35Updated 3 years ago
- A C implementation of the Tsetlin Machine☆15Updated 6 years ago
- A datalog implementation in pure Lua (LPEG parser).☆22Updated 2 years ago
- ☆58Updated 3 months ago
- A fuzzy logic extension of the CLIPS☆73Updated 10 years ago
- A rule engine based on Attempto Controlled English☆18Updated 10 months ago
- The SWI-Prolog C++ interface☆35Updated 3 weeks 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 last month
- Graal is a Java toolkit for querying knowledge bases within the framework of existential rules, aka Datalog+/-. See Graal's homepage:☆49Updated 3 years ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆30Updated this week
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- Redland librdf RDF API and triple stores☆102Updated 10 months ago
- The CSNePS Knowledge Representation and Reasoning System☆28Updated 4 months ago
- JFact repository☆15Updated 3 years ago
- My unofficial picat http://picat-lang.org/ repository☆29Updated last year
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Updated 3 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated 3 weeks ago
- DLVHEX solver: core system and plugin API☆25Updated 6 years ago
- ⚙️ A conflict-driven nogood learning answer set solver☆126Updated this week
- ☆42Updated 2 years ago
- Zorba - the NoSQL processor☆42Updated last year
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 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
- Libcleri is a powerful tool to build languages. From a built language, libcleri can automatically create parse trees, which are data str…☆39Updated last year
- 🦉 A lightweight C/C++ library for working with Web Ontology Language (OWL) ontologies☆37Updated last week
- Java-based lightweight Prolog virtual machine☆34Updated last year
- Diff and Merge for Office☆17Updated 3 weeks ago
- Large lexicon for APE (~100,000 entries)☆29Updated 6 years ago