SWI-prolog语义推理

SWI-prolog语义推理,prolog,owl,swi-prolog,Prolog,Owl,Swi Prolog,我想将一个owl文件转换为prolog.owl->.pl在rdfs2pl包中找到的文档对我没有帮助。关于如何继续的任何提示 gen:- rdf_load('C:/test/pizza.owl'), 告诉('C:/test/pizza.pl'), 写模式(比萨饼),[使用标签(正确)],告诉我们 我“查阅”这段代码的文件,然后它永远循环 “not helpfull”不是一个问题描述…文档非常清楚:-它们确切地显示了如何从命令行使用它。我需要更多的示例我已经尝试过github.com/cmungal

我想将一个owl文件转换为prolog.owl->.pl在rdfs2pl包中找到的文档对我没有帮助。关于如何继续的任何提示

gen:- rdf_load('C:/test/pizza.owl'), 告诉('C:/test/pizza.pl'), 写模式(比萨饼),[使用标签(正确)],告诉我们


我“查阅”这段代码的文件,然后它永远循环

“not helpfull”不是一个问题描述…文档非常清楚:-它们确切地显示了如何从命令行使用它。我需要更多的示例我已经尝试过github.com/cmungall/rdfs2pl该描述不是很有用。我不明白。。。从文档中可以清楚地看到,从命令行use
rdfs2pl SCHEMA\u NAME INPUT\u FILE\u PATH-o OUTPUT\u FILE\u PATH
-这里到底有什么不适合您?如果您遇到一些错误,请向我们展示。细节越多,这里的人们就越能理解这个问题