|Title||Reconciling OWL and Rules|
|Year of Publication||2011|
|Authors||David Carral Martinez, Adila Alfa Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler|
|Keywords||OWL and description logic and decidability and local closed world and reasoningalgorithms and rules and datalog|
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 rst naive implementation. And we argue why this approach goes a long way towards overcoming the present paradigm split.
|Full Text|| |
David Carral Martinez, Adila Krisnadhi, Frederick Maier, Kunal Sengupta, Pascal Hitzler, 'Reconciling OWL and Rules,' Kno.e.sis Center, Wright State University, Dayton, Ohio, 2011.