Description Logic Reasoning is a formal reasoning method within automated reasoning that employs description logics—a family of knowledge representation languages—to structurally encode and infer semantic relationships among concepts and individuals in a domain, distinguished by its foundation on decidable fragments of first-order logic with well-defined model-theoretic semantics.
873
Publications
47.6K
Citations
1.1K
Authors
410
Institutions
Publications per year
2017–2026
50
Parents
Publications
873
The Description Logic Handbook – Theory, Implementation and Applications
C.J.H. Mann · Kybernetes · 2003 · 2.2K citations
Birte Glimm, Ian Horrocks, Boris Motik et al. · Journal of Automated Reasoning · 2014 · 596 citations · Full text
1–5 of 873
Authors
1.1K
- IH
30
h-index
- GD
27
h-index
- CL
27
h-index
- ML
25
h-index
- DC
25
h-index
1–5 of 1.1K
Institutions
410
University of Manchester
Manchester, United Kingdom
35 h-index
132 publications
11K citations
Sapienza University of Rome
Rome, Italy
35 h-index
113 publications
15.3K citations
University of Oxford
Oxford, United Kingdom
27 h-index
80 publications
7.4K citations
Technische Universität Dresden
Dresden, Germany
27 h-index
97 publications
3.8K citations
Free University of Bozen-Bolzano
Bolzano, Italy
24 h-index
64 publications
4.1K citations
University of Liverpool
Liverpool, United Kingdom
23 h-index
52 publications
3K citations
University of Bremen
Bremen, Germany
21 h-index
47 publications
2K citations
TU Wien
Vienna, Austria
18 h-index
61 publications
2.1K citations
1–8 of 410
Venues
- Journal of Artificial Intelligence Research
JAIR · 23 publications · 2.6K citations
21
h-index
- Research Explorer (The University of Manchester)
Repository · 22 publications · 1.3K citations
16
h-index
- Proceedings of the AAAI Conference on Artificial Intelligence
Conference · 19 publications · 545 citations
16
h-index
- Description Logics
19 publications · 635 citations
15
h-index
- Journal of Automated Reasoning
13 publications · 3K citations
13
h-index
1–5