Reasoning in description logics FM Donini, M Lenzerini, D Nardi, A Schaerf Principles of knowledge representation 1, 191-236, 1996 | 570 | 1996 |
The complexity of concept languages FM Donini, M Lenzerini, D Nardi, W Nutt Information and Computation 134 (1), 1-58, 1997 | 549 | 1997 |
AL-log: Integrating Datalog and Description Logics FM Donini, M Lenzerini, D Nardi, A Schaerf Journal of Intelligent Information Systems 10, 227-252, 1998 | 409 | 1998 |
Decidable reasoning in terminological knowledge representation systems M Buchheit, FM Donini, A Schaerf Journal of artificial intelligence research 1, 109-138, 1993 | 398 | 1993 |
A survey on knowledge compilation M Cadoli, FM Donini AI Communications 10 (3-4), 137-150, 1997 | 318 | 1997 |
Description logics of minimal knowledge and negation as failure FM Donini, D Nardi, R Rosati ACM Transactions on Computational Logic (ToCL) 3 (2), 177-225, 2002 | 299 | 2002 |
A system for principled matchmaking in an electronic marketplace T Di Noia, E Di Sciascio, FM Donini, M Mongiello Proceedings of the 12th international conference on World Wide Web, 321-330, 2003 | 259 | 2003 |
EXPTIME tableaux for ALC FM Donini, F Massacci Artificial Intelligence 124 (1), 87-138, 2000 | 213 | 2000 |
An epistemic operator for description logics FM Donini, M Lenzerini, D Nardi, W Nutt, A Schaerf Artificial Intelligence 100 (1-2), 225-274, 1998 | 202 | 1998 |
Tractable Concept Languages. FM Donini, M Lenzerini, D Nardi, W Nutt IJCAI 91, 458-463, 1991 | 193 | 1991 |
Concept abduction and contraction for semantic-based discovery of matches and negotiation spaces in an e-marketplace S Colucci, TD Noia, ED Sciascio, M Mongiello, FM Donini Proceedings of the 6th international conference on Electronic commerce, 41-50, 2004 | 170 | 2004 |
Deduction in concept languages: From subsumption to instance checking FM Donini, M Lenzerini, D Nardi, A Schaerf Journal of logic and computation 4 (4), 423-452, 1994 | 170 | 1994 |
The complexity of existential quantification in concept languages FM Donini, M Lenzerini, D Nardi, B Hollunder, W Nutt, AM Spaccamela Artificial Intelligence 53 (2-3), 309-327, 1992 | 168 | 1992 |
Semantic matchmaking as non-monotonic reasoning: A description logic approach T Di Noia, E Di Sciascio, FM Donini Journal of Artificial Intelligence Research 29, 269-307, 2007 | 159 | 2007 |
Adding Epistemic Operators to Concept Languages. FM Donini, M Lenzerini, D Nardi, A Schaerf, W Nutt KR 92, 342-353, 1992 | 146 | 1992 |
A formal approach to ontology-based semantic match of skills descriptions. S Colucci, T Di Noia, E Di Sciascio, FM Donini, M Mongiello, M Mottola J. Univers. Comput. Sci. 9 (12), 1437-1454, 2003 | 141 | 2003 |
Complexity of reasoning FM Donini The description logic handbook: theory, implementation, and applications, 96-136, 2003 | 137 | 2003 |
Elliot: A comprehensive and rigorous framework for reproducible recommender systems evaluation VW Anelli, A Bellogín, A Ferrara, D Malitesta, FA Merra, C Pomo, ... Proceedings of the 44th international ACM SIGIR conference on research and …, 2021 | 113 | 2021 |
Abductive matchmaking using description logics T Di Noia, E Di Sciascio, FM Donini, M Mongiello IJCAI 3, 337-342, 2003 | 112 | 2003 |
A logic-based approach for matching user profiles A Calì, D Calvanese, S Colucci, T Di Noia, FM Donini Knowledge-Based Intelligent Information and Engineering Systems: 8th …, 2004 | 102 | 2004 |