Physical Sciences and Mathematics Commons^™

Reconciling Owl And Rules, David Carral Martinez, Adila A. Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler

Computer Science and Engineering Faculty Publications

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.