Tableau-based reasoner for ALCQ description logic
☆13May 1, 2020Updated 5 years ago
Alternatives and similar repositories for dl-reasoner
Users that are interested in dl-reasoner are comparing it to the libraries listed below
Sorting:
- A jvm tool to convert any rdf-ontology to owl2-ontology☆23Mar 12, 2023Updated 2 years ago
- NIST's OWL ontology of additive manufacturing☆10Mar 4, 2024Updated 2 years ago
- Ontology Modeling Language (OML) Workbench☆14Mar 12, 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☆42May 14, 2022Updated 3 years ago
- A flake implementation for Rust☆10May 17, 2016Updated 9 years ago
- 基于Surprise实现的具有完整功能的推荐系统服务，并利用flask框架实现了简单的接口调用☆11Jan 20, 2021Updated 5 years ago
- Bayesian Ontology Reasoner☆15Nov 24, 2025Updated 3 months ago
- ☆16Jan 20, 2026Updated last month
- Source code of the paper "Hiring Now: A Skill-Aware Multi-Attention Model for Job Posting Generation, ACL2020"☆10May 26, 2020Updated 5 years ago
- Residual vector quantization for KV cache compression in large language model☆11Oct 22, 2024Updated last year
- a GUI for satHeuristicSolver made with ElectronJS + reactJS☆10Oct 5, 2023Updated 2 years ago
- Show windows menu on titlebar on DeepinV20☆10Jan 26, 2022Updated 4 years ago
- A Python tool to search for and remove duplicated files in messy datasets☆16Dec 23, 2024Updated last year
- Usage of C# Interactive Window with EPLAN API☆13Oct 21, 2024Updated last year
- Logger for browser and node, see [nightingale](packages/nightingale) to get started !☆16Updated this week
- 实现《Multiway Attention Networks for Modeling Sentence Pairs》中的网络模型，可用于问答，句子逻辑推理☆11Apr 13, 2020Updated 5 years ago
- 老布在T客邦專欄的範例程式☆11May 7, 2016Updated 9 years ago
- A systematic Benchmarking on the performance of Spark-SQL for processing Vast RDF datasets☆14Jun 29, 2022Updated 3 years ago
- Odin binding for a tiny cross-platform webview library to build modern cross-platform GUIs.☆18Dec 10, 2025Updated 2 months ago
- KENN: Knowledge Enhanced Neural Networks☆12Sep 11, 2020Updated 5 years ago
- DataTable and DataGrid was taken as a name, but that's essentially what this is☆12Updated this week
- This is simple and beautiful UI solution for menu. Works best in VR. Radial Menu for VR.☆15Nov 16, 2022Updated 3 years ago
- Revision Management for the Semantic Web☆21Nov 17, 2020Updated 5 years ago
- jReality: a Java library for real-time interactive 3D graphics and audio☆12Apr 15, 2016Updated 9 years ago
- ☆16Jul 10, 2019Updated 6 years ago
- Data structures, data types, and algorithms with superpowers! 💪😎☆13Apr 28, 2019Updated 6 years ago
- 3D PCB renderer for checking gerber files before manufacture☆20Jan 22, 2018Updated 8 years ago
- Online parametric lute design aid☆13Feb 28, 2020Updated 6 years ago
- Website for Alloytools☆13Nov 3, 2025Updated 4 months ago
- A repository for the ontologies and other files developed as part of the Coordinated Holistic Alignment of Manufacturing Processes (CHAMP…☆14Updated this week
- Avec l'émergence des TIC et la démocratisation de la production de contenu sur internet, on assiste à un tsunami informationnel. Ce derni…☆13Jan 13, 2019Updated 7 years ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 5 years ago
- Javascript implementation for some common data structures like: Queue, Stack, Binary Tree, Linked List, Priority Queue...☆18Mar 1, 2023Updated 3 years ago
- adds Sequence Parallelism into LLaMA-Factory☆12Dec 31, 2024Updated last year
- Code for the ACL'18 paper: A Neural Approach to Pun Generation☆18Jan 13, 2020Updated 6 years ago
- A port of the Cells extension to CLOS to Python.☆13Apr 20, 2016Updated 9 years ago
- PhD thesis: "Knowledge Graph Construction from Heterogeneous Data Sources exploiting Declarative Mapping Rules"☆14Mar 24, 2022Updated 3 years ago
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆14Feb 7, 2023Updated 3 years ago
- HyLAR reasoner☆63Mar 4, 2023Updated 3 years ago