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

parseOWLAsLibDefn Source #

Arguments

:: Bool

Sets Option.quick

-> FilePath

local filepath or uri

-> ResultT IO [LIB_DEFN]

map: uri -> OntologyFile

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