This paper introduces KRROOD, a framework designed to bridge the integration gap between modern software engineering and Knowledge Representation & Reasoning (KR&R) systems. While Object-Oriented Programming (OOP) is the standard for developing complex applications, existing KR&R frameworks often rely on external ontologies and specialized languages that are difficult to integrate with imperative code. KRROOD addresses this by treating knowledge as a first-class programming abstraction using native class structures, bridging the gap between the logic programming and OOP paradigms. We evaluate the system on the OWL2Bench benchmark and a human-robot task learning scenario. Experimental results show that KRROOD achieves strong performance while supporting the expressive reasoning required for real-world autonomous systems.
翻译:本文介绍KRROOD框架,该框架旨在弥合现代软件工程与知识表示与推理系统之间的集成鸿沟。尽管面向对象编程已成为开发复杂应用程序的标准范式,现有KR&R框架通常依赖外部本体和专用语言,难以与命令式代码集成。KRROOD通过将知识视为使用原生类结构的一等编程抽象,弥合了逻辑编程与OOP范式间的隔阂。我们在OWL2Bench基准测试和人机协作任务学习场景中对系统进行评估。实验结果表明,KRROOD在保持高性能的同时,能够支持现实世界自治系统所需的表达性推理能力。