Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

12

DLOG
2008

favoriteEmaildiscussreport

139views Automated Reasoning» more DLOG 2008»

Decidable Reasoning over Timestamped Conceptual Models

13 years 6 months ago

Decidable Reasoning over Timestamped Conceptual Models

Download www.inf.unibz.it

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 .

Alessandro Artale, David Toman

Real-time Traffic

Automated Reasoning | Conceptual Model Erv | Description Logic S5alcqi | DLOG 2008 | Global Roles |

claim paper

Related Content

» Complexity of Reasoning over Temporal Data Models

» Reasoning over Conceptual Schemas and Queries in Temporal Databases

» A Description Logic of Change

» Reasoning with Enhanced Temporal EntityRelationship Models

» Tailoring Temporal Description Logics for Reasoning over Temporal Conceptual Models

» Foundations of Temporal Conceptual Data Models

» A Reasoner for Simple Conceptual Logic Programs

» Unifying Industrygrade Classbased Conceptual Data Modeling Languages with CMcom

» Modeling the Evolution of Objects in Temporal Information Systems

Post Info
More Details (n/a)

Added	02 Oct 2010
Updated	02 Oct 2010
Type	Conference
Year	2008
Where	DLOG
Authors	Alessandro Artale, David Toman

Comments (0)