塞缪尔·肯;利奥·奥斯特;苏泽特·斯托滕贝格;凯伦·福克斯;保罗·富兰克林;阿德里安·约翰逊;肯·拉斯基;黛博拉·尼科尔斯;史蒂夫·洛佩兹;Peterson，杰森 将OWL和语义web规则转换为Prolog：转向描述逻辑程序。 （英文） Zbl 1139.68016号 理论与实践。日志。程序。 8，第3号，301-322（2008）. 摘要：我们正在研究语义Web的规则和本体层之间的交互，通过比较两种选择：1）使用OWL及其规则扩展SWRL开发集成的本体/规则语言，以及2）使用RuleML和OWL在本体之上分层规则。为此，我们正在开发SWORIER系统，该系统通过将所有本体和规则翻译为Prolog并添加一组正确捕获OWL语义的通用规则，实现对本体和规则的高效自动推理。我们还允许用户在运行时动态地进行更改。这项工作解决了先前工作中表达的几个关注点，如否定、互补类、析取头和基数，并讨论了处理知识库中不一致性的替代方法。此外，为了提高效率，我们实现了称为扩展的技术，避免了重新分析和代码最小化。 引用于2文件 MSC公司： 68N17号 逻辑编程 68M10个 计算机系统中的网络设计和通信 关键词：语义Web;逻辑程序设计;知识汇编;本体;规则 软件：规则ML;NP-SPEC公司;旋转（swrl） PDF格式BibTeX公司 XML格式引用 \textit{K.Samuel}等人，《理论与实践》。日志。程序。8，第3号，301--322（2008；Zbl 1139.68016） 全文： 内政部 参考文献： [1] Van Roy，IEEE Computer 25，第54页–（1992）·数字对象标识代码：10.1109/2.108055 [2] Cadoli，人工智能通信——《欧洲人工智能杂志》第10期第137页——（1997） [3] Daconta，《语义Web：XML、Web服务和知识管理的未来》（2003年） [4] 艾特·卡西（Ait-Kaci），《沃伦的抽象机器：教程重建》（Warren’s Abstract Machine:A Tutorial Reconstruction）（1991年） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。