Szymon Klarman

According to our database, Szymon Klarman authored at least 20 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2021

A Knowledge Organization System for the United Nations Sustainable Development Goals.

Amit Joshi, Luis Gonzalez Morales, Szymon Klarman, Armando Stellato, Aaron Helton, Sean Lovell, Artur Haczek

Proceedings of the Semantic Web - 18th International Conference, 2021

2019

Editorial: Defeasible and Ampliative Reasoning.

Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan Varzinczak

Int. J. Approx. Reason., 2019

2017

BioGrakn: A Knowledge Graph-Based Semantic Database for Biomedical Sciences.

Antonio Messina, Haikal Pribadi, Jo Stichbury, Michelangelo Bucci, Szymon Klarman, Alfonso Urso

Proceedings of the Complex, Intelligent, and Software Intensive Systems, 2017

2016

Description logics of context.

Szymon Klarman, Víctor Gutiérrez-Basulto

J. Log. Comput., 2016

2015

Ontology Learning from Interpretations in Lightweight Description Logics.

Szymon Klarman, Katarina Britz

Proceedings of the Inductive Logic Programming - 25th International Conference, 2015

Towards Unsupervised Ontology Learning from Data.

Szymon Klarman, Katarina Britz

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, 2015

2014

Querying Temporal Databases via OWL 2 QL.

Szymon Klarman, Thomas Meyer

Proceedings of the Web Reasoning and Rule Systems - 8th International Conference, 2014

Complexity of Temporal Query Abduction in DL-Lite.

Szymon Klarman, Thomas Meyer

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

TBox Abduction in ALC Using a DL Tableau.

Ken Halland, Arina Britz, Szymon Klarman

Proceedings of the Informal Proceedings of the 27th International Workshop on Description Logics, 2014

2013

Prediction and Explanation over DL-Lite Data Streams.

Szymon Klarman, Thomas Meyer

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Practical Querying of Temporal Data via OWL 2 QL and SQL: 2011.

Szymon Klarman

Proceedings of the LPAR 2013, 2013

2012

Formal Verification of Data Provenance Records.

Szymon Klarman, Stefan Schlobach, Luciano Serafini

Proceedings of the Semantic Web - ISWC 2012, 2012

Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics.

Víctor Gutiérrez-Basulto, Szymon Klarman

Proceedings of the Web Reasoning and Rule Systems - 6th International Conference, 2012

2011

ABox Abduction in the Description Logic <i>ALC</i>.

Szymon Klarman, Ulle Endriss, Stefan Schlobach

J. Autom. Reason., 2011

Two-Dimensional Description Logics of Context.

Szymon Klarman, Víctor Gutiérrez-Basulto

Proceedings of the 24th International Workshop on Description Logics (DL 2011), 2011

Two-Dimensional Description Logics for Context-Based Semantic Interoperability.

Szymon Klarman, Víctor Gutiérrez-Basulto

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

2010

<i>ALC</i>_<i>ALC</i>: A Context Description Logic.

Szymon Klarman, Víctor Gutiérrez-Basulto

Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

2009

Description Logics for Relative Terminologies.

Szymon Klarman

Proceedings of the Interfaces: Explorations in Logic, Language and Computation, 2009

Relativizing Concept Descriptions to Comparison Classes.

Szymon Klarman, Stefan Schlobach

Proceedings of the 22nd International Workshop on Description Logics (DL 2009), 2009

2008

Versions and Applicability of Concept Definitions in Legal Ontologies.

Szymon Klarman, Rinke Hoekstra, Marc Bron

Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, 2008