Description logics (DLs) have a long tradition in computer science and knowledge
representation, being designed so that domain knowledge can be described and so that …

This system description paper introduces the OWL 2 reasoner HermiT. The reasoner is fully
compliant with the OWL 2 Direct Semantics as standardised by the World Wide Web …

Abstract ℰ ℒ EL is a simple tractable Description Logic that features conjunctions and
existential restrictions. Due to its favorable computational properties and relevance to …

This paper introduces Konclude, a high-performance reasoner for the Description Logic
SROIQV. The supported ontology language is a superset of the logic underlying OWL 2 …

This book is the first to combine coverage of fuzzy logic and Semantic Web languages. It
provides in-depth insight into fuzzy Semantic Web languages for non-fuzzy set theory and …

Classification is a fundamental reasoning task in ontology design, and there is currently a
wide range of reasoners highly optimised for classification of OWL 2 ontologies. There are …

Many modern applications of description logics (DLs, for short), such as biomedical
ontologies and semantic web policies, provide fresh motivations for extending DLs with …

We present a method for automatically constructing a concept hierarchy for a given domain
by querying a large language model. We apply this method to various domains using …

HermiT is the only reasoner we know of that fully supports the OWL 2 standard, and that
correctly reasons about properties as well as classes. It is based on a novel" hypertableau" …

In recent years, mild cognitive impairment (MCI) has attracted significant attention as an
indicator of high risk for Alzheimer's disease (AD), and the diagnosis of MCI can alert patient …