Hets - the Heterogeneous Tool Set

CopyrightHeng Jiang, Uni Bremen 2004-2007
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable (imports Logic.Logic)
Safe HaskellNone

OWL2.ParseOWLAsLibDefn

Description

analyse OWL files by calling the external Java parser.

Synopsis

Documentation

parseOWL

Arguments

:: Bool

Sets Option.quick

-> FilePath

local filepath or uri

-> IO [LIB_DEFN]

map: uri -> OntologyFile

call for owl parser (env. variable $HETS_OWL_TOOLS muss be defined)

convertOWL :: FilePath -> String -> IO String

converts owl file to desired syntax using owl-api