Re: Disjunctive Datalog from Enrico Franconi on 2012-04-18 (semantic-web@w3.org from April 2012)

From: Enrico Franconi <franconi@inf.unibz.it>
Date: Wed, 18 Apr 2012 13:17:08 +0200
To: Cristiano Longo <longo@dmi.unict.it>
Cc: semantic-web@w3.org
Message-Id: <9B1F4F3C-BB09-4CCA-B933-6998E935EDE1@inf.unibz.it>

On 18 Apr 2012, at 10:38, Cristiano Longo wrote:

> 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.

Thomas Eiter, Giovambattista Ianni, Thomas Lukasiewicz, Roman Schindlauer, Hans Tompits: Combining answer set programming with description logics for the Semantic Web. Artif. Intell. 172(12-13): 1495-1539 (2008)

Riccardo Rosati: DL+log: Tight Integration of Description Logics and Disjunctive Datalog. KR 2006: 68-78

cheers
--e.

Received on Wednesday, 18 April 2012 11:17:42 UTC