On Wed Apr 18, 2012 01:17:08PM +0200, Enrico Franconi wrote: > > 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. There is also an implementation available for dl-programs: http://www.kr.tuwien.ac.at/research/systems/dlvhex/ Best, TK -- Thomas Krennwallner University assistant .. TU Wien - Vienna University of Technology Institute of Information Systems Favoritenstrasse 9-11, 1040 Wien, Austria .. T: +43 1 58801 18469 F: +43 1 58801 918469 tkren AT kr DOT tuwien DOT ac DOT at http://www.kr.tuwien.ac.at/staff/tkren/ .. DVR: 0005886Received on Thursday, 19 April 2012 20:41:21 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:48 GMT