Skip to content

sword-ufpe/leancor

 
 

Repository files navigation

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

Releases

No releases published

Packages

No packages published

Languages

  • Web Ontology Language 91.3%
  • Prolog 5.7%
  • Gnuplot 1.8%
  • Other 1.2%