Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)

Franz Baader; Stefan Borgwardt; Filippo De Bortoli; Patrick Koopmann

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)

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

Beitragende

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

Details

Originalsprache	Englisch
Titel	Proceedings of the 38th International Workshop on Description Logics (DL'25)
Redakteure/-innen	Lidia Tendera, Yazmín Ibáñez-García, Patrick Koopmann
Herausgeber (Verlag)	CEUR-WS.org
Seitenumfang	5
Band	4091
Publikationsstatus	Veröffentlicht - Sept. 2025
Peer-Review-Status	Ja

Schlagworte

Verknüpfte Inhalte

Veröffentlichungen

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics

Baader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., 2025, Automated Deduction - CADE 30 - 30th International Conference on Automated Deduction, 2025, Proceedings. Barrett, C. & Waldmann, U. (Hrsg.). Springer, S. 676-695 20 S. (Lecture Notes in Artificial Intelligence (LNAI), Band 15943).

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

Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)

Baader, F., Borgwardt, S., De Bortoli, F. & Koopmann, P., 2025, arXiv.

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

Alle Veröffentlichungen ansehen (2)

Forschungsportal der TU Dresden

Beitragende

Details

Schlagworte

Verknüpfte Inhalte