# Implementing Knowledge Representation and Reasoning with Object Oriented Design

arXiv: https://arxiv.org/abs/2601.14840 · HTML: https://mlsanity.com/paper/2601.14840/

## Key facts

- No citing papers in the map yet (data through 14 Oct 2026).
- Builds on 7 of its 45 references that are in the map.
- First posted on arXiv 21 Jan 2026.

## Builds on (most cited first, 7 of 7)

- [DeepOnto: A Python Package for Ontology Engineering with Deep Learning](https://mlsanity.com/paper/2307.03067/) (2023)
- [Knowledge-Driven Robot Program Synthesis from Human VR Demonstrations](https://mlsanity.com/paper/2306.02739/) (2023)
- [OWL Reasoners still useable in 2023](https://mlsanity.com/paper/2309.06888/) (2023)
- [OWLAPY: A Pythonic Framework for OWL Ontology Engineering](https://mlsanity.com/paper/2511.08232/) (2025)
- [OWLOOP: Interfaces for Mapping OWL Axioms into OOP Hierarchies](https://mlsanity.com/paper/2404.09305/) (2024)
- [owl2proto: Enabling Semantic Processing in Modern Cloud Micro-Services](https://mlsanity.com/paper/2411.06562/) (2024)
- [KERAIA: An Adaptive and Explainable Framework for Dynamic Knowledge Representation and Reasoning](https://mlsanity.com/paper/2505.04313/) (2025)

## Abstract (arXiv)

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.