Disjunctive Datalog

Good morning to the readers of this list. I wonder if there is some OWL 
extension and corresponding reasoner which allow using OWL2 (or some 
sublanguage) in conjunction with Disjunctive Datalog.

Thank you uin advance,
Cristiano Longo

Received on Wednesday, 18 April 2012 08:39:01 UTC