FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
☆12Jan 26, 2016Updated 10 years ago
Alternatives and similar repositories for libfactplusplus
Users that are interested in libfactplusplus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- A C++ library for working with OWL2 ontologies.☆12Jan 26, 2016Updated 10 years ago
- A Datalog extension to reason about time with CTL operators☆14Nov 29, 2019Updated 6 years ago
- C++ entity component framework☆14Apr 22, 2019Updated 7 years ago
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆21May 8, 2026Updated last month
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Reasoner for the description logic EL+.☆16Updated this week
- A C implementation of the Tsetlin Machine☆19Feb 6, 2026Updated 4 months ago
- JFact repository☆19Apr 17, 2022Updated 4 years ago
- Toolkit for constructing, analyzing, and visualizing data-driven ontologies☆20Jun 21, 2019Updated 7 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆50May 14, 2022Updated 4 years ago
- C Compiler written in WASI☆12Jun 14, 2020Updated 6 years ago
- POCO DNS-SD (Zeroconf) Wrapper Library for Bonjour and Avahi☆22Mar 21, 2023Updated 3 years ago
- C++ semantic toolkit + sparqlite RDF database☆20May 25, 2023Updated 3 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆118Dec 8, 2018Updated 7 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Obsidian plugin to map hotkeys to editor commands☆13Aug 28, 2021Updated 4 years ago
- A lexical scanner and parser in C++ for Code analyzer which will extract lexical content from source code files, analyze the code’s synta…☆10Mar 14, 2016Updated 10 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆51May 22, 2026Updated last month
- A curated list of ChaiScript Modules and Utilities.☆13Dec 2, 2019Updated 6 years ago
- A collection of quantile and quadrature routines for Z, Chi^2, and Student's T hypothesis tests☆11Apr 25, 2024Updated 2 years ago
- A Java-based OWL 2 EL reasoner☆117Jun 13, 2026Updated 2 weeks ago
- Log rotation of stdout & stderr☆15May 9, 2014Updated 12 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.☆344Jan 5, 2017Updated 9 years ago
- Pure immutable data.☆13May 7, 2026Updated last month
- Support Sublime Text 3 packages for LimeText☆14Mar 17, 2020Updated 6 years ago
- Cargo is library for saving/restoring C/C++ structures over a given backend medium (json, sqlite, gvariant, file dscriptor)☆15Mar 15, 2016Updated 10 years ago
- Sublime plugin that allows to manipulate methods in file☆12Nov 24, 2015Updated 10 years ago
- The modified bcmon from google code☆11Aug 23, 2022Updated 3 years ago
- Haxe build tool for tensor flow☆12Feb 4, 2019Updated 7 years ago
- ☆14Jul 17, 2018Updated 7 years ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Oct 1, 2023Updated 2 years ago
- Examples of self-modifying x86 linux assembly☆12Dec 20, 2021Updated 4 years ago
- A clone of Joe Marshall's Rebol 1.0 to Scheme compiler.☆17Sep 23, 2012Updated 13 years ago
- Please refer to the official version of cddlib on github instead.☆14May 1, 2018Updated 8 years ago
- Common plugin suite for the ufo-core processing framework☆11Updated this week
- Modern Hopfield layer implementations in Julia☆16Jul 21, 2022Updated 3 years ago
- Ada-tailored UML Modeling Language☆11May 14, 2023Updated 3 years ago