Dlpconvert
From ONTOLORE
dlpconvert is a command line tool based on KAON2. Its purpose is the support of the OWL DL fragments Horn-SHIQ and DLP, in particular the conversion of corresponding ontologies to other syntax formats like Prolog and F-Logic.
dlpconvert ist part of Denny Vrandecic's KAON2 OWL Tools.
Download
- Available as part of the KAON2 OWL Tools by Denny Vrandecic.
Literature
- Boris Motik, Denny Vrandecic, Pascal Hitzler, York Sure, and Rudi Studer, dlpconvert - Converting OWL DLP statements to logic programs. System Demo at the 2nd European Semantic Web Conference, Iraklion, Greece, May 2005.
