Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features

We investigate the impact of non-regular path expressions on the decidability of satisfiability checking and querying in description logics extending ALC. Our primary objects of interest are ALCreg and ALCvpl, the extensions of with path expressions employing, respectively, regular and visibly-pushd...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 20, Issue 2
Main Author:	Bednarczyk, Bartosz
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science e.V 14.05.2024
Subjects:	computer science - artificial intelligence computer science - logic in computer science
ISSN:	1860-5974, 1860-5974
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!