Search Results for author:
Found 2 papers, 2 papers with code
Nemo: First Glimpse of a New Rule Engine
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance.
Efficient Dependency Analysis for Rule-Based Ontologies
Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical uses of a given set of rules, e. g., in ontology-based query answering.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
