The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains (Extended Version)

Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann

doi:10.48550/arXiv.2405.19096

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains (Extended Version)

Publikation: Vorabdruck/Dokumentation/Bericht › Vorabdruck (Preprint)

Beitragende

Stefan Borgwardt - , Professur für Automatentheorie (Autor:in)
Filippo De Bortoli - , Professur für Automatentheorie, Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI Dresden) (Autor:in)
Patrick Koopmann - , Vrije Universiteit Amsterdam (VU) (Autor:in)

Details

Originalsprache	Englisch
Herausgeber (Verlag)	arXiv
Publikationsstatus	Veröffentlicht - 29 Mai 2024

No renderer: customAssociatesEventsRenderPortal,dk.atira.pure.api.shared.model.researchoutput.WorkingPaper

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

The Precise Complexity of Reasoning in ALC with ω-Admissible Concrete Domains

Borgwardt, S., De Bortoli, F. & Koopmann, P., Juni 2024, Proceedings of the 37th International Workshop on Description Logics (DL 2024). Giordano, L., Jung, J. C. & Ozaki, A. (Hrsg.). CEUR-WS.org, Band 3739. 10 S. (CEUR Workshop Proceedings, Band 3739).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (1)

Forschungsportal der TU Dresden

Beitragende

Details

Schlagworte

Verknüpfte Inhalte