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.68382MaRDI 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
68T27: Logic in artificial intelligence
Related Items
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