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.