Axioms

An Axiom in Description Logics is a logical statement within a knowledge base that defines or constrains the relationships between concepts and roles, serving as a foundational element for reasoning and inference.

2K

Publications

136.6K

Citations

3.1K

Authors

1.3K

Institutions

Publications per year

2017–2026

336

Authors

3.1K

  1. FB
    Franz Baader

    Technische Universität Dresden, Germany

    11 publications · 1.4K citations

    11

    h-index

  2. MH
    Michael Harris Bond

    Chinese University of Hong Kong, Hong Kong SAR China

    10 publications · 1.8K citations

    10

    h-index

  3. NP
    Nam P. Suh

    Massachusetts Institute of Technology, United States

    9 publications · 739 citations

    9

    h-index

  4. JM
    José Meseguer

    University of Illinois Urbana-Champaign, United States

    9 publications · 366 citations

    9

    h-index

  5. RP
    Rafael Peñaloza

    Technische Universität Dresden, Germany

    8 publications · 374 citations

    8

    h-index

1–5 of 3.1K

Venues

  1. Journal of Symbolic Logic

    92 publications · 5.3K citations

    36

    h-index

  2. Transactions of the American Mathematical Society

    TRAN · 30 publications · 1.8K citations

    22

    h-index

  3. Econometrica

    23 publications · 6.5K citations

    19

    h-index

  4. arXiv (Cornell University)

    Repository · 39 publications · 3.9K citations

    18

    h-index

  5. SSRN Electronic Journal

    Repository · 29 publications · 813 citations

    18

    h-index

1–5