文件名称：Ontological Logic Programming (OLP)-开源
文件大小：19.31MB
文件格式：ZIP
更新时间：2024-07-19 19:42:25
开源软件
本体逻辑编程，简称 OLP，是本体推理和逻辑编程的新颖组合。 它使 Prolog 程序能够动态导入本体并透明地使用这些本体中的术语。
【文件预览】：
TeamFormationExample.pl
dist
----README.TXT(1KB)
----OLP.jar(842KB)
----lib()
--------owlapi-functionalparser.jar(58KB)
--------owlapi-impl.jar(166KB)
--------arq.jar(1.25MB)
--------aterm-java-1.6.jar(133KB)
--------owlapi-api.jar(267KB)
--------icu4j_3_4.jar(3MB)
--------xml-apis.jar(190KB)
--------concurrent.jar(124KB)
--------jena.jar(2.12MB)
--------jess.jar(652KB)
--------owlapi-util.jar(13KB)
--------jcalendar.jar(119KB)
--------log4j-1.2.12.jar(350KB)
--------junit.jar(158KB)
--------owlapi-change.jar(15KB)
--------owlapi-rdfxmlrenderer.jar(35KB)
--------orphanNodesAlg.jar(8KB)
--------jep-2.4.0.jar(85KB)
--------jdom.jar(145KB)
--------xsdlib.jar(489KB)
--------arq-extra.jar(286KB)
--------pellet.jar(1000KB)
--------xercesImpl.jar(1.15MB)
--------wstx-asl-3.0.0.jar(462KB)
--------edtftpj-1.5.2.jar(81KB)
--------protege.jar(1.98MB)
--------json.jar(34KB)
--------commons-logging-1.1.1.jar(59KB)
--------commons-lang-2.0.jar(166KB)
--------commons-lang-2.2.jar(237KB)
--------protege-owl.jar(3.15MB)
--------owlapi-functionalrenderer.jar(13KB)
--------kazuki.jar(70KB)
--------protege-pellet.jar(32KB)
--------owlapi-debugging.jar(20KB)
--------owlapi-owlxmlrenderer.jar(13KB)
--------stax-api-1.0.jar(26KB)
--------jenatest.jar(1.38MB)
--------relaxngDatatype.jar(19KB)
--------lucene-core-2.3.1.jar(649KB)
--------owlapi-rdfapi.jar(26KB)
--------swrl-jess-bridge.jar(59KB)
--------owlapi-oboparser.jar(42KB)
--------antlr-2.7.5.jar(425KB)
--------owlapi-krssparser.jar(33KB)
--------owlsyntax.jar(137KB)
--------owlapi-metrics.jar(18KB)
--------owlapi-apibinding.jar(2KB)
--------owlapi-dig1_1.jar(32KB)
--------ekitspell.jar(277KB)
--------iri.jar(147KB)
--------owlapi-rdfxmlparser.jar(152KB)
--------owlapi-owlxmlparser.jar(136KB)
runWithProxy.bat
run.bat