ACADEMIC WORK
about academic work proving ground  

Publications

See also my profile on Google Scholar and DBLP.


2017

[MesEtAlCISIS17]
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-th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS-17), 2017. [pdf; bib; rdf2vis; ccs]

2016

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

2015

[KlaBriILP15]
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. [pdf; bib; rdf2vis; ccs]

[KlaBriDARe15]
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. [pdf; bib; rdf2vis; ccs]

2014

[KlaMeyRR14]
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. [pdf; bib; rdf2vis; ccs]

[KlaMeyDL14]
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. [pdf; bib; rdf2vis; ccs]

[HalBriKlaDL14]
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. [pdf; bib; rdf2vis; ccs]

2013

[KlaMeyLPAR13]
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; rdf2vis; ccs]

[KlaLPAR13]
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. [pdf; bib; rdf2vis; ccs]

2012

[KlaEtAlISWC12]
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; rdf2vis; ccs]

[GutKlaRR12]
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; rdf2vis; ccs]

2011

[KlaGutDL11]
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; rdf2vis; ccs] (Best Student Paper)

[KlaGutAAAI11]
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; rdf2vis; ccs]

[KlaEtAlJAR11]
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; rdf2vis; ccs]

2010

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

[KlaFOLLI10]
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; rdf2vis; ccs]

2009

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

[KlaESSLLI09]
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

[KlaCOMSOC08]
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]

[KlaEtAlOWLED08]
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 (OWLED-08 DC), 2008. [pdf; bib; rdf2vis; ccs]

2007

[KlaBronMOAIL07]
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

[KlarmanPhD13]
Szymon Klarman. Reasoning with Contexts in Description Logics. Ph.D. dissertation (supervisors: Frank van Harmelen and Stefan Schlobach), VU University Amsterdam, 2013. [pdf; bib; cover]

[KlarmanMSc08]
Szymon Klarman. ABox Abduction in Description Logic. Master's thesis (supervisor: Ulle Endriss), ILLC MoL Series, University of Amsterdam, 2008. [pdf]

[KlarmanMA05]
Szymon Klarman. Inductive Logic in the Framework of Decision Theory. Master's thesis (supervisor: Grzegorz Malinowski), University of Lodz, 2005. [pdf]

Edited volumes

  • Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard and Ivan José Varzinczak, guest editors. Special Issue of the International Journal of Approximate Reasoning on Defeasible and Ampliative Reasoning, 2018. [to appear]

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

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

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

  • Katrina Britz, Diego Calvanese, C. Maria Keet and 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

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

  • 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]

  • Szymon Klarman. DIY: DBpedia Movie Recommender – an exercise in linked open data engineering. Blog post, 2016. [post]

  • 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; slides; OWL ontologies rar]

  • Szymon Klarman. Philosophical and Methodological Aspects of Eliminative Induction. Talk, Philosophers’ Rally, 2006. [slides]

Organization

  • International Workshop on Defeasible and Ampliative Reasoning (DARe) 2014-2016.

  • Workshop on Logics and Reasoning for Conceptual Models (LRCM) 2013.

  • European Summer School in Logic, Language & Information (ESSLLI) 2010 (Student Session: co-chair of Logic & Computation track).

Program Committees

  • Extended Semantic Web Conference (ESWC) 2015, 2016.

  • AAAI Conference on Artificial Intelligence (AAAI) 2015.

  • International Conference on Web Reasoning and Rule Systems – Doctoral Consortium (RR) 2016.

  • Workshop on Logics and Reasoning for Conceptual Models (LRCM) 2016.

  • Workshop on Artificial Intelligence and the Complexity of Legal Systems (AICOL) 2015.

  • Workshop on Language and Semantic Technology for Legal Domain (LST4LD) 2015.

  • Workshop on Belief Change and Non-Monotonic Reasoning in Ontologies and Databases (ONTOCHANGE) 2015.

  • International Workshop on Modular Ontologies (WoMO) 2014.

  • International Workshop on Acquisition, Representation and Reasoning with Contextualized Knowledge (ARCOE) 2012-2014.

  • OWL: Experiences and Directions (OWLED) 2009.

Reviewing

  • International Journal of Semantic Computing, Journal of Web Semantics, Semantic Web Journal, Journal of Automated Reasoning, Journal of Artificial Intelligence Research.

  • AAAI Conference on Artificial Intelligence (AAAI), International Joint Conference on Artificial Intelligence (IJCAI), International Semantic Web Conference (ISWC), Extended Semantic Web Conference (ESWC), International Conference on Principles of Knowledge Representation and Reasoning (KR), European Conference on Artificial Intelligence (ECAI), Australasian Joint Conference on Artificial Intelligence (AI), International Conference on Web Reasoning and Rule Systems (RR), International Conference on Scalable Uncertainty Management (SUM), European Conference on Logics in Artificial Intelligence (JELIA), The Pacific Rim International Conference on Artificial Intelligence (PRICAI), German Conference on Artificial Intelligence (KI).

  • International Workshop on Description Logics (DL), International Symposium on Logical Formalization of Commonsense Reasoning (COMMONSENSE), International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Federated Conference on Computer Science and Information systems (FedCSIS).

Teaching

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

    • Lecture slides (I, II, III)
    • Exercise sheets (I, II, III)
    • Final assignment (I, II)

  • Philosophy for children (University of Lodz, teaching internship, 2004). [background]

Supervising

  • Ruben Weber. Approximations of Connection Tableaux for the Description Logic ALC. VU University Amsterdam, 2011. Master’s thesis (M.Sc. AI). Main advisor: Dr Stefan Schlobach.

  • Jeroen de Man. Approximating Restrictions for Ontology Classification. VU University Amsterdam, 2011. Minimaster’s project (M.Sc. AI). Main advisor: Dr Annette ten Teije.