Concepedia

Abox Reasoning

ABox Reasoning is a type of reasoning task in Description Logics that consists in deriving logical consequences from the assertional knowledge in an ABox, specifically determining concept and role memberships of individuals under an ontology.

73

Publications

3.5K

Citations

132

Authors

63

Institutions

Publications per year

2017–2026

13

Parents

Publications

73

Pellet: An OWL DL Reasoner

Evren Sirin, Bijan Parsia · Research Explorer (The University of Manchester) · 2004 · 384 citations

, , +14

DL-Lite: tractable description logics for ontologies

Diego Calvanese, Giuseppe De Giacomo, Domenico Lemho et al. · National Conference on Artificial Intelligence · 2005 · 347 citations

, , +16

Description of the RACER System and its Applications.

Volker Haarslev, Ralf Möller · 2001 · 286 citations

, , +13

Reasoning with Individuals for the Description Logic SHIQ

Ian Horrocks, Ulrike Sattler, Stephan Tobies · Research Explorer (The University of Manchester) · 2000 · 234 citations

, , +13

Reasoning with Individuals for the Description Logic SHIQ

Ian Horrock, Ulrike Sattler, Stephan Tobies · ArXiv.org · 2000 · 167 citations · Full text

, , +13

1–5 of 73

Authors

132

  1. VH
    Volker Haarslev

    Concordia University, Canada

    12 publications · 710 citations

    11

    h-index

  2. BP
    Bijan Parsia

    University of Manchester, United Kingdom

    7 publications · 573 citations

    7

    h-index

  3. RM
    Ralf Möller

    Universität Hamburg, Germany

    7 publications · 530 citations

    7

    h-index

  4. ES
    Evren Sirin

    University of Maryland, College Park, United States

    5 publications · 464 citations

    5

    h-index

  5. JZ
    Jeff Z. Pan

    University of Aberdeen, United Kingdom

    5 publications · 97 citations

    5

    h-index

1–5 of 132

Institutions

63

  1. University of Manchester

    Manchester, United Kingdom

    7 h-index

    13 publications

    592 citations

  2. University of Bremen

    Bremen, Germany

    4 h-index

    4 publications

    199 citations

  3. Free University of Bozen-Bolzano

    Bolzano, Italy

    4 h-index

    5 publications

    512 citations

  4. Technische Universität Dresden

    Dresden, Germany

    4 h-index

    3 publications

    124 citations

  5. University of Aberdeen

    Aberdeen, United Kingdom

    4 h-index

    8 publications

    150 citations

  6. Guangdong University of Foreign Studies

    Guangzhou, China

    4 h-index

    4 publications

    102 citations

  7. Chinese Academy of Sciences

    Beijing, China

    4 h-index

    6 publications

    153 citations

  8. TU Wien

    Vienna, Austria

    3 h-index

    6 publications

    323 citations

1–8 of 63

Venues

  1. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 6 publications · 135 citations

    6

    h-index

  2. Research Explorer (The University of Manchester)

    Repository · 5 publications · 687 citations

    5

    h-index

  3. Description Logics

    2 publications · 55 citations

    2

    h-index

  4. Journal of Bioresource Management

    JBM · 2 publications · 92 citations

    2

    h-index

  5. Journal of Automated Reasoning

    2 publications · 143 citations

    2

    h-index

1–5