Concepedia

Lightweight Description Logics

Lightweight Description Logics is a species of description logic distinguished by its intentional restriction of expressiveness to achieve computational tractability and efficient reasoning, typically supporting polynomial-time inference services while retaining sufficient expressive power for knowledge representation in large-scale or resource-constrained applications.

44

Publications

1.8K

Citations

68

Authors

36

Institutions

Publications per year

2017–2026

8

Parents

Publications

44

Soft computing: the convergence of emerging reasoning technologies

Piero P. Bonissone · Soft Computing · 1997 · 242 citations

, , +11

Forgetting and uniform interpolation in large-scale description logic terminologies

Boris Konev, Dirk Walther, Frank Wolter · 2009 · 97 citations

, , +16

On the Complexity of Consistent Query Answering in the Presence of Simple Ontologies

Meghyn Bienvenu · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 92 citations · Full text

, , +15

The OWL Reasoner Evaluation (ORE) 2015 Competition Report

Bijan Parsia, Nicolas Matentzoglu, Rafael S. Gonçalves et al. · Journal of Automated Reasoning · 2017 · 87 citations · Full text

, , +12

A better uncle for OWL

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi et al. · 2011 · 84 citations

, , +16

1–5 of 44

Authors

68

  1. MB
    Meghyn Bienvenu

    Centre National de la Recherche Scientifique, France

    10 publications · 435 citations

    10

    h-index

  2. FW
    Frank Wolter

    University of Liverpool, United Kingdom

    7 publications · 301 citations

    7

    h-index

  3. CL
    Carsten Lutz

    University of Bremen, Germany

    6 publications · 204 citations

    6

    h-index

  4. MK
    Markus Krötzsch

    Technische Universität Dresden, Germany

    4 publications · 225 citations

    4

    h-index

  5. CB
    Camille Bourgaux

    Centre National de la Recherche Scientifique, France

    4 publications · 170 citations

    4

    h-index

1–5 of 68

Institutions

36

  1. University of Bremen

    Bremen, Germany

    7 h-index

    12 publications

    307 citations

  2. University of Liverpool

    Liverpool, United Kingdom

    7 h-index

    14 publications

    579 citations

  3. Technische Universität Dresden

    Dresden, Germany

    7 h-index

    12 publications

    341 citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    11 publications

    409 citations

  5. Université Paris-Sud

    Orsay, France

    5 h-index

    9 publications

    392 citations

  6. TU Wien

    Vienna, Austria

    4 h-index

    8 publications

    270 citations

  7. Université de Rennes

    Rennes, France

    3 h-index

    3 publications

    124 citations

  8. Free University of Bozen-Bolzano

    Bolzano, Italy

    3 h-index

    5 publications

    81 citations

1–8 of 36

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 70 citations

    3

    h-index

  2. Journal of Artificial Intelligence Research

    JAIR · 3 publications · 96 citations

    3

    h-index

  3. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 3 publications · 158 citations

    3

    h-index

  4. ORCA Online Research @Cardiff (Cardiff University)

    Repository · 2 publications · 32 citations

    2

    h-index

  5. International Joint Conference on Artificial Intelligence

    Conference · 2 publications · 41 citations

    2

    h-index

1–5