Restricted Unification in the DL 𝓕𝓛₀
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
Unification in the Description Logic (DL) FL0 is known to be ExpTime-complete and of unification type zero. We investigate whether a lower complexity of the unification problem can be achieved by either syntactically restricting the role depth of concepts or semantically restricting the length of role paths in interpretations. We show that the answer to this question depends on whether the number formulating such a restriction is encoded in unary or binary: for unary coding, the complexity drops from ExpTime to PSpace. As an auxiliary result, we prove a PSpace-completeness result for a depth-restricted version of the intersection emptiness problem for deterministic root-to-frontier tree automata. Finally, we show that the unification type of FL0 improves from type zero to unitary (finitary) for unification without (with) constants in the restricted setting.
Details
Originalsprache | Englisch |
---|---|
Titel | Frontiers of Combining Systems - 13th International Symposium, FroCoS 2021, Proceedings |
Redakteure/-innen | Boris Konev, Giles Reger |
Herausgeber (Verlag) | Springer, Berlin [u. a.] |
Seiten | 81-97 |
Seitenumfang | 17 |
Band | 12941 |
ISBN (elektronisch) | 978-3-030-86205-3 |
ISBN (Print) | 978-3-030-86204-6 |
Publikationsstatus | Veröffentlicht - 2021 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | Lecture Notes in Computer Science, Volume 12941 |
---|---|
ISSN | 0302-9743 |
Externe IDs
ORCID | /0000-0002-4049-221X/work/142247978 |
---|---|
Scopus | 85115241297 |