Concepedia

Tbox Reasoning

TBox Reasoning is a form of logical inference in description logics that determines the consistency, subsumption, or equivalence of concept definitions within the terminological box (TBox), distinguishing itself from ABox reasoning by focusing on the hierarchical and definitional relationships between concepts rather than on assertions about individuals.

40

Publications

2.7K

Citations

79

Authors

39

Institutions

Publications per year

2017–2026

3

Variants

Terminological Reasoning

Parents

Publications

40

Non-standard reasoning services for the debugging of description logic terminologies

Stefan Schlobach, Ronald Cornet · Data Archiving and Networked Services (DANS) · 2003 · 423 citations

, , +15

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 40

Authors

79

  1. VH
    Volker Haarslev

    Concordia University, Canada

    9 publications · 490 citations

    9

    h-index

  2. JZ
    Jeff Z. Pan

    University of Aberdeen, United Kingdom

    4 publications · 186 citations

    4

    h-index

  3. CL
    Carsten Lutz

    University of Bremen, Germany

    3 publications · 223 citations

    3

    h-index

  4. YZ
    Yuting Zhao

    University of Aberdeen, United Kingdom

    3 publications · 103 citations

    3

    h-index

  5. RM
    Ralf Möller

    Universität Hamburg, Germany

    3 publications · 333 citations

    3

    h-index

1–5 of 79

Institutions

39

  1. Free University of Bozen-Bolzano

    Bolzano, Italy

    4 h-index

    7 publications

    433 citations

  2. University of Aberdeen

    Aberdeen, United Kingdom

    3 h-index

    6 publications

    336 citations

  3. Technische Universität Dresden

    Dresden, Germany

    3 h-index

    5 publications

    358 citations

  4. Guangdong University of Foreign Studies

    Guangzhou, China

    2 h-index

    2 publications

    46 citations

  5. Concordia University

    Montreal, Canada

    2 h-index

    3 publications

    124 citations

  6. University of Bremen

    Bremen, Germany

    2 h-index

    2 publications

    100 citations

  7. University of Manchester

    Manchester, United Kingdom

    2 h-index

    2 publications

    251 citations

  8. University of Oxford

    Oxford, United Kingdom

    2 h-index

    2 publications

    36 citations

1–8 of 39

Venues

  1. Proceedings of the AAAI Conference on Artificial Intelligence

    Conference · 3 publications · 119 citations

    3

    h-index

  2. Research Explorer (The University of Manchester)

    Repository · 2 publications · 244 citations

    2

    h-index

  3. Description Logics

    2 publications · 21 citations

    2

    h-index

  4. BIROn (Birkbeck, University of London)

    Repository · 1 publications · 12 citations

    1

    h-index

  5. Explanation-aware Computing

    Conference · 1 publications · 10 citations

    1

    h-index

1–5