A Resolution-Based Decision Procedure for $\boldsymbol{\mathcal{SHOIQ}}$
Work
Year: 2008
Type: article
Source: Journal of Automated Reasoning
Authors Yevgeny Kazakov, Boris Motik
Institution University of Oxford
Cites: 55
Cited by: 27
Related to: 10
FWCI: 4.633
Citation percentile (by year/subfield): 84.84
Subfield: Hardware and Architecture
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Peace, justice, and strong institutions
Open Access status: closed