Szymon Klarman
Person information
- affiliation: Brunel University London, UK
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
- [c16]Antonio Messina, Haikal Pribadi, Jo Stichbury, Michelangelo Bucci, Szymon Klarman, Alfonso Urso:
BioGrakn: A Knowledge Graph-Based Semantic Database for Biomedical Sciences. CISIS 2017: 299-309 - 2016
- [j2]Szymon Klarman, Víctor Gutiérrez-Basulto:
Description logics of context. J. Log. Comput. 26(3): 817-854 (2016) - [e3]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands, August 29, 2016. CEUR Workshop Proceedings 1626, CEUR-WS.org 2016 [contents] - 2015
- [c15]
- [c14]Szymon Klarman, Katarina Britz:
Ontology Learning from Interpretations in Lightweight Description Logics. ILP 2015: 76-90 - [e2]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 27, 2015. CEUR Workshop Proceedings 1423, CEUR-WS.org 2015 [contents] - 2014
- [c13]Szymon Klarman, Thomas Meyer:
Complexity of Temporal Query Abduction in DL-Lite. Description Logics 2014: 233-244 - [c12]Ken Halland, Arina Britz, Szymon Klarman:
TBox Abduction in ALC Using a DL Tableau. Description Logics 2014: 556-566 - [c11]
- [e1]Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzinczak:
Proceedings of the International Workshop on Defeasible and Ampliative Reasoning, DARe@ECAI 2014, co-located with the 21st European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, August 19, 2014. CEUR Workshop Proceedings 1212, CEUR-WS.org 2014 [contents] - 2013
- [c10]Szymon Klarman:
Practical Querying of Temporal Data via OWL 2 QL and SQL: 2011. LPAR (short papers) 2013: 52-61 - [c9]Szymon Klarman, Thomas Meyer:
Prediction and Explanation over DL-Lite Data Streams. LPAR 2013: 536-551 - 2012
- [c8]Víctor Gutiérrez-Basulto, Szymon Klarman:
Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics. RR 2012: 90-105 - [c7]Szymon Klarman, Stefan Schlobach, Luciano Serafini:
Formal Verification of Data Provenance Records. International Semantic Web Conference (1) 2012: 215-230 - 2011
- [j1]Szymon Klarman, Ulle Endriss, Stefan Schlobach:
ABox Abduction in the Description Logic ALC. J. Autom. Reasoning 46(1): 43-80 (2011) - [c6]Szymon Klarman, Víctor Gutiérrez-Basulto:
Two-Dimensional Description Logics for Context-Based Semantic Interoperability. AAAI 2011 - [c5]Szymon Klarman, Víctor Gutiérrez-Basulto:
Two-Dimensional Description Logics of Context. Description Logics 2011 - 2010
- [c4]
2000 – 2009
- 2009
- [c3]Szymon Klarman, Stefan Schlobach:
Relativizing Concept Descriptions to Comparison Classes. Description Logics 2009 - [c2]Szymon Klarman:
Description Logics for Relative Terminologies. ESSLLI Student Sessions 2009: 124-141 - 2008
- [c1]Szymon Klarman, Rinke Hoekstra, Marc Bron:
Versions and Applicability of Concept Definitions in Legal Ontologies. OWLED (Spring) 2008
Coauthor Index
last updated on 2019-01-09 01:42 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint