🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
-
Updated
May 28, 2024 - Java
🧬 Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.
EstiMate 🦉: A fast and accurate modelcounter tool for estimating the number of models for LTL formulas using transfer matrices.
OWL and Semantic Web toolkit for Common Lisp, used for construction and reasoning over ontologies and ontology-structured data
a java tool to convert OWL axioms from reasoning tasks to natural language
An Object Oriented Programming (OOP) interface for Ontology Web language (OWL) ontologies.
Concurrent Classification of EL++ Ontologies
SHAR: Scala + HermiT API and REPL; tools for description logics in Scala.
Reasoner for the description logic EL+.
Tool for finding unifiers in the description logic EL
Bayesian Ontology Reasoner
Protégé plugin for completing OWL ontologies
Generalization algorithms for the description logics EL and extensions.
A lightweight Description Logic reasoner for large-scale biomedical ontologies
OWASP Ontology-driven Threat Modelling framework (mirror)
OWASP Ontology-driven Threat Modelling framework
A suite of utility functions and applications for engineering OWL ontologies.
Add a description, image, and links to the owl-api topic page so that developers can more easily learn about it.
To associate your repository with the owl-api topic, visit your repo's landing page and select "manage topics."