OWL Reasoner written in prolog
Switch branches/tags
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
tests
.gitignore
README.md
ReadMe_leancop
def_mm.pl
execReasoner.sh
leancop.sh
leancop21.pl
leancop21_sic.pl
leancop21_swi.pl
leancop_main.pl
leancop_proof.pl
leancop_tptp2.pl
leancor
owl2_cli.pl
owl2_fol.pl
owl2_leancop.pl
owl2_operators.pl
owl2_output.pl
owl2_parser.pl
owl2_parser.plt
owl2_utils.pl
reasoner.dat

README.md

leancor

A fork of leanCoR that aims description logics reasoning.

Usage

Check consistency (not supported yet)

./leancor consistency tests/ontologies/examples/ontology_travel.owl ../travel-consistency.csv

Classify ontology

./leancor classification tests/ontologies/examples/ontology_travel.owl ../travel.owl

Check satisfiability of concept names (not supported yet)

./leancor sat test/pizza.owl test/output/pizza-sat.csv http://www.co-ode.org/ontologies/pizza/pizza.owl#SloppyGiuseppe
./leancor sat test/pizza.owl test/output/pizza-sat.csv http://www.co-ode.org/ontologies/pizza/pizza.owl#IceCream