Cardiff University | Prifysgol Caerdydd ORCA
Online Research @ Cardiff 
WelshClear Cookie - decide language by browser settings

Towards a unifying approach to representing and querying temporal data in description logics

Gutierrez Basulto, Victor and Klarman, Szymon 2012. Towards a unifying approach to representing and querying temporal data in description logics. Presented at: International Conference International Conference on Web Reasoning and Rule Systems, Vienna, Austria, 10-12 September 2012. Web Reasoning and Rule Systems. RR 2012. Lecture Notes in Computer Science Springer, pp. 90-105. 10.1007/978-3-642-33203-6_8

Full text not available from this repository.

Abstract

Establishing a generic approach to representing and querying temporal data in the context of Description Logics (DLs) is an important, and still open challenge. The difficulty lies in that a proposed approach should reconcile a number of valuable contributions coming from diverse, yet relevant research lines, such as temporal databases and query answering in DLs, but also temporal DLs and Semantic Web practices involving rich temporal vocabularies. Within such a variety of influences, it is critical to carefully balance theoretical foundations with good prospects for reusing existing techniques, tools and methodologies. In this paper, we attempt to make first steps towards this goal. After providing a comprehensive overview of the background research and identifying the core requirements, we propose a general mechanism of defining temporal query languages for time-stamped data in DLs, based on combinations of linear temporal logics with first-order queries. Further, we advocate a controlled use of epistemic semantics in order to warrant practical query answering. We systematically motivate our proposal and highlight its basic theoretical and practical implications. Finally, we outline open problems and key directions for future research.

Item Type: Conference or Workshop Item (Paper)
Date Type: Publication
Status: Published
Schools: Computer Science & Informatics
Publisher: Springer
ISBN: 978-3-642-33202-9
Last Modified: 16 Aug 2018 16:22
URI: http://orca.cf.ac.uk/id/eprint/111955

Actions (repository staff only)

Edit Item Edit Item