Description Logic

Ask about this topic

Momentum

0 papers in the last four weeks, against 1 the four weeks before. 0.0% of all new papers.

Jul 13Week of Sep 28
View on map

Latest papers 12

All topics
CardsList

  1. Moose: Latent concept learning with reasoning-shortcut awareness in EL++\mathcal{EL}^{++}

    Aug 13, 2026Olga Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho +1Neurosymbolic LearningDescription Logic

    Computer Science Program, Computer, Electrical, and Mathematical Sciences & Engineering Division, King Abdullah University of Science and Technology, Thuwal 23955, Saudi Arabia

  2. A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL

    Aug 5, 2026David Carral, Calixte Gruson, Quentin ManièreQuery ReformulationKnowledge Representation

    LIRMM, Inria, University of Montpellier, CNRS, Montpellier, France · DI ENS, ENS, CNRS, PSL University & Inria, France

  3. A New Well-Supported Semantics for Description Logic Programs

    Jul 23, 2026Spencer Killen, Jia-Huai YouLogic ProgrammingAnswer Set Programming

    University of Alberta Alberta, Canada

  4. Tractable Query Answering under Epistemic Confidentiality Policies in DL Ontologies (extended version)

    Jul 18, 2026Lorenzo Marconi, Daniela Rieti, Riccardo RosatiDescription Logic

    Sapienza University of Rome, Italy

  5. Tractable Reasoning and Conjunctive Query Answering for Defeasible DL-Lite under Rational Closure

    Jun 23, 2026Giovanni Casini, Umberto StracciaLogical ReasoningDescription Logic

    CNR - ISTI · University of Cape Town · Istituto di Scienza e Tecnologie dell’Informazione, CNR - ISTI, Pisa, Italy +1

  6. A Horn extension of DL-Lite with NL data complexity

    May 13, 2026Janos Arpasi, Bartosz Jan Bednarczyk, Magdalena OrtizLogical ReasoningDescription Logic

    Institute of Logic and Computation, TU Wien · Computer Science Department, University of Wrocław

  7. Rethinking Explanations: Formalizing Contrast in Description Logics

    May 2, 2026Yasir Mahmood, Arnab Sharma, Axel-Cyrille Ngonga Ngomo +1Logical ReasoningExplainable Artificial Intelligence

    Data Science Group, Heinz Nixdorf Institute, Paderborn University Germany

  8. ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics

    May 2, 2026Anselm Haak, Patrick Koopmann, Yasir Mahmood +1Logical ReasoningAbductive Reasoning

    Knowledge Representation Group, Paderborn University, Germany · Knowledge in Artificial Intelligence, Vrije Universiteit Amsterdam, The Netherlands · Data Science Group, Paderborn University, Germany

  9. Fitting Horn DL Ontologies to ABox and Query Examples: A Tale of Simulation Quantifiers and Finite Models

    Apr 28, 2026Marvin Grosser, Carsten LutzLogical ReasoningDescription Logic

    Leipzig University · ScaDS.AI Center Dresden/Leipzig

  10. BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization

    Apr 27, 2026Bruno F. Lourenço, Hesham Morgan, Ana Ozaki +2Logical ReasoningKG Embedding

    The Institute of Statistical Mathematics, Japan · TU Wien, Austria · University of Oslo, Norway +1

  11. TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics

    Apr 23, 2026Takao InouéLogical ReasoningDescription Logic

  12. Querying and Repairing Inconsistent Prioritized Knowledge Bases: Complexity Analysis and Links with Abstract Argumentation

    Mar 12, 2020Meghyn Bienvenu, Camille BourgauxLogical ReasoningComputational Argumentation

    CNRS & University of Bordeaux, France · DI ENS, ENS, CNRS, PSL University & Inria, Paris, France