#!/usr/bin/env python3
#
# Coras - OWL reasoning system
#
# Copyright (C) 2018 by Artur Wroblewski <wrobell@riseup.net>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.
#

import argparse
import logging
import os.path
import pprint
import sys

import pyfactxx.coras
from pyfactxx.coras.cli import load_and_parse

logger = logging.getLogger('coras')

parser = argparse.ArgumentParser()
parser.add_argument('input', nargs='+', help='Ontology files')

args = parser.parse_args()

logging.basicConfig(
    format='%(levelname)s:%(asctime)s:%(name)s:%(message)s',
    level=logging.DEBUG
)

crs = pyfactxx.coras.Coras()
load_and_parse(crs, *args.input)
# crs.realise() # TODO: check for consistency as well

logger.debug(
    'Python reference cache:\n{}'
    .format(pprint.pformat(crs._reasoner._cache))
)

# vim: sw=4:et:ai
