Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
From MaRDI portal
Publication:2238693
DOI10.1016/j.artint.2021.103518OpenAlexW3159100652MaRDI QIDQ2238693
David Tena Cucala, Bernardo Cuenca Grau, Ian Horrocks
Publication date: 2 November 2021
Published in: Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.artint.2021.103518
Related Items (1)
Uses Software
Cites Work
- Consequence-based and fixed-parameter tractable reasoning in description logics
- Decidability of SHIQ with complex role inclusion axioms
- Deciding expressive description logics in the framework of resolution
- Hyperresolution for guarded formulae
- Using resolution for testing modal satisfiability and building models
- Theorem proving with ordering and equality constrained clauses
- Blocking and other enhancements for bottom-up model generation methods
- The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
- An Introduction to Description Logic
- A Resolution-Based Decision Procedure for $\mathcal{SHOIQ}$
- Hypertableau Reasoning for Description Logics
- Resolution-based methods for modal logics
- Consequence-Based Reasoning for Description Logics with Disjunctions and Number Restrictions
- Simple and Efficient Clause Subsumption with Feature Vector Indexing
- First-Order Resolution Methods for Modal Logics
- Hyper tableaux
- An ExpTime Tableau Method for Dealing with Nominals and Qualified Number Restrictions in Deciding the Description Logic SHOQ
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \)
