Subsumption Reasoning

Subsumption Reasoning is a form of logical inference in Description Logics that determines whether one concept is necessarily included within another based on the semantic relationships defined in a knowledge base.

342

Publications

23.4K

Citations

704

Authors

352

Institutions

Publications per year

2017–2026

30

Authors

704

  1. FB
    Franz Baader

    Technische Universität Dresden, Germany

    10 publications · 1.7K citations

    10

    h-index

  2. PF
    Peter F. Patel‐Schneider

    University of Manchester, United Kingdom

    5 publications · 409 citations

    5

    h-index

  3. ML
    Maurizio Lenzerini

    Sapienza University of Rome, Italy

    4 publications · 320 citations

    4

    h-index

  4. ED
    Eugenio Di Sciascio

    Polytechnic University of Bari, Italy

    4 publications · 283 citations

    4

    h-index

  5. RR
    Riccardo Rosati

    Sapienza University of Rome, Italy

    4 publications · 394 citations

    4

    h-index

1–5 of 704

Venues

  1. IEEE Transactions on Knowledge and Data Engineering

    TKDE · 6 publications · 830 citations

    6

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 6 publications · 626 citations

    6

    h-index

  3. PubMed

    Repository · 5 publications · 585 citations

    5

    h-index

  4. National Conference on Artificial Intelligence

    Conference · 5 publications · 447 citations

    5

    h-index

  5. Publications of the UdS (Saarland University)

    Repository · 5 publications · 347 citations

    5

    h-index

1–5