See also my profile on Google Scholar and DBLP.

Publications:

2017

  • Antonio Messina, Haikal Pribadi, Jo Stichbury, Michelangelo Bucci, Szymon Klarman and Alfonso Urso. BioGrakn: A Knowledge Graph-based Semantic Database for Biomedical Sciences. In Proceedings of the 11-the International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-17), 2017[bib; doi]

2016

  • Szymon Klarman and Víctor Gutiérrez-Basulto. Description Logics of Context. In Journal of Logic and Computation, 26(3), pp. 817-854, 2016[pdfdoi; bib]

2015

  • Szymon Klarman and Katarina Britz. Ontology Learning from Interpretations in Lightweight Description Logics. In Proceedings of the 25th International Conference on Inductive Logic Programming (ILP-15), 2015. [pdfbib]

  • Szymon Klarman and Katarina Britz. Towards Unsupervised Ontology Learning from Data (with appendix). In Proceedings of the 2nd International Workshop on Defeasible and Ampliative Reasoning (DARe-15), 2015. [pdfbib]

2014

  • Szymon Klarman and Thomas Meyer. Querying Temporal Databases via OWL 2 QL (with appendix). In Proceedings of the 8th International Conference on Web Reasoning and Rule Systems (RR-14), 2014. [pdfbib]

  • Szymon Klarman and Thomas Meyer. Complexity of Temporal Query Abduction in DL-Lite (with appendix). In Proceedings of the 27th International Workshop on Description Logics (DL-14), 2014. [pdfbib

  • Ken Halland, Katarina Britz and Szymon Klarman. TBox Abduction in ALC Using a DL Tableau. In Proceedings of the 27th International Workshop on Description Logics (DL-14), 2014. [pdfbib

2013

  • Szymon Klarman and Thomas Meyer. Prediction and Explanation over DL-Lite Data Streams
    (with appendix). In Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), 2013. [pdf; bib]

  • Szymon Klarman. Practical Querying of Temporal Data via OWL 2 QL and SQL:2011
    (short paper). In Proceedings of the 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19), 2013. [pdfbib]

2012

  • Szymon Klarman, Stefan Schlobach and Luciano Serafini. Formal Verification of Data Provenance Records. In Proceedings of the 11th International Semantic Web Conference (ISWC-12), 2012. [pdf; bib; video]
  • Víctor Gutiérrez-Basulto and Szymon Klarman. Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics. In Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR-12), 2012. [pdf; bib]

2011

  • Szymon Klarman and Víctor Gutiérrez-Basulto. Two-Dimensional Description Logics of Context. In Proceedings of the 24th International Workshop on Description Logics (DL-11), 2011. [pdf; bib] (Best Student Paper)

  • Szymon Klarman and Víctor Gutiérrez-Basulto. Two-Dimensional Description Logics for Context-Based Semantic Interoperability (with appendix). In Proceedings of the 25th Conference on Artificial Intelligence (AAAI-11), 2011. [pdf; bib]

  • Szymon Klarman, Ulle Endriss and Stefan Schlobach. ABox Abduction in the Description Logic ALC. In Journal of Automated Reasoning, 46(1), pp. 43-80, 2011. [pdf; doi; bib]

2010

  • Szymon Klarman and Víctor Gutiérrez-Basulto. ALC_ALC: a Context Description Logic (with appendix). In Proceedings of the 12th European Conference on Logics in Artificial Intelligence (JELIA-10), 2010. [pdf; doi; bib]

  • Szymon Klarman. Description Logics for Relative Terminologies. In Interfaces: Explorations in Logic, Language and Computation. ESSLLI 2008 and ESSLLI 2009 Student Sessions. Selected Papers, LNAI 6211 Springer, 2010. [pdf; doi; bib]

2009

  • Szymon Klarman and Stefan Schlobach. Relativizing Concept Descriptions to Comparison Classes in ALC (with appendix). In Proceedings of the 22nd International Workshop on Description Logics (DL-09), 2009. [pdf]

  • Szymon Klarman. Description Logics for Relative Terminologies or Why the Biggest City Is Not a Big Thing. In Proceedings of the ESSLLI 2009 Student Session, 2009. [pdf]

2008

  • Szymon Klarman. Judgment Aggregation as Maximization of Epistemic and Social Utility. In Proceedings of the 2nd International Workshop on Computational Social Choice (COMSOC-08), 2008. [pdf; bib]

  • Szymon Klarman, Rinke Hoekstra and Marc Bron. Versions and Applicability of Concept Definitions in Legal Ontologies. In Proceedings of the 4th International Workshop OWL: Experiences and Directions 2008 (OWLED-08 DC), 2008. [pdf; bib]

2007

  • Szymon Klarman and Marc Bron. Representing Definitional Changes in Legal Ontologies. In Proceedings of the Workshop on Multimedia Ontologies and Artificial Intelligence Techniques in Law 2007 (MOAIL-07), 2007. [pdf]
Theses:
  • Szymon Klarman.  ABox Abduction in Description Logic. Master's thesis (supervisor: Ulle Endriss), ILLC MoL Series, University of Amsterdam, 2008. [pdf]
  • Szymon Klarman.  Inductive Logic in the Framework of Decision Theory. Master's thesis (supervisor: Grzegorz Malinowski), University of Lodz, 2005. [pdf in Polish]
 Edited:
  • Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzinczak, editors. 
    Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16), 2016. [CEUR proceedings]

  • Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzinczak, editors. 
    Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-15), 2015. [CEUR proceedings]

  • Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzinczak, editors. Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-14), 2014. [CEUR proceedings]

  • Katrina Britz, Diego Calvanese, C. Maria Keet, Szymon Klarman, editors. Proceedings of the First International Workshop on Logics and Reasoning for Conceptual Modeling (LRCM-13), 2013.

  • Szymon Klarman and Rinke Hoekstra, editors. Summary of Specification of the Legal Knowledge Interchange Format (Deliverable 1.1). Technical report, ESTRELLA, 2008. [pdf]
 Other:
  • Modelling Data with Hypergraphs. Blog post, Grakn Labs, 2017. [blog, blog]

  • Knowledge Graph Representation: GRAKN.AI or OWL? Blog post, Grakn Labs, 2017. [blog]

  • SKOS: Building Taxonomies with Minimum Ontological Commitment. Talk, Semantic Web London Meetup, 2017. [slides]

  • Knowledge Assembly at Scale with Semantic and Probabilistic Techniques. Talk, Connected Data London Conference, 2016. [slides, video]

  • What Makes a Linked Data Pattern Interesting? Talk, Connected Data London Meetup, 2016. [slides]

  • PANDA Framework. Linked Data Server, Brunel University London, 2016. [link]

  • Ross King, Szymon Klarman, Larisa Soldatova and Robert Stevens. Probabilistic Annotation Framework: Knowledge Assembly at Scale with Semantic and Probabilistic Techniques. Abstract, UK Ontology Network (UKON-16), 2016. [pdf]

  • DBpedia Movie Recommender. Web App, 2016. [appblog]

  • Szymon Klarman, Stefan Schlobach and Luciano Serafini. Formal Verification of Data Provenance Records - Video Abstract. In Video Journal of Semantic Data Management, Vol.1, 2012. [video]

  • Paul Groth, Szymon Klarman, Stefan Schlobach and Jacco van Ossenbruggen. Metadata-Driven Selection and Integration of Object-Level Knowledge. Technical report. VU University Amsterdam, 2011. [pdf]
  • Joost Breuker, Saskia van de Ven, Abdallah El Ali, Marc Bron, Szymon Klarman, Uros Milosevic, Lars Wortel and Andras Forhecz. Developing HARNESS. Deliverable 4.6/3b. Technical report, ESTRELLA, 2008.
  • Joost Breuker, Patries Kordelaar, Abdallah El Ali, Marc Bron, Szymon Klarman, Pablo Cubides Kovacsics, Saskia van de Ven, Tom van Engers, Ulrike Liss and Sean Reardon. Comparing Models of EU Directive 90/434/eec. Deliverable 2.5. Technical report, ESTRELLA, 2008.
  • Marc Bron, Abdallah El Ali, Xingrui Ji, Szymon Klarman. Modeling Nomic in LKIF-core Ontology. Technical report, ESTRELLA, 2007. [pdf; presentation pdf; OWL ontologies rar]
  • Philosophical and Methodological Aspects of Eliminative Induction. Talk, Philosophers’ Rally ’06, 2006. [ppt in Polish]

 Teaching:

 Introduction to Description Logics (VU University Amsterdam, 2009-2012):

  • Lecture slides [I, II, III]
  • Exercise sheets [I, II, III]
  • Final assignment [I, II]