Concepedia

Concept Satisfiability

Concept Satisfiability is a fundamental reasoning task in description logics that determines whether a given concept is consistent with the semantics of a knowledge base, i.e., whether there exists an interpretation in which the concept denotes a non-empty set.

19

Publications

914

Citations

44

Authors

21

Institutions

Publications per year

2017–2026

0

Parents

Publications

19

The Complexity of Reasoning with Cardinality Restrictions and Nominals in Expressive Description Logics

2000 · 163 citations · Full text

, , +14

On the complexity of the instance checking problem in concept languages with existential quantification

Andrea Schaerf · Journal of Intelligent Information Systems · 1993 · 126 citations

, , +13

Temporalizing Description Logics.

Frank Wolter, Michael Zakharyaschev · 1998 · 91 citations

, , +16

The complexity of existential quantification in concept languages

Francesco M. Donini, Maurizio Lenzerini, Daniele Nardi et al. · Artificial Intelligence · 1992 · 87 citations · Full text

, , +11

Finding maximally satisfiable terminologies for the description logic ALC

Thomas Meyer, Kevin Lee, Richard Booth et al. · 2006 · 83 citations

, , +14

1–5 of 19

Authors

44

  1. VH
    Volker Haarslev

    Concordia University, Canada

    2 publications · 32 citations

    2

    h-index

  2. JZ
    Jeff Z. Pan

    University of Aberdeen, United Kingdom

    2 publications · 98 citations

    2

    h-index

  3. BP
    Bijan Parsia

    University of Manchester, United Kingdom

    2 publications · 46 citations

    2

    h-index

  4. MH
    Martin Homola

    Comenius University Bratislava, Slovakia

    2 publications · 87 citations

    2

    h-index

  5. LS
    Luciano Serafini

    Fondazione Bruno Kessler, Italy

    2 publications · 87 citations

    2

    h-index

1–5 of 44

Institutions

21

  1. Comenius University Bratislava

    Bratislava, Slovakia

    2 h-index

    2 publications

    87 citations

  2. Sapienza University of Rome

    Rome, Italy

    2 h-index

    4 publications

    387 citations

  3. Leipzig University

    Leipzig, Germany

    2 h-index

    2 publications

    97 citations

  4. Fondazione Bruno Kessler

    Trento, Italy

    2 h-index

    4 publications

    174 citations

  5. National Academies of Sciences, Engineering, and Medicine

    Washington, United States

    1 h-index

    1 publications

    26 citations

  6. Systems, Applications & Products in Data Processing (United Kingdom)

    London, United Kingdom

    1 h-index

    3 publications

    45 citations

  7. Universität Koblenz

    Koblenz, Germany

    1 h-index

    2 publications

    30 citations

  8. UNSW Sydney

    Sydney, Australia

    1 h-index

    2 publications

    166 citations

1–8 of 21

Venues

  1. Research Explorer (The University of Manchester)

    Repository · 2 publications · 46 citations

    2

    h-index

  2. European Conference on Artificial Intelligence

    Conference · 1 publications · 24 citations

    1

    h-index

  3. Journal of Artificial Intelligence Research

    JAIR · 1 publications · 63 citations

    1

    h-index

  4. Journal of Intelligent Information Systems

    1 publications · 126 citations

    1

    h-index

  5. Aberdeen University Research Archive (Aberdeen University)

    Repository · 1 publications · 15 citations

    1

    h-index

1–5