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

Jul	AUG	Sep
	17
2014	2015	2016

Failed to load latest commit information.
tests
.gitignore	.gitignore updated	Jan 20, 2015
README.md	README updated, using a real example	Jan 20, 2015
ReadMe_leancop	leanCoP 2.1	Apr 4, 2012
def_mm.pl	Warnings removed from def_mm.pl	Mar 8, 2014
execReasoner.sh	execReasoner.sh: using the sime timeout program from competition	Jan 20, 2015
leancop.sh	leancop.sh: Adapt to use swipl on mac	Oct 8, 2013
leancop21.pl
leancop21_sic.pl	leanCoP 2.1	Apr 4, 2012
leancop21_swi.pl	Prints removed from leancop21_swi.pl	Mar 5, 2014
leancop_main.pl
leancop_proof.pl	leanCoP 2.1	Apr 4, 2012
leancop_tptp2.pl
leancor	Support an alternative output for classification	Jan 20, 2015
owl2_cli.pl	Consistency reasoning activity added	May 3, 2015
owl2_fol.pl
owl2_leancop.pl	Optimizing consistency output	Jul 29, 2015
owl2_operators.pl	Disjoint Object Properties Added	Nov 10, 2014
owl2_output.pl	Optimizing consistency output	Jul 29, 2015
owl2_parser.pl
owl2_parser.plt	Class Assertion with complex class expressions	Nov 10, 2014
owl2_utils.pl	[output] fix transitive subclasses from output	Dec 4, 2014
reasoner.dat	files for competition	Nov 13, 2014

adrianomelo/leancor

HTTPS clone URL

Subversion checkout URL

README.md

leancor

Usage