NDLI: A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Content Provider	ACM Digital Library
Author	Ryzhikov, Vladislav Artale, Alessandro Zakharyaschev, Michael Kontchakov, Roman
Copyright Year	2014
Abstract	We design temporal description logics (TDLs) suitable for reasoning about temporal conceptual data models and investigate their computational complexity. Our formalisms are based on $\textit{DL-Lite}$ logics with three types of concept inclusions (ranging from atomic concept inclusions and disjointness to the full Booleans), as well as cardinality constraints and role inclusions. The logics are interpreted over the Cartesian products of object domains and the flow of time (ℤ, <), satisfying the constant domain assumption. Concept and role inclusions of the TBox hold at all moments of time (globally), and data assertions of the ABox hold at specified moments of time. To express temporal constraints of conceptual data models, the languages are equipped with flexible and rigid roles, standard future and past temporal operators on concepts, and operators “always” and “sometime” on roles. The most expressive of our TDLs (which can capture lifespan cardinalities and either qualitative or quantitative evolution constraints) turns out to be undecidable. However, by omitting some of the temporal operators on concepts/roles or by restricting the form of concept inclusions, we construct logics whose complexity ranges between NLogSpace and PSpace. These positive results are obtained by reduction to various clausal fragments of propositional temporal logic, which opens a way to employ propositional or first-order temporal provers for reasoning about temporal data models.
Starting Page	1
Ending Page	50
Page Count	50
File Format	PDF
ISSN	15293785
e-ISSN	1557945X
DOI	10.1145/2629565
Volume Number	15
Issue Number	3
Journal	ACM Transactions on Computational Logic (TOCL)
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2014-07-25
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Description logic Temporal conceptual data model
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Logic Computational Mathematics Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

LTL over description logic axioms

Complexities of Horn Description Logics

A cookbook for temporal conceptual data modelling with description logics.

Datalog LITE: a deductive query language with linear time model checking

Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting

A modal logic for mobile agents

Description logics of minimal knowledge and negation as failure

Parametric temporal logic for “model measuring”

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

Similar Documents

A Cookbook for Temporal Conceptual Data Modelling with Description Logics

LTL over description logic axioms

Complexities of Horn Description Logics

A cookbook for temporal conceptual data modelling with description logics.

Datalog LITE: a deductive query language with linear time model checking

Undecidable Propositional Bimodal Logics and One-Variable First-Order Linear Temporal Logics with Counting

A modal logic for mobile agents

Description logics of minimal knowledge and negation as failure

Parametric temporal logic for “model measuring”

A Cookbook for Temporal Conceptual Data Modelling with Description Logics