文件名称：datalog-experiments
文件大小：24KB
文件格式：ZIP
更新时间：2024-05-03 14:00:24
C++
数据记录实验 关系图 当前正在测试数据记录中关系图的实现。 看： 这是一个使用souffle框架的数据记录程序。 它以三倍于TSV的输入作为输入。 一半的DL程序正在将RDF的子集映射到OWL（我们假设使用机器人等进行了预先推理，此处的目标是构建能够提供所有推断的子类/存在的猫头鹰星型三元组的对象）。 我尚未正式检查这些规则的完整性。 Elk的个人资料可能会丢失一部分，但我认为它涵盖了我们通常需要完整RG的所有内容。 uberon在约30秒内完成： $ time make rg-uberon souffle -Fuberon -Duberon relation_graph.dl real 0m27.892s user 0m27.366s sys 0m0.477s 与OWL比较： $ make owlrg-uberon time relation-graph
【文件预览】：
datalog-experiments-main
----bin()
--------example.cpp(17KB)
----sparql()
--------triples.rq(26B)
----tests()
--------go-nuclear-membrane()
----benchmarks()
--------pato()
--------caro()
--------go()
--------uberon()
----CONTRIBUTING.md(45B)
----src()
--------test_harness.dl(716B)
--------prefixes.dl(945B)
--------owl_from_rdf.dl(1KB)
--------relation_graph.dl(1KB)
----NOTES.md(3KB)
----.gitignore(277B)
----Makefile(2KB)
----README.md(1KB)