| ABox Abduction in the Description Logic ALC S Klarman, U Endriss, S Schlobach Journal of Automated Reasoning 46 (1), 43-80, 2011 | 118 | 2011 |
| Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics V Gutiérrez-Basulto, S Klarman Proceedings of Web Reasoning and Rule Systems (RR 2012), 2012 | 47 | 2012 |
| TBox abduction in ALC using a DL tableau K Halland, K Britz, S Klarman | 43 | 2014 |
| Description logics of context S Klarman, V Gutiérrez-Basulto Journal of Logic and Computation 26 (3), 817-854, 2013 | 37 | 2013 |
| BioGrakn: a knowledge graph-based semantic database for biomedical sciences A Messina, H Pribadi, J Stichbury, M Bucci, S Klarman, A Urso Complex, Intelligent, and Software Intensive Systems: Proceedings of the …, 2018 | 35 | 2018 |
| Two-dimensional description logics for context-based semantic interoperability S Klarman, V Gutiérrez-Basulto Proceedings of the AAAI Conference on Artificial Intelligence 25 (1), 215-220, 2011 | 30 | 2011 |
| Querying temporal databases via OWL 2 QL S Klarman, T Meyer International Conference on Web Reasoning and Rule Systems, 92-107, 2014 | 28 | 2014 |
| ALC_ALC: A Context Description Logic S Klarman, V Gutiérrez-Basulto Proceedings of the 12th European Conference on Logics in Artificial …, 2010 | 26* | 2010 |
| Reasoning with Contexts in Description Logics S Klarman PhD thesis, Vrije Universiteit, 2013 | 25 | 2013 |
| A knowledge organization system for the united nations sustainable development goals A Joshi, LG Morales, S Klarman, A Stellato, A Helton, S Lovell, A Haczek The Semantic Web: 18th International Conference, ESWC 2021, Virtual Event …, 2021 | 20 | 2021 |
| Versions and Applicability of Concept Definitions in Legal Ontologies. S Klarman, R Hoekstra, M Bron OWLED (Spring), 2008 | 18 | 2008 |
| Two-Dimensional Description Logics of Context S Klarman, V Gutiérrez-Basulto Internetional Workshop on Description Logics (DL2011), 2011 | 9 | 2011 |
| Ontology learning from interpretations in lightweight description logics S Klarman, K Britz International Conference on Inductive Logic Programming, 76-90, 2015 | 8 | 2015 |
| Prediction and Explanation over DL-Lite Data Streams S Klarman, T Meyer International Conference on Logic for Programming, Artificial Intelligence …, 2013 | 8 | 2013 |
| Practical Querying of Temporal Data via OWL 2 QL and SQL:2011 S Klarman The 19th International Conference on Logic for Programming, Artificial …, 2013 | 7 | 2013 |
| Developing HARNESS. Estrella deliverable 4.6, University of Amsterdam J Breuker, S van der Ven, A El Ali, M Bron, R Hoekstra, S Klarman, ... | 6 | 2008 |
| Towards unsupervised ontology learning from data S Klarman, K Britz CEUR-WS, 2015 | 4 | 2015 |
| Developing harness J Breuker, S van de Ven, A El Ali, M Bron, S Klarman, U Milosevic, ... ESTRELLA Deliverable 4, 2008 | 4 | 2008 |
| Complexity of Temporal Query Abduction in DL-Lite. S Klarman, T Meyer Description Logics, 233-244, 2014 | 3 | 2014 |
| Formal Verification of Data Provenance Records S Klarman, S Schlobach, L Serafini International Semantic Web Conference, 2012 | 3 | 2012 |
Víctor Gutiérrez BasultoCardiff University在 cardiff.ac.uk 的电子邮件经过验证
