Decidable Reasoning over Timestamped Conceptual Models

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 .

• Type: Conference
• Year: 2008
• Where: DLOG
• Authors: Alessandro Artale, David Toman
• Keywords: Automated Reasoning, Conceptual Model Erv, Description Logic S5alcqi, DLOG 2008, Global Roles