How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited

DOI10.1007/978-3-540-75560-9_23zbMath1138.68053OpenAlexW1525403130MaRDI QIDQ3498475

Yevgeny Kazakov, Ulrike Sattler, Evgeni E. Zolin

Publication date: 15 May 2008

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75560-9_23

Mathematics Subject Classification ID

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

Related Items (4)

Two-Variable Logic with Counting and Trees ⋮ Completing the Picture: Complexity of Graded Modal Logics with Converse ⋮ Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies ⋮ A short introduction to SHACL for logicians

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Decidability by filtrations for graded normal logics. (Graded modalities. V)
• Practical reasoning for very expressive description logics

This page was built for publication: How Many Legs Do I Have? Non-Simple Roles in Number Restrictions Revisited