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.