Pinned Repositories
OntologyNormalizer
Implementation of a normalization algorithm for OWL ontologies.
owl-to-rules-vlog-rdfox
project that transforms owl ontologies in a normalized form to exstential rules in formats required by vlog and chaseRDFox.
eval-2019-ISWC-VLog
eval-combined-approach-horn-alchoiq
Proof-of-concept implementation of a combined approach for Horn-ALCHOIQ and its experimental evaluation
eval-datalog-arithmetic
Evaluation data for the work "A Datalog Hammer for Supervisor Verification Conditions Modulo Simple Linear Arithmetic"
rulewerk
Java library based on the VLog rule engine
rulewerk-eclipse
rulewerk-language-suppport
A Visual Studio Code extension for rulewerk language (an extension of Datalog with Existential rules and stratified negation).
VLog-cpp-API
a c++ API for using VLog, with some of Rulewerk functionality
artifact-sorted-datalog-hammer
irina-dragoste's Repositories
irina-dragoste/owl-to-rules-vlog-rdfox
project that transforms owl ontologies in a normalized form to exstential rules in formats required by vlog and chaseRDFox.