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

Authors

9.3K

  1. IH
    Ian Horrocks

    University of Oxford, United Kingdom

    125 publications · 19.4K citations

    58

    h-index

  2. DC
    Diego Calvanese

    Free University of Bozen-Bolzano, Italy

    70 publications · 5.7K citations

    37

    h-index

  3. ML
    Maurizio Lenzerini

    Sapienza University of Rome, Italy

    57 publications · 5.3K citations

    36

    h-index

  4. CL
    Carsten Lutz

    University of Bremen, Germany

    71 publications · 4.7K citations

    36

    h-index

  5. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    64 publications · 3.6K citations

    36

    h-index

1–5 of 9.3K

Venues

  1. Journal of Web Semantics

    71 publications · 14.9K citations

    47

    h-index

  2. Artificial Intelligence

    42 publications · 5.2K citations

    32

    h-index

  3. Expert Systems with Applications

    72 publications · 3.3K citations

    30

    h-index

  4. Journal of Artificial Intelligence Research

    JAIR · 44 publications · 3.8K citations

    30

    h-index

  5. Data & Knowledge Engineering

    DKE · 42 publications · 3.2K citations

    28

    h-index

1–5