Implementing Knowledge Representation and Reasoning with Object Oriented Design

TL;DR

KRROOD is a novel framework that integrates knowledge representation and reasoning directly into object-oriented programming, enabling seamless development of intelligent systems with strong performance.

Contribution

This paper presents KRROOD, a new approach that embeds KR&R within OOP using native classes, facilitating better integration with software engineering practices.

Findings

KRROOD performs well on OWL2Bench benchmark.

Supports expressive reasoning for autonomous systems.

Bridges the gap between logic programming and OOP.

Abstract

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.