entquery:使用扩展蕴涵机制的 OWL 查询接口
需积分: 5 62 浏览量
2021-06-25
12:23:02
上传
评论
收藏 18.34MB ZIP 举报
entquery-master.zip （94个子文件） 
entquery-master 
build.xml 1KB WebContent style style_screen.css 2KB style_print.css 2KB style.css 6KB images 
favicon.png 10KB logomanchester.png 25KB button-open.png 240B
tt_top.gif 93B button-closed.png 256B tt_left.gif 73B tt_bottom.gif 94B META-INF MANIFEST.MF 39B WEB-INF web.xml 1KB lib jena 
icu4j-3.4.4.jar 3.08MB arq-2.8.4.jar 1.6MB iri-0.8-sources.jar 206KB junit-4.5.jar 194KB wstx-asl-3.2.9.jar 512KB xercesImpl-2.7.1.jar 1.15MB lucene-core-2.3.1.jar 649KB log4j-1.2.13.jar 350KB slf4j-api-1.5.8.jar 23KB iri-0.8.jar 148KB slf4j-log4j12-1.5.8.jar 9KB jena-2.6.3-tests.jar 1.44MB stax-api-1.0.1.jar 26KB jena-2.6.3.jar 1.81MB pellet-rules.jar 202KB pellet-jena.jar 182KB aterm-java-1.6.jar 133KB antlr-runtime-3.2.jar 148KB junit.jar 158KB commons-logging-api.jar 26KB xsdlib.jar 489KB pellet-explanation.jar 28KB jetty.jar 412KB org.semanticweb.HermiT.jar 1.55MB pellet-test.jar 503KB servlet-api.jar 173KB commons-io-2.1.jar 159KB pellet-query.jar 395KB pellet-owlapiv3.jar 101KB pellet-dig.jar 26KB relaxngDatatype.jar 19KB pellet-core.jar 608KB commons-fileupload-1.2.2.jar 58KB owlapi-distribution-3.4.5.jar 2.23MB pellet-el.jar 51KB pellet-datatypes.jar 260KB jgrapht-jdk1.5.jar 185KB FaCTpp-OWLAPI-3.2-v1.5.3.jar 41KB pellet-owlapi.jar 70KB pellet-pellint.jar 70KB jfact.jar 619KB explanation-3.2.0.jar 243KB jaxb-api.jar 101KB pellet-modularity.jar 56KB pellet-cli.jar 73KB answers.jsp 4KB index.jsp 4KB error.jsp 2KB
header.html 395B script.js 2KB src uk ac manchester cs owlquery QueryProcessor.java 22KB CandidateWitnesses.java 712B Variable.java 1KB WebOWLQuery.java 11KB Justifications.java 5KB QueryAnswer.java 3KB UnsupportedQueryException.java 595B WebOWLQueryAnswers.java 1KB owl justification2html AbstractJustification2Html.java 3KB RenderJustification.java 3KB ManchesterSyntaxConverter.java 2KB DLSyntaxConverter.java 1KB JustificationOntologyParser.java 2KB DLSyntaxToUnicode.java 2KB Justification2Html.java 469B ObfuscatingShortFormProvider.java 3KB Tester.java 2KB J2HTMLOutput.java 2KB justifications isomorphism axiomtree TreeTriple.java 1KB AxiomTreeEntailmentChecker.java 4KB AxiomTreeVisitor.java 14KB AxiomTree.java 8KB AxiomTreeBuilder.java 18KB ClassExpressionTreeVisitor.java 12KB AxiomTreePair.java 934B PairMapping.java 2KB TreeNodeInfo.java 3KB AxiomTreeNode.java 4KB TreePair.java 1KB TreeMapping.java 3KB README.md 1KB
评论0
最新资源