The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Persons and affiliations

Filippo De Bortoli - , Center for Scalable Data Analytics and Artificial Intelligence (ScaDS.AI Dresden), Chair of Automata Theory (Speaker)

Date

29 Sept 2025

Conference

Title	15th International Symposium on Frontiers of Combining Systems
Abbreviated title	FroCoS 2025
Conference number	15
Description	part of FroCoS/ITP/TABLEAUX 2025
Duration	29 September - 1 October 2025
Website	https://icetcs.github.io/frocos-itp-tableaux25/frocos/
Degree of recognition	International event
Location	Reykjavík University
City	Reykjavík
Country	Iceland

The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

Baader, F. & De Bortoli, F., 2026, Frontiers of Combining Systems: 15th International Symposium, FroCoS 2025, Reykjavik, Iceland, September 29 – October 1, 2025, Proceedings. Thiemann, R. & Weidenbach, C. (eds.). 1 ed. Springer, Cham, p. 22-39 18 p. (Lecture Notes in Computer Science, Vol. 15979).

Research output: Contribution to book/Conference proceedings/Anthology/Report › Conference contribution › Contributed › peer-review

Research Portal of the TU Dresden

The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

Persons and affiliations

Date

Conference

Related content

The Expressive Power of Description Logics with Numerical Constraints over Restricted Classes of Models

Best Student Paper Award