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. Traits: An Object Oriented Dynamic Type System for Reasoning with Unstructured Data in a Type Safe Environment. In Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros Stefaneas, Alexander Steen, Adrian Giurca, editors, Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019. Volume 2438 of CEUR Workshop Proceedings, CEUR-WS.org, 2019. [doi]

Abstract

Abstract is missing.