automata evolutionary-algorithms formal-methods genetic-algorithm linear-temporal-logic ltl matrix-multiplication owl-api reactive-synthesis sat search-based-software-engineering searching-algorithms strix synthesis

haskell-language jena ontology owl owl-api pellet resolution theory

java ontologies owl-api