Decidable Reasoning over Timestamped Conceptual Models
Alessandro Artale, David Toman · Open Research (University of Surrey) · 2008
We show that reasoning in the temporal conceptual model ERV T , a fragment of ERV T that only allows timestamping is complete for 2-ExpTime. The membership result is based on an embedding of the conceptual model into the description logic S5ALCQI . Hardness is obtained by reducing a fragment of S5ALCQI , namely S5ALC with global roles only, to ERV T .