[论文解读] The Semantic Web takes Wing: Programming Ontologies with Tawny-OWL

Phillip Lord|arXiv (Cornell University)|Mar 1, 2013

Semantic Web and Ontologies参考文献 9被引用 27

一句话总结

Tawny-OWL 通过利用 Clojure 作为 OWL 的领域特定语言，引入了一种程序化的方法来开发本体，实现了与现代软件工程实践（如版本控制、测试和持续集成）的完全集成。通过将本体创作视为代码，它提升了知识工程中的敏捷性、可重用性和协作性。

ABSTRACT

The Tawny-OWL library provides a fully-programmatic environment for ontology building; it enables the use of a rich set of tools for ontology development, by recasting development as a form of programming. It is built in Clojure - a modern Lisp dialect, and is backed by the OWL API. Used simply, it has a similar syntax to OWL Manchester syntax, but it provides arbitrary extensibility and abstraction. It builds on existing facilities for Clojure, which provides a rich and modern programming tool chain, for versioning, distributed development, build, testing and continuous integration. In this paper, we describe the library, this environment and the its potential implications for the ontology development process.

研究动机与目标

• 解决传统本体编辑器（如 Protégé）缺乏自动化、版本控制和协作开发支持的局限性。
• 克服在 Java 中使用低层级 OWL API 时的僵化性和复杂性，后者会阻碍交互式和迭代式本体开发。
• 通过利用现代编程语言的全部能力（包括动态求值、宏和工具链），实现本体开发。
• 通过与成熟软件工程实践（如持续集成和单元测试）的集成，支持敏捷和协作的本体开发。
• 提供一个可扩展、可维护且可伸缩的本体工程框架，通过基于代码的抽象减少重复并强制一致性。

提出的方法

• 将 Tawny-OWL 实现为直接映射到 OWL API 的 Clojure 库，采用受 Manchester OWL 语法启发的语法，以提升熟悉度和可读性。
• 利用 Clojure 的动态特性（包括其 REPL 环境），实现在无需重新编译的情况下进行交互式、迭代式本体开发。
• 使用宏和高阶函数来抽象常见的本体设计模式，并简洁地生成复杂公理。
• 与分布式版本控制系统（如 Git）集成，支持协作开发和变更追踪。
• 通过 Clojure 的测试框架嵌入单元测试，以验证本体结构、一致性和继承关系。
• 通过 Travis CI 等工具支持持续集成，实现对本体依赖项和变更的自动化测试。

实验结果

研究问题

• RQ1 能否将本体开发有效重构为编程任务，以利用现有的软件工程工具链？
• RQ2 与传统本体编辑器相比，程序化本体开发在敏捷性、版本控制和协作方面有何改进？
• RQ3 在多大程度上可以将完整的测试覆盖率和持续集成应用于本体，以确保正确性和向后兼容性？
• RQ4 与直接使用 OWL API 相比，使用高级函数式语言（如 Clojure）在表达力和本体代码可维护性方面有何提升？
• RQ5 程序化本体开发能否减少常见错误（如类名重复和错误的不相交声明）？

主要发现

• Tawny-OWL 支持在 Clojure 中进行交互式、REPL 驱动的本体开发，与传统的基于 Java 的 OWL API 使用相比，显著缩短了反馈周期。
• 将单元测试集成到本体开发中，可实现对类层次结构和逻辑一致性的精确、可执行验证，例如 (is (r/is-superclass ?p / MargheritaPizza ?p / VegetarianPizza)) 等测试可确保结构正确性。
• 通过 Travis CI 支持持续集成可原生实现，无需额外工具，能够自动化测试本体变更及其依赖项。
• 通过使用宏和代码抽象，可创建可重用的模板和设计模式，减少代码重复并提升可维护性。
• 通过将本体视为代码，Tawny-OWL 支持依赖管理、版本锁定和向后兼容性检查，降低下游系统中的破坏风险。
• 该方法支持具有清晰变更日志、版本控制和可追溯性的协作式、分布式本体开发，解决了集中式模型（如 OBO Foundry）所见的可扩展性问题。