Makes working with OWL ontologies in Java easy by auto-generating classes that wrap OWL instances with a convenient API
☆17Jul 20, 2010Updated 16 years ago
Alternatives and similar repositories for owl2java
Users that are interested in owl2java are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Speaker Role Contextual Model for Dialogues☆15Sep 30, 2017Updated 8 years ago
- A semantic web crawler☆20Sep 20, 2010Updated 15 years ago
- On-the-fly Table Generation - SIGIR'18☆10Feb 1, 2020Updated 6 years ago
- UMBEL (Upper Mapping and Binding Exchange Layer)☆102Oct 26, 2023Updated 2 years ago
- Dynamic analysis of multithreaded C programs☆13Feb 7, 2020Updated 6 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.
- Example of clingo usage on website as a client-side JS program☆14Aug 27, 2019Updated 7 years ago
- (Summed) Merklized Binary Radix Tree library☆18Oct 10, 2016Updated 9 years ago
- An ocaml implementation of conflict-driven reasoning☆15Jul 13, 2018Updated 8 years ago
- Distributed constraint satisfaction with recursive message-passing agents☆16Dec 11, 2017Updated 8 years ago
- Cross-domain temporal information extractors: temporal expressions, events and temporal links.☆21Oct 29, 2015Updated 10 years ago
- A model checker for safe Petri nets based on partial-order semantics☆13Nov 30, 2020Updated 5 years ago
- bil verification tool☆12Jun 30, 2022Updated 4 years ago
- ☆16Jan 25, 2026Updated 7 months ago
- Reasoner for the description logic EL+.☆17Jun 30, 2026Updated 2 months 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.
- Library for testing Neo4j code over REST☆13Nov 14, 2020Updated 5 years ago
- ☆13Jan 9, 2018Updated 8 years ago
- FPGA synthesis tool powered by equality saturation and program synthesis.☆14Jan 9, 2026Updated 7 months ago
- 🖧 Quads in Git - Distributed Version Control for RDF Knowledge Bases☆115Jun 27, 2024Updated 2 years ago
- An Airflow Plugin that provides a new page to the standard Airflow Web Server to help you perform various operations☆12Nov 28, 2016Updated 9 years ago
- Multiagent Distributed and Local Asynchronous Planner. A deterministic domain-independent multi-agent planner based on the MA-STRIPS form…☆12Nov 24, 2017Updated 8 years ago
- Python script for importing DBpedia nodes and relationships into Neo4j☆14Mar 15, 2014Updated 12 years ago
- Arithmetic multiplier benchmarks☆12Nov 13, 2017Updated 8 years ago
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- perceptually uniform colour calculation in java, based on the CIECAM02 model and M.R. Luo's CAM-UCS☆15Dec 4, 2015Updated 10 years ago
- Hardware Description from Technical Documentation☆15Jun 28, 2026Updated 2 months ago
- A Language for Interactive Cooperative Agents☆13Mar 18, 2022Updated 4 years ago
- Copy of the CCHR Constraint Handling Rules implementation in C☆21Nov 18, 2021Updated 4 years ago
- RISCV Core written in Calyx☆17Aug 16, 2024Updated 2 years ago
- ☆12May 20, 2021Updated 5 years ago
- VW, Liblinear and StreamSVM compared on webspam☆14Oct 16, 2014Updated 11 years ago
- A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superpos…☆28Jul 13, 2023Updated 3 years ago
- An Oberon-2 LLVM front-end☆23Sep 27, 2014Updated 11 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- ML.NET playground☆13Jun 14, 2019Updated 7 years ago
- A tool to add semantic information to images.☆15Mar 25, 2013Updated 13 years ago
- [Deprecated] An API which aggregates online activity of the Open Knowledge☆18Dec 13, 2021Updated 4 years ago
- nTorrent implementation. The application design is presented in the paper "nTorrent: Peer-to-Peer File Sharing in Named Data Networking":…☆15Oct 16, 2018Updated 7 years ago
- Hexagonal cellular automata platform☆19Dec 30, 2020Updated 5 years ago
- Java API for working with the SWRL rule and SQWRL query languages☆104Jan 27, 2025Updated last year