Description Logics | AMiner期刊详情 | AMiner

Description Logics | AMiner期刊详情 | AMiner

年发文量

研究主题

论文（1510）

排序

时间引用

1Tree Description Dependencies.

David Toman,Grant E. Weddell

2026

引用

2DeLTA: A Description Logic-based Annotation Schema for Constructing Expressive OWL DL Axioms from Text.

Ildar Baimuratov

2026

引用

3Finite Characterizations of ℰℒ Ontologies and Concept Inclusions.

Maurice Funk, Simon Hosemann,Carsten Lutz

2026

引用

4Explaining Description Logic Reasoning.

Stefan Borgwardt

2026

引用

5Defeasible Reasoning.

2026

引用

6Modeling Bias in Machine Learning with Description Logics and Epistemic Modalities.

Mattia Petrolo,Ekaterina Kubyshkina

2026

引用

7QBF Reasoning for Concept Satisfiability Via an Optimised Reduction from K.

Momen Hassan,Uli Sattler

2026

引用

8Visualizing HS-Tree-Based Abductive Reasoning: an Educational Tool for Algorithm Exploration.

Michaela Tóthová, Janka Boborová,Júlia Pukancová, Jakub Kloc,Martin Homola

2026

引用

9Computing Interpolants in Description Logics.

Jean Christoph Jung

2026

引用

10Using ASP(Q) to Handle Inconsistent Prioritized Data (extended Abstract).

Meghyn Bienvenu,Camille Bourgaux, Robin Jean, Giuseppe Mazzotta

2026

引用

11LPX-AbPoint: Abduction and Pinpointing for Explaining Link Predictions on DL Knowledge Graphs.

Roberto Barile,Claudia d'Amato,Nicola Fanizzi

2026

引用

12Two-Variable Logic for Hierarchically Partitioned and Ordered Data (extended Abstract).

Oskar Fiuk,Emanuel Kieronski,Vincent Michielini

2026

引用

13Introducing Prism Embeddings: A New Family of Geometric Ontology Embeddings.

Giuseppe Federico,Mena Leemhuis,Oliver Kutz

2026

引用

14Temporal ℰℒ and Equations over Sets of Integers.

Anton R. Gnatenko,Roman Kontchakov

2026

引用

15OxidOWL: Development and Maintenance of OWL DL Reasoners with Coding Agents.

Riccardo Sieve

2026

引用

16Towards Putting Perspective into OWL (extended Abstract).

Lucía Gómez Álvarez,Sebastian Rudolph

2026

引用

17Finding New Boxes for the Diamonds: on the Behavior of Convex Modal Operators for Temporal Description Logics.

Stefan Borgwardt,Alisa Kovtunova

2026

引用

18Deontic Defeasible Description Logic.

Giovanni Casini,Thomas Meyer, Rafael Peñaloza, Leendert van der Torre

2026

引用

19Baby Steps Towards Finite Satisfiability for LoopPDL.

Bartosz Jan Bednarczyk, Mikolaj Swoboda

2026

引用

20Reaching for the Stars in ℰℒ Concept Learning.

Bente Gortworst,Cem Okulmus, Magdalena Ortiz, Anni-Yasmin Turhan

2026

引用

高被引作者

作者	引用	发文
Ian Horrocks	4279	62
Volker Haarslev	3411	49
Ralf Möller	3352	36
Carsten Lutz	2429	64
Diego Calvanese	2316	60
Maurizio Lenzerini	2144	34
Franz Baader	2066	64
Uli Sattler	1623	28
Riccardo Rosati	1550	30
Giuseppe De Giacomo	1410	23

高产作者

作者	引用	发文
Carsten Lutz	2429	64
Franz Baader	2066	64
Ian Horrocks	4279	62
Diego Calvanese	2316	60
Frank Wolter	1349	54
Volker Haarslev	3411	49
Rafael Peñaloza Nyssen	1194	47
Michael Zakharyaschev	838	44
Grant E. Weddell	733	36
Ralf Möller	3352	36

相关期刊

Argument & Computation

Italian Conference on Computational Logic

Alberto Mendelzon Workshop on Foundations of Data Management

International Conference on Inductive Logic Programming

Journées Européennes sur la Logique en Intelligence Artificielle

International Conference on Principles of Knowledge Representation and Reasoning

Logic Programming and Non-Monotonic Reasoning

International Conference on Lightning Protection