{- |
Module      :  $Header$
Copyright   :  (c) Felix Gabriel Mance
License     :  GPLv2 or higher, see LICENSE.txt

Maintainer  :  f.mance@jacobs-university.de
Stability   :  provisional
Portability :  portable

script for running the conversion to XML
-}

import System.Environment

import OWL2.Sign
import OWL2.XML
import OWL2.XMLConversion
import Text.XML.Light
import OWL2.Print()
import OWL2.ManchesterPrint()

processFile :: String -> IO ()
processFile file = do
    s <- readFile file
    let elems = map xmlBasicSpec
                $ concatMap (filterElementsName $ isSmth "Ontology")
                $ onlyElems $ parseXML s
    mapM_ (putStrLn . ppElement . xmlOntologyDoc emptySign) elems

main :: IO ()
main = do
    args <- getArgs
    mapM_ processFile args
