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:
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆21May 8, 2026Updated last month
- Reasoner for the description logic EL+.☆16May 19, 2026Updated 3 weeks ago
- A C implementation of the Tsetlin Machine☆19Feb 6, 2026Updated 4 months ago
- JFact repository☆19Apr 17, 2022Updated 4 years ago
- ☆75Mar 8, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 5 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆49May 14, 2022Updated 4 years ago
- C Compiler written in WASI☆11Jun 14, 2020Updated 5 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
- 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
- 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
- This addon fully implement Qt VS Addin☆12Mar 6, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆49May 22, 2026Updated 2 weeks ago
- Lisp implementation in Lua☆12Aug 9, 2014Updated 11 years ago
- 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 minimal in-memory database with relational algebraic expressions as queries☆63Aug 23, 2021Updated 4 years ago
- a mechanism to transfer digital credentials securely between two devices☆12Feb 14, 2023Updated 3 years ago
- Visual Studio Code plugin that displays a Quick Pick input with capabilities similar to Sublime Text 3 Go To Anything functions.☆12Mar 3, 2023Updated 3 years ago
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆10Dec 16, 2018Updated 7 years ago
- Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.☆342Jan 5, 2017Updated 9 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Pure immutable data.☆12May 7, 2026Updated last month
- Support Sublime Text 3 packages for LimeText☆14Mar 17, 2020Updated 6 years ago
- Automated book scanner command & control software☆17Apr 6, 2020Updated 6 years ago
- Visualize and control your C++ application with a web browser using variables shared over websockets between C++/JS. No dependencies, sin…☆40Oct 1, 2014Updated 11 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
- The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…☆15Jan 18, 2020Updated 6 years ago
- Sublime plugin that allows to manipulate methods in file☆12Nov 24, 2015Updated 10 years ago
- Haxe build tool for tensor flow☆12Feb 4, 2019Updated 7 years ago
- ☆14Jul 17, 2018Updated 7 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.
- Convert visual studio sln to CMakeLists☆16Aug 28, 2016Updated 9 years ago
- Examples of self-modifying x86 linux assembly☆11Dec 20, 2021Updated 4 years ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 15 years ago
- This project is a basic text-based adventure game. The idea of the game was inspired by Colossal Cave Adventure.☆13Jul 21, 2021Updated 4 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
- A bare-bones console logger for Sublime Text 2 and 3.☆13Dec 2, 2016Updated 9 years ago