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:
- --- LEGAZY!!! --- Contains code necessary participate in the Scala training course.☆53Jul 31, 2013Updated 12 years ago
- sources for my OWL2 and SWRL tutorial☆20Dec 7, 2021Updated 4 years ago
- Python library for Myra☆10Jan 21, 2019Updated 7 years ago
- ML.NET playground☆13Jun 14, 2019Updated 6 years ago
- Analyze experimental data with Programming by Navigation☆13Updated this week
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- This repository contains the code of the Rasa workshop at PyData NYC 2018☆12Oct 19, 2018Updated 7 years ago
- Random Generator of Btor2 Files☆10Sep 2, 2023Updated 2 years ago
- Personal notes and lab results pertaining to the text "Practical Malware Analysis" by Michael Sikorski and Andrew Honiq.☆12Oct 28, 2017Updated 8 years ago
- Explorations relative to cloning FlumeJava☆94Oct 13, 2020Updated 5 years ago
- Hexagonal grid operations, with a sample "lights out" implementation☆16Jul 13, 2016Updated 9 years ago
- On-the-fly Table Generation - SIGIR'18☆10Feb 1, 2020Updated 6 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 years ago
- Tool for signing and countersigning iXBRL or other XML files☆12Mar 3, 2023Updated 2 years ago
- the Open Source Windows Privilege Escalation Guide☆10Mar 16, 2017Updated 8 years ago
- Open source code for MobiPurpose project☆13Mar 25, 2025Updated 11 months ago
- Build 2019 Demos for Knowledge Mining Session☆10May 17, 2019Updated 6 years ago
- Teensy code to brute force a keylogger's unlock code☆15Sep 5, 2016Updated 9 years ago
- ☆11May 21, 2021Updated 4 years ago
- LEC - Logic Equivalence Checking - Formal Verification☆32Updated this week
- ☆10Aug 11, 2023Updated 2 years ago
- Wavious Wlink☆12Oct 28, 2021Updated 4 years ago
- Iodine: Verifying Constant-Time Execution of Hardware☆15Mar 29, 2021Updated 4 years ago
- A LNCS template for typst☆15Jan 26, 2026Updated last month
- The Fast Lines of Code Counter☆11Aug 22, 2025Updated 6 months ago
- VW, Liblinear and StreamSVM compared on webspam☆14Oct 16, 2014Updated 11 years ago
- A Z80 CPU implemented in Chisel.☆11Sep 20, 2020Updated 5 years ago
- Homepage for the Data Interaction Group at CMU☆13Feb 20, 2026Updated last week
- A tutorial for setting up Symbolic Quick Error Detection (SQED) using the model checker, CoSA, on the Ride Core☆12May 24, 2019Updated 6 years ago
- Tool for tweaking dbpedia spotlight's models☆16Dec 1, 2017Updated 8 years ago
- A fork of Yosys that integrates the CellIFT pass☆13Jul 23, 2025Updated 7 months ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocols☆14May 7, 2022Updated 3 years ago
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 6 years ago
- ☆10Feb 20, 2020Updated 6 years ago
- ☆22Feb 8, 2026Updated 2 weeks ago
- SQL injection detection engine by tokenzing and syntax analysis, like SQLChop☆10May 8, 2017Updated 8 years ago
- Collection of lines of code for basics of clean plots in Plotly and Matplotlib☆13Feb 5, 2021Updated 5 years ago
- ☆10Jun 10, 2020Updated 5 years ago
- An ocaml implementation of conflict-driven reasoning☆14Jul 13, 2018Updated 7 years ago