BIROn - Birkbeck Institutional Research Online

# DL-Lite with temporalised concepts, rigid axioms and roles

Artale, A. and Kontchakov, Roman and Ryzhikov, Vladislav and Zakharyaschev, Michael (2009) DL-Lite with temporalised concepts, rigid axioms and roles. In: Ghilardi, S. and Sebastiani, R. (eds.) Frontiers of Combining Systems. Lecture Notes in Computer Science 5749. Berlin, Germany: Springer, pp. 133-148. ISBN 9783642042218.

Full text not available from this repository.

## Abstract

We investigate the temporal extension of the description logic \textslDL−Lite(RN)bool with the until operator on concepts, rigid (time-independent) and local (time-dependent) roles, and rigid TBox axioms. Using an embedding into the one-variable fragment of first-order temporal logic and the quasimodel technique, we prove that (i) the satisfiability problem for the resulting logic is PSpace-complete, and that (ii) by weakening until to sometime in the future we obtain an NP-complete logic, which matches the complexities of the propositional linear-time temporal logics with the corresponding temporal operators.

Item Type: Book Section School of Business, Economics & Informatics > Computer Science and Information Systems Administrator 13 May 2013 13:43 02 Mar 2021 07:05 https://eprints.bbk.ac.uk/id/eprint/6714

## Statistics

Activity Overview
6 month trend
{"extraction_info": {"found_math": false, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.8515326380729675, "perplexity": 7091.492751346223}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2022-49/segments/1669446710473.38/warc/CC-MAIN-20221128034307-20221128064307-00629.warc.gz"}