| ABox Abduction in the Description Logic ALC S Klarman, U Endriss, S Schlobach Journal of Automated Reasoning 46 (1), 43-80, 2011 | 99 | 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 | 39 | 2012 |
| TBox abduction in ALC using a DL tableau K Halland, K Britz, S Klarman | 30 | 2014 |
| Description logics of context S Klarman, V Gutiérrez-Basulto Journal of Logic and Computation 26 (3), 817-854, 2013 | 28 | 2013 |
| Querying temporal databases via OWL 2 QL S Klarman, T Meyer International Conference on Web Reasoning and Rule Systems, 92-107, 2014 | 26 | 2014 |
| 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), 2011 | 26 | 2011 |
| ALC_ALC: A Context Description Logic S Klarman, V Gutiérrez-Basulto Proceedings of the 12th European Conference on Logics in Artificial …, 2010 | 25* | 2010 |
| Reasoning with Contexts in Description Logics S Klarman PhD thesis, Vrije Universiteit, 2013 | 20 | 2013 |
| Versions and Applicability of Concept Definitions in Legal Ontologies. S Klarman, R Hoekstra, M Bron OWLED (Spring), 2008 | 17 | 2008 |
| BioGrakn: A knowledge graph-based semantic database for biomedical sciences A Messina, H Pribadi, J Stichbury, M Bucci, S Klarman, A Urso Conference on Complex, Intelligent, and Software Intensive Systems, 299-309, 2017 | 11 | 2017 |
| Prediction and Explanation over DL-Lite Data Streams S Klarman, T Meyer International Conference on Logic for Programming, Artificial Intelligence …, 2013 | 8 | 2013 |
| Two-Dimensional Description Logics of Context S Klarman, V Gutiérrez-Basulto Internetional Workshop on Description Logics (DL2011), 2011 | 8 | 2011 |
| Ontology learning from interpretations in lightweight description logics S Klarman, K Britz International Conference on Inductive Logic Programming, 76-90, 2015 | 6 | 2015 |
| Practical Querying of Temporal Data via OWL 2 QL and SQL:2011 S Klarman The 19th International Conference on Logic for Programming, Artificial …, 2013 | 6 | 2013 |
| Developing harness J Breuker, S van de Ven, A El Ali, M Bron, S Klarman, U Milosevic, ... ESTRELLA Deliverable 4, 2008 | 5 | 2008 |
| Developing HARNESS. Estrella deliverable 4.6, University of Amsterdam J Breuker, S van der Ven, A El Ali, M Bron, R Hoekstra, S Klarman, ... | 4 | 2008 |
| Complexity of Temporal Query Abduction in DL-Lite. S Klarman, T Meyer Description Logics, 233-244, 2014 | 3 | 2014 |
| Description logics for relative terminologies S Klarman Interfaces: Explorations in Logic, Language and Computation, 124-141, 2008 | 3 | 2008 |
| Towards unsupervised ontology learning from data S Klarman, K Britz CEUR-WS, 2015 | 2 | 2015 |
| Formal Verification of Data Provenance Records S Klarman, S Schlobach, L Serafini International Semantic Web Conference, 2012 | 2 | 2012 |
Víctor Gutiérrez BasultoLecturer at Cardiff UniversityVerified email at cardiff.ac.uk
