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:
- C++ semantic toolkit + sparqlite RDF database☆19Updated 2 years ago
- [NO LONGER MAINTAINED, SUPERSEDED BY https://github.com/trueagi-io/chaining]. Unified Rule Engine. Graph rewriting system for the AtomSpa…☆55Updated 3 months ago
- Embeddable Prolog dialect implemented in pure Python. Stores its knowlegdebase using SQLAlchemy for scalability.☆20Updated 7 years ago
- JFact repository☆14Updated 3 years ago
- utilities for filesystem exploration and automated builds☆21Updated 3 weeks ago
- A rule engine based on Attempto Controlled English☆18Updated 8 months ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆13Updated 8 years ago
- An inference engine for extensional untyped λ-calculus☆3Updated this week
- A C++ library for working with OWL2 ontologies.☆10Updated 9 years ago
- ☆34Updated 4 years ago
- Sigma Knowledge Engineering Environment☆110Updated last week
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Updated 3 weeks ago
- ☆57Updated 2 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆39Updated last year
- Large lexicon for APE (~100,000 entries)☆28Updated 6 years ago
- Source for lemon-model.net☆11Updated 3 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Updated 12 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
- This ontology is a Linked Data Hub for mathematics☆58Updated last year
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆18Updated last month
- A JavaScript-based interface for graph traversal☆18Updated 2 years ago
- A lightweight reimplementation of the OpenCyc ontology system. This project aims to replicate most of OpenCyc's functionality and data wh…☆20Updated 9 years ago
- Modeling and Programming with Gecode☆51Updated 2 years ago
- PRolog Equation Solving System☆30Updated 8 years ago
- A general purpose graph library☆11Updated 7 years ago
- lemon lexicon for DBpedia☆27Updated 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 2 months ago
- Wings workflow system☆49Updated 11 months ago
- C Language Analysis in Rascal☆26Updated last week
- NLP functionality on top of the Sigma system☆17Updated last week