文件名称：leancor:用序言编写的猫头鹰推理机
文件大小：245KB
文件格式：ZIP
更新时间：2024-06-06 21:01:13
WebOntologyLanguage
leancor leanCoR的一个分支，旨在描述逻辑推理。 用法 检查一致性（尚不支持） ./leancor consistency tests/ontologies/examples/ontology_travel.owl ../travel-consistency.csv 分类本体 ./leancor classification tests/ontologies/examples/ontology_travel.owl ../travel.owl 检查概念名称的可满足性（尚不支持） ./leancor sat test/pizza.owl test/output/pizza-sat.csv http://www.co-ode.org/ontologies/pizza/pizza.owl#SloppyGiuseppe ./leancor sat test/pizza.ow
【文件预览】：
leancor-master
----owl2_fol.pl(3KB)
----owl2_utils.pl(772B)
----.gitignore(46B)
----leancop21_swi.pl(3KB)
----leancor(636B)
----owl2_cli.pl(1KB)
----owl2_parser.pl(18KB)
----owl2_leancop.pl(5KB)
----leancop.sh(5KB)
----leancop_tptp2.pl(5KB)
----leancop21_sic.pl(3KB)
----reasoner.dat(2KB)
----owl2_parser.plt(22KB)
----README.md(643B)
----tests()
--------ontologies()
--------scripts()
----ReadMe_leancop(2KB)
----def_mm.pl(7KB)
----owl2_operators.pl(2KB)
----leancop_proof.pl(8KB)
----leancop21.pl(3KB)
----leancop_main.pl(3KB)
----execReasoner.sh(140B)
----owl2_output.pl(2KB)