135 citations · 302 across the 18 of their papers we have counts for
4 papers · 1 filter
Nemo: First Glimpse of a New Rule Engine
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach +4
This system demonstration presents Nemo, a new logic programming engine with a focus on reliability and performance. Nemo is built for data-centric analytic computations, modelled…
Efficient Dependency Analysis for Rule-Based Ontologies
Larry González, Alex Ivliev, Markus Krötzsch +1
Several types of dependencies have been proposed for the static analysis of existential rule ontologies, promising insights about computational properties and possible practical us…
Expressivity of Planning with Horn Description Logic Ontologies (Technical Report)
Stefan Borgwardt, Jörg Hoffmann, Alisa Kovtunova +3
State constraints in AI Planning globally restrict the legal environment states. Standard planning languages make closed-domain and closed-world assumptions. Here we address open-w…
A Description Logic Primer
Markus Krötzsch, Frantisek Simancik, Ian Horrocks
This paper provides a self-contained first introduction to description logics (DLs). The main concepts and features are explained with examples before syntax and semantics of the D…