Makes working with OWL ontologies in Java easy by auto-generating classes that wrap OWL instances with a convenient API
☆17Jul 20, 2010Updated 15 years ago
Alternatives and similar repositories for owl2java
Users that are interested in owl2java are comparing it to the libraries listed below
Sorting:
- sources for my OWL2 and SWRL tutorial☆20Dec 7, 2021Updated 4 years ago
- Raft 分布式共识(Consensus)算法(Demo级别)实现☆12Aug 23, 2016Updated 9 years ago
- Tool for signing and countersigning iXBRL or other XML files☆12Mar 3, 2023Updated 3 years ago
- ☆20Sep 30, 2020Updated 5 years ago
- Generate a DSL to hide all the hideous GRPC boilerplate☆20Jun 1, 2019Updated 6 years ago
- --- LEGAZY!!! --- Contains code necessary participate in the Scala training course.☆53Jul 31, 2013Updated 12 years ago
- Semantic faceted search using SPARQL☆19May 18, 2018Updated 7 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- This project will use ZYNQ 7020 to build the PYNQ framework, and build face detection algorithm, and finally use USB camera to detect fac…☆27Dec 17, 2021Updated 4 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- (Summed) Merklized Binary Radix Tree library☆17Oct 10, 2016Updated 9 years ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago
- LTL2PDDL tool☆11Jul 7, 2017Updated 8 years ago
- Kubernetes multi-clusters dashboard☆39Aug 13, 2024Updated last year
- Personal notes and lab results pertaining to the text "Practical Malware Analysis" by Michael Sikorski and Andrew Honiq.☆12Oct 28, 2017Updated 8 years ago
- A soft multimedia/graphics processor prototype in Chisel 3☆11May 3, 2023Updated 2 years ago
- A demo repo for using keylines with IBM Graph☆11Dec 20, 2016Updated 9 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- bil verification tool☆12Jun 30, 2022Updated 3 years ago
- Qute: a dependency learning QBF solver.☆15Mar 11, 2026Updated last week
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- ☆13Jun 1, 2021Updated 4 years ago
- the Open Source Windows Privilege Escalation Guide☆10Mar 16, 2017Updated 9 years ago
- Project Cash☆28Feb 4, 2021Updated 5 years ago
- ☆11May 21, 2021Updated 4 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- ☆16Jan 25, 2026Updated last month
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- Corda Solutions☆29Jan 10, 2026Updated 2 months ago
- A lightweight Description Logic reasoner for large-scale biomedical ontologies☆22Updated this week
- JSON-LD command line interface tool☆57Feb 25, 2026Updated 3 weeks ago
- Reasoner for the description logic EL+.☆15Mar 10, 2026Updated last week
- A LNCS template for typst☆15Jan 26, 2026Updated last month
- Analyze experimental data with Programming by Navigation☆17Mar 8, 2026Updated last week
- Library for testing Neo4j code over REST☆13Nov 14, 2020Updated 5 years ago
- DEPRECATED☆12Jan 17, 2016Updated 10 years ago