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:
- Lua implemented in Mercury☆15May 5, 2026Updated 3 months ago
- SMCHR - Satisfiability Modulo Constraint Handling Rules☆13Jul 19, 2018Updated 8 years ago
- A C++ library for working with OWL2 ontologies.☆13Jan 26, 2016Updated 10 years ago
- A package manager for the Mercury logic programming language.☆18Jan 23, 2020Updated 6 years ago
- A description logic reasoner for python.☆17Dec 15, 2017Updated 8 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.
- BDD-based implementation of Datalog☆38Jun 14, 2020Updated 6 years ago
- A C implementation of the Tsetlin Machine☆19Feb 6, 2026Updated 6 months ago
- Konclude: A parallel, tableau-based, high-performance reasoner for the Description Logic SROIQV(D)/the Web Ontology Language (OWL) 2 DL☆54May 14, 2022Updated 4 years ago
- Extension of LinkML runtime for converting instances of LinkML classes to OWL (classes or instances)☆23May 8, 2026Updated 3 months ago
- A Small C Compiler for old MiniVM (does not work with modern minivm)☆11Nov 19, 2023Updated 2 years ago
- POCO DNS-SD (Zeroconf) Wrapper Library for Bonjour and Avahi☆22Mar 21, 2023Updated 3 years ago
- LLVM-Lua, is a JIT and static Lua compiler that uses Low Level Virtual Machine (LLVM) as the compiler backend.☆11Jun 5, 2015Updated 11 years ago
- C++ semantic toolkit + sparqlite RDF database☆19May 25, 2023Updated 3 years ago
- Sublime anyword completion☆34Aug 2, 2016Updated 10 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.
- Phoshell: a Forth inspired, extremely lightweight, stack machine shell, implementable in _ALL_ known programming languages.☆10Nov 21, 2020Updated 5 years ago
- Obsidian plugin to map hotkeys to editor commands☆13Aug 28, 2021Updated 5 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
- A Java-based OWL 2 EL reasoner☆125Jun 13, 2026Updated 2 months ago
- Pure immutable data.☆13May 7, 2026Updated 3 months ago
- Pellet is an OWL 2 reasoner in Java; open source (AGPL) and commercially licensed, commercial support available.☆354Jan 5, 2017Updated 9 years ago
- Sublime plugin that allows to manipulate methods in file☆12Nov 24, 2015Updated 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
- This is a course covering the essentials of data science as it is in 2025. Hands on exercises and not very mathsy, with practical applica…☆18Jan 20, 2025Updated last year
- 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.
- Haxe build tool for tensor flow☆12Feb 4, 2019Updated 7 years ago
- OWL verbalizer: making machine-readable knowledge also human-readable☆43Oct 1, 2023Updated 2 years ago
- Examples of self-modifying x86 linux assembly☆12Dec 20, 2021Updated 4 years ago
- Creates computational grids that can be used with ParallelStencil.jl or PETSc.jl☆11Mar 14, 2023Updated 3 years ago
- Common plugin suite for the ufo-core processing framework☆11Updated this week
- Please refer to the official version of cddlib on github instead.☆14May 1, 2018Updated 8 years ago
- Modern Hopfield layer implementations in Julia☆16Jul 21, 2022Updated 4 years ago
- A bare-bones console logger for Sublime Text 2 and 3.☆12Dec 2, 2016Updated 9 years ago
- A package for your code to understand scoping rules(including mutability of free variables).☆17Dec 10, 2021Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A set of Lua bindings for the Fast Artificial Neural Network (FANN) library.☆15May 19, 2019Updated 7 years ago
- Idris 2 bindings to various C libraries☆15Jun 28, 2021Updated 5 years ago
- Command for previewing Sublime minihtml content.☆13Aug 16, 2017Updated 9 years ago
- Continuous state dynamic programming☆16Aug 2, 2026Updated 3 weeks ago
- Use arduino to wake on lan any PC☆14Nov 28, 2019Updated 6 years ago
- First-order temporal logic programming with microKanren☆19Nov 3, 2017Updated 8 years ago
- A set of general and specialized tools for building browser extensions and user scripts targeting Duolingo.☆10Nov 15, 2025Updated 9 months ago