Robert Barta > TM-Ontology-KIF-0.02 > kif2atm

Download:
TM-Ontology-KIF-0.02.tar.gz

Annotate this POD

View/Report Bugs
Source   Latest Release: TM-Ontology-KIF-0.03

NAME ^

kif2atm - KIF to AsTMa= converter

SYNOPSIS ^

  cat ontology.kif | kif2atm <command line switch>... > ontology.atm

DESCRIPTION ^

This program reads the taxonomy definitions provided in KIF and returns a topic map in AsTMa= format.

 http://astma.bond.edu.au/

All concepts and their subclass-superclass relations will be output in topic map form on STDOUT.

All other information (first order logic rules) is currently ignored. All conversion problems and warnings will go to STDERR.

OPTIONS ^

help

...does hopefully what you would expect.

warn

Writes out warnings onto STDERR.

stats

Writes out statistical information at the end of the run to STDERR.

limit (number)

If provided, limits the number of processed KIF sentences.

start_line (number)

If provided all lines will be skipped in the KIF file and parsing will begin at this line number.

KIF Notation ^

The full notation is documented at http://logic.stanford.edu/kif/dpans.html

AsTMa (Asymptotic Topic Map), the Notation ^

Please refer to the online documentation http://astma.it.bond.edu.au/

AUTHOR INFORMATION ^

Copyright 200[4], Robert Barta <rho@bigpond.net.au>, All rights reserved.

syntax highlighting: