Traits: An object oriented dynamic type system for reasoning with unstructured data in a type safe environment.

Davide Sottara, Mark Proctor, Stefano Bragaglia, Mohammad Hekmatnejad

Research output: Contribution to journalConference articlepeer-review

Abstract

This paper describes “traits”, an extension to a rule engine that provides a dynamic type system for working with in an object oriented code in a type safe environment. This extension is inspired by frame logic and "duck typing". The implementation is based on the use of dynamic proxies and form of runtime interface injection and requires the partial redefinition of the traditional working memory operations (assert, update, retract), but is otherwise transparently embedded in the engine. We evaluate a reference implementation built on top of the open source rule engine Drools, showing that the approach improves clarity without impacting performance.

Original languageEnglish (US)
JournalCEUR Workshop Proceedings
Volume2438
StatePublished - 2019
Externally publishedYes
Event13th RuleML+RR Doctoral Consortium and Rule Challenge, RuleML+RR DC and Challenge 2019 - Bolzano, Italy
Duration: Sep 16 2019Sep 19 2019

Keywords

  • Drools
  • Frame Logic
  • Production Rule Systems
  • Rule Engine

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Traits: An object oriented dynamic type system for reasoning with unstructured data in a type safe environment.'. Together they form a unique fingerprint.

Cite this