An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$
From MaRDI portal
Publication:5747785
DOI10.1007/978-3-642-14203-1_40zbMath1291.68382OpenAlexW1492660950MaRDI QIDQ5747785
Publication date: 14 September 2010
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_40
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Decidability of SHIQ with complex role inclusion axioms
- Self-embedded context-free grammars with regular counterparts
- On sentential forms of context-free grammars
- Deciding regular grammar logics with converse through first-order logic
- Ordered chaining calculi for first-order theories of transitive relations
- On certain formal properties of grammars
- Pure grammars
- The Complexity of Regularity in Grammar Logics and Related Modal Logics
- Term Rewriting and All That
This page was built for publication: An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$
