A new description logic with set constraints and cardinality constraints on role successors

DOI10.1007/978-3-319-66167-4_3zbMath1495.68203OpenAlexW2747784335MaRDI QIDQ1687537

Franz Baader

Publication date: 4 January 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-66167-4_3

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (3)

Presburger Büchi tree automata with applications to logics with expressive counting ⋮ \(\mathcal{ALCQPI}_{R^+}\): rational grading in an expressive description logic with inverse and transitive roles and counting ⋮ One-variable logic meets Presburger arithmetic

This page was built for publication: A new description logic with set constraints and cardinality constraints on role successors