A Solution to the Ramification Problem Expressed in Temporal Description Logics

Nikos Papadakis, Polydoros Petrakis, Dimitris Plexousakis, Charalampos Manifavas. A Solution to the Ramification Problem Expressed in Temporal Description Logics. Int. J. Semantic Computing, 8(1):1-46, 2014. [doi]

Abstract

Abstract is missing.