FaCT++ is an efficient Description Logic reasoner compatible with OWL DL and OWL 2.
☆13Jan 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:
- Pure functional programming for Lua☆10Aug 21, 2012Updated 14 years ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆14Jul 19, 2018Updated 8 years ago
- ☆85Mar 8, 2021Updated 5 years ago
- Reasoner for the description logic EL+.☆17Sep 28, 2026Updated last month
- A package manager for the Mercury logic programming language.☆18Jan 23, 2020Updated 6 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.
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆23Oct 20, 2026Updated last week
- This is a working copy for me. Recoll is a Xapian based file indexer and a search engine☆12Jul 20, 2015Updated 11 years ago
- Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.☆357Jan 5, 2017Updated 9 years ago
- Racer is a knowledge representation system that implements a highly optimized tableau calculus for the description logic SRIQ(D).☆117Dec 8, 2018Updated 7 years ago
- C++ semantic toolkit + sparqlite RDF database☆19May 25, 2023Updated 3 years ago
- JFact repository☆22Apr 17, 2022Updated 4 years ago
- an implementation of a lsmtree☆11Feb 18, 2023Updated 3 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☆12Apr 25, 2024Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- DEPRECATED! Please use linkml-project-cookiecutter instead.☆10May 12, 2023Updated 3 years ago
- Chinese Chess with computer☆33Jun 2, 2017Updated 9 years ago
- Convert visual studio sln to CMakeLists☆15Aug 28, 2016Updated 10 years ago
- A Java-based OWL 2 EL reasoner☆129Jun 13, 2026Updated 4 months ago
- batch change files endings☆13Jul 24, 2016Updated 10 years ago
- The missing ST toolbar ( with emojis ツ )☆14Mar 18, 2016Updated 10 years ago
- C++ static vector class template. Also might be known as fixed vector or on-stack vector.☆13Jul 8, 2022Updated 4 years ago
- Ever wanted to have a widget instead of simple text in QListWidget? Here you go.☆20Aug 17, 2018Updated 8 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Anki: Alternative Front End Using QtWebkit☆12Jan 10, 2022Updated 4 years ago
- Datalog that's as easy as ABC.☆72Aug 20, 2025Updated last year
- A set of general and specialized tools for building browser extensions and user scripts targeting Duolingo.☆10Nov 15, 2025Updated 11 months ago
- Browserify inline script tags in HTML☆17Dec 6, 2016Updated 9 years ago
- This project is a basic text-based adventure game. The idea of the game was inspired by Colossal Cave Adventure.☆14Jul 21, 2021Updated 5 years ago
- GIT can make your repo more modular with `git submodule` (as shown in this repo). Here is a utility to send recursive commands through th…☆12Sep 28, 2022Updated 4 years ago
- Command for previewing Sublime minihtml content.☆13Aug 16, 2017Updated 9 years ago
- Windows Registry Script (.reg) Language package for SublimeText. Includes syntax highlighting, comments toggling, declaration snippets, a…☆12Apr 8, 2019Updated 7 years ago
- VimL Package for Sublime Text.☆15Jan 27, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Adds a command which displays the current scope in the status bar at all times☆11Mar 5, 2021Updated 5 years ago
- Plugin for Sublime Text to show opened files as a treeview or a listview.☆12May 31, 2018Updated 8 years ago
- python based YAML-to-OWL-converter☆20May 20, 2022Updated 4 years ago
- Debian root filesystems for multiple architectures☆14Apr 3, 2021Updated 5 years ago
- 安卓逆向相关的一些二进制工具 / Some bin utils for android reverse engineer☆13Apr 28, 2020Updated 6 years ago
- A C++ libssh2 wrapper. In modern C++11☆22Aug 15, 2020Updated 6 years ago
- 植物大战僵尸修改器，用WPF重制界面☆18Oct 13, 2019Updated 7 years ago