Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles

DOI10.1007/978-3-642-15240-5_16zbMath1207.68370OpenAlexW14855053MaRDI QIDQ3163885

Gert Smolka, Mark Kaminski

Publication date: 27 October 2010

Published in: IFIP Advances in Information and Communication Technology (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15240-5_16

zbMATH Keywords

decidabilitydescription logictableau calculus

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25)

Related Items (1)

Answering regular path queries mediated by unrestricted \(\mathcal{SQ}\) ontologies

This page was built for publication: Terminating Tableaux for $\mathcal{SOQ}$ with Number Restrictions on Transitive Roles