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:
- Lua implemented in Mercury☆15Mar 17, 2024Updated 2 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆12Jul 19, 2018Updated 7 years ago
- Reasoner for the description logic EL+.☆15Mar 10, 2026Updated last month
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆19Mar 23, 2026Updated 2 weeks ago
- A C implementation of the Tsetlin Machine☆17Feb 6, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- JFact repository☆18Apr 17, 2022Updated 3 years ago
- A package manager for the Mercury logic programming language.☆18Jan 23, 2020Updated 6 years ago
- ☆72Mar 8, 2021Updated 5 years ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆43May 14, 2022Updated 3 years ago
- A JavaScript implementation of the Logic Programming System described in section 4.4 of "Structure and Interpretation of Computer Program…☆22Jan 25, 2012Updated 14 years ago
- @chawyehsu's $HOME☆13Updated this week
- 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 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Find-and-replace patterns for the Go language.☆10Sep 24, 2022Updated 3 years ago
- Obsidian plugin to map hotkeys to editor commands☆13Aug 28, 2021Updated 4 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- This addon fully implement Qt VS Addin☆12Mar 6, 2019Updated 7 years ago
- The ErgoAI reasoning engine, an advanced object-oriented knowledge management system☆45Mar 24, 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 mechanism to transfer digital credentials securely between two devices☆12Feb 14, 2023Updated 3 years ago
- Provides a client to connect to [UPower](https://upower.freedesktop.org/) - the service that does power management on Linux.☆17Aug 25, 2025Updated 7 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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
- Log rotation of stdout & stderr☆15May 9, 2014Updated 11 years ago
- Pure immutable data.☆12Feb 26, 2024Updated 2 years ago
- 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)☆14Mar 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
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆40Oct 1, 2023Updated 2 years ago
- Examples of self-modifying x86 linux assembly☆11Dec 20, 2021Updated 4 years ago
- LPEG-based Lua macros☆14Apr 19, 2011Updated 14 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
- an implementation of a lsmtree☆11Feb 18, 2023Updated 3 years ago
- Common plugin suite for the ufo-core processing framework☆10Feb 6, 2026Updated 2 months ago