Reconciling OWL and Rules
David Carral Martínez, Adila Alfa Krisnadhi, Frederick W. Maier, Kunal Sengupta, Pascal Hitzler · CORE Scholar (Wright State University) · 2011
We report on a recent advance in integrating Rules and OWL. We discuss a recent proposal, known as nominal schemas, which realizes a seamless integration of Datalog rules into the description logic SROIQ which underlies OWL 2 DL. We present extensions of the standardized OWL syntaxes to incorporate nominal schemas, reasoning algorithms, and a first naive implementation. And we argue why this approach goes a long way towards overcoming the present paradigm split.