Description Logics

On Conjunctive Query Answering in EL.

Riccardo Rosati · 2007 · 121 citations

Computing, Computer Science, Algorithms +10

FaCT and iFaCT.

Ian Horrocks · 1999 · 109 citations

Computing, Computer Science, Formal Methods +9

Towards expressive KR systems integrating datalog and description logics: preliminary report.

Riccardo Rosati · 1999 · 55 citations

Computing, Computer Science, Formal Methods +11

Concept Abduction and Contraction in Description Logics.

Simona Colucci, Tommaso Di Noia, Eugenio Di Sciascio et al. · 2003 · 52 citations

Computing, Computer Science, Knowledge Representation +11

Efficient Reasoning in EL

Franz Baader, Carsten Lutz, Boontawee Suntisrivaraporn · 2006 · 51 citations

Computing, Computer Science, Artificial Intelligence +3