Concepedia

Horn Description Logics

Horn Description Logics is a fragment of Description Logics characterized by restricting logical expressions to Horn clauses, thereby enabling efficient reasoning while preserving expressiveness for rule-based knowledge representation.

52

Publications

5.7K

Citations

94

Authors

51

Institutions

Publications per year

2017–2026

6

Parents

Publications

52

The Description Logic Handbook – Theory, Implementation and Applications

C.J.H. Mann · Kybernetes · 2003 · 2.2K citations

, , +12

Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Diego Calvanese, Giuseppe De Giacomo, Domenico Lembo et al. · Journal of Automated Reasoning · 2007 · 1.4K citations

, , +15

Combining Horn rules and description logics in CARIN

Alon Y. Levy, Marie-Christine Rousset · Artificial Intelligence · 1998 · 363 citations

, , +13

Description Logics with Concrete Domains-A Survey.

Carsten Lutz · 2002 · 148 citations

, , +13

CARIN: A Representation Language Combining Horn Rules and Description Logics.

Alon Y. Levy, Marie-Christine Rousset · 1996 · 143 citations

, , +13

1–5 of 52

Authors

94

  1. SR
    Sebastian Rudolph

    Karlsruhe Institute of Technology, Germany

    5 publications · 323 citations

    5

    h-index

  2. BM
    Boris Motik

    University of Oxford, United Kingdom

    3 publications · 44 citations

    4

    h-index

  3. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    4 publications · 129 citations

    4

    h-index

  4. CL
    Carsten Lutz

    University of Bremen, Germany

    4 publications · 135 citations

    4

    h-index

  5. BC
    Bernardo Cuenca Grau

    University of Oxford, United Kingdom

    2 publications · 32 citations

    3

    h-index

1–5 of 94

Institutions

51

  1. Karlsruhe Institute of Technology

    Karlsruhe, Germany

    5 h-index

    9 publications

    507 citations

  2. University of Oxford

    Oxford, United Kingdom

    5 h-index

    10 publications

    213 citations

  3. University of Liverpool

    Liverpool, United Kingdom

    4 h-index

    5 publications

    97 citations

  4. University of Bremen

    Bremen, Germany

    4 h-index

    10 publications

    251 citations

  5. Free University of Bozen-Bolzano

    Bolzano, Italy

    3 h-index

    4 publications

    1.4K citations

  6. Technische Universität Dresden

    Dresden, Germany

    2 h-index

    4 publications

    70 citations

  7. Université de Montpellier

    Montpellier, France

    2 h-index

    4 publications

    74 citations

  8. National Technical University of Athens

    Athens, Greece

    2 h-index

    3 publications

    46 citations

1–8 of 51

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 76 citations

    3

    h-index

  2. Journal of Automated Reasoning

    2 publications · 1.4K citations

    2

    h-index

  3. Journal of Bioresource Management

    JBM · 2 publications · 92 citations

    2

    h-index

  4. Artificial Intelligence

    2 publications · 391 citations

    2

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 10 citations

    1

    h-index

1–5