Description Logics
Description Logics is a formal knowledge representation language that belongs to the family of decidable fragments of first-order logic and is specifically characterized by its structured, object-centered vocabulary and constructors for forming complex concepts and roles, enabling the representation of terminological knowledge in a logically rigorous manner.
5.4K
Publications
297.6K
Citations
9.3K
Authors
2.3K
Institutions
Publications per year
2017–2026
644
5.4K
OWL Web ontology language overview
Deborah L. McGuinness · Medical Entomology and Zoology · 2004 · 3.6K citations
Eric Prud’hommeaux · Medical Entomology and Zoology · 2008 · 3K citations
Pellet: A practical OWL-DL reasoner
Evren Sirin, Bijan Parsia, Bernardo Cuenca Grau et al. · Journal of Web Semantics · 2007 · 2.6K citations
1–5 of 5.4K
9.3K
58
h-index
37
h-index
36
h-index
36
h-index
36
h-index
1–5 of 9.3K
2.3K

University of Manchester
Manchester, United Kingdom
66 h-index
353 publications
36.3K citations
University of Oxford
Oxford, United Kingdom
47 h-index
288 publications
19.6K citations

Sapienza University of Rome
Rome, Italy
44 h-index
229 publications
22.7K citations
Stanford University
Stanford, United States
38 h-index
140 publications
14.1K citations
Free University of Bozen-Bolzano
Bolzano, Italy
37 h-index
162 publications
8.1K citations

University of Liverpool
Liverpool, United Kingdom
36 h-index
112 publications
5.9K citations

Vrije Universiteit Amsterdam
Amsterdam, The Netherlands
35 h-index
103 publications
10.9K citations
Technische Universität Dresden
Dresden, Germany
34 h-index
161 publications
8.7K citations
1–8 of 2.3K
71 publications · 14.9K citations
47
h-index
42 publications · 5.2K citations
32
h-index
72 publications · 3.3K citations
30
h-index
JAIR · 44 publications · 3.8K citations
30
h-index
DKE · 42 publications · 3.2K citations
28
h-index
1–5