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:
- JFact repository☆16Updated 3 years ago
- ☆34Updated 5 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated last month
- C++ semantic toolkit + sparqlite RDF database☆19Updated 2 years ago
- Redland librdf RDF API and triple stores☆102Updated last year
- A fuzzy logic extension of the CLIPS☆75Updated 10 years ago
- Large lexicon for APE (~100,000 entries)☆30Updated 7 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…☆34Updated 2 months ago
- tools for common-logic☆22Updated 12 years ago
- Zorba - the NoSQL processor☆42Updated last year
- PRolog Equation Solving System☆29Updated 9 years ago
- ☆60Updated last week
- constructivist AI language and runtime☆35Updated 4 years ago
- A Prolog implementation based on generators☆20Updated 11 years ago
- ClioPatria provides an RDF application platform☆57Updated 3 weeks ago
- The SWI-Prolog C++ interface☆35Updated 2 weeks ago
- Base Forward Chaining Knowledge Base Maintenance System☆19Updated 4 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Updated 2 years ago
- TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.☆13Updated this week
- AceWiki is a semantic wiki based on controlled natural language.☆73Updated 9 months ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated 2 months ago
- JX is a C++ application framework and widget library (SDK) for use with the X Window System.☆30Updated last month
- Prana is a library providing a generic AST data structure called utree☆25Updated 14 years ago
- A rule engine based on Attempto Controlled English☆18Updated last year
- Qt IDE☆45Updated 3 weeks ago
- Orly™ Graph Database☆39Updated last year
- SWI Prolog library to interface to the GPT API☆19Updated last year
- C++ compile-time Prolog interpreter☆65Updated 11 years ago
- Amzi! Prolog: complete system to interpret, build, run and debug Prolog programs, but also embed and query them similar to databases.☆130Updated 4 years ago
- My unofficial picat http://picat-lang.org/ repository☆30Updated last year