def main(args):
'''
:param args: arguments passed from customized entry points
:return:
'''
# Parse out the ontology object then print it nicely
default_basepath = Filemgt.get_ontology_basepath()
if args.sub is None:
args.sub = default_basepath[0]
if args.base is None:
args.base = default_basepath[1]
if (args.tptp or args.ladr or args.latex) and args.nocond is False:
Parser.conditionals = True
# TODO need to substitute base path
full_path = args.file
if os.path.isfile(full_path):
logging.getLogger(__name__).info("Starting to parse " + args.file)
convert_file(full_path, args=args)
elif os.path.isdir(full_path):
logging.getLogger(__name__).info("Starting to parse all CLIF files in folder " + args.file)
convert_folder(full_path, args=args)
else:
logging.getLogger(__name__).error("Attempted to parse non-existent file or directory: " + full_path)
def __init__(self, name, basepath=None):
# The full path to the file
self.name = os.path.abspath(name)
# For the time being, just maintain a list of axioms
self.axioms = []
# for flexibility, maintain a separate list of conjectures
self.conjectures = []
# Imports we handle with a [path] : [ontologies] dict
self.imports = {}
# Dict with [URI] : [filepath] to serve as the substitution string
if basepath is None:
self.basepath = Filemgt.get_ontology_basepath()
else:
self.basepath = basepath
#logging.getLogger(__name__).info('Using URI ' + self.basepath[0] + ' to substitute for path ' + self.basepath[1])
self.resolve = False