Suivre
Szymon Klarman
Szymon Klarman
R&D Knowledge Architect
Adresse e-mail validée de klarman.me - Page d'accueil
Titre
Citée par
Citée par
Année
ABox Abduction in the Description Logic ALC
S Klarman, U Endriss, S Schlobach
Journal of Automated Reasoning 46 (1), 43-80, 2011
1112011
TBox abduction in ALC using a DL tableau
K Halland, K Britz, S Klarman
452014
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
452012
Description logics of context
S Klarman, V Gutiérrez-Basulto
Journal of Logic and Computation 26 (3), 817-854, 2013
322013
Two-dimensional description logics for context-based semantic interoperability
S Klarman, V Gutiérrez-Basulto
Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
292011
Querying temporal databases via OWL 2 QL
S Klarman, T Meyer
International Conference on Web Reasoning and Rule Systems, 92-107, 2014
282014
ALC_ALC: A Context Description Logic
S Klarman, V Gutiérrez-Basulto
Proceedings of the 12th European Conference on Logics in Artificial …, 2010
26*2010
Reasoning with Contexts in Description Logics
S Klarman
PhD thesis, Vrije Universiteit, 2013
232013
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
222017
Versions and Applicability of Concept Definitions in Legal Ontologies.
S Klarman, R Hoekstra, M Bron
OWLED (Spring), 2008
172008
Two-Dimensional Description Logics of Context
S Klarman, V Gutiérrez-Basulto
Internetional Workshop on Description Logics (DL2011), 2011
102011
Prediction and Explanation over DL-Lite Data Streams
S Klarman, T Meyer
International Conference on Logic for Programming, Artificial Intelligence …, 2013
82013
Practical Querying of Temporal Data via OWL 2 QL and SQL:2011
S Klarman
The 19th International Conference on Logic for Programming, Artificial …, 2013
72013
Ontology learning from interpretations in lightweight description logics
S Klarman, K Britz
International Conference on Inductive Logic Programming, 76-90, 2015
62015
Developing HARNESS. Estrella deliverable 4.6, University of Amsterdam
J Breuker, S van der Ven, A El Ali, M Bron, R Hoekstra, S Klarman, ...
62008
Developing harness
J Breuker, S van de Ven, A El Ali, M Bron, S Klarman, U Milosevic, ...
ESTRELLA Deliverable 4, 2008
42008
A knowledge organization system for the united nations sustainable development goals
A Joshi, LG Morales, S Klarman, A Stellato, A Helton, S Lovell, A Haczek
European Semantic Web Conference, 548-564, 2021
32021
Towards unsupervised ontology learning from data
S Klarman, K Britz
CEUR-WS, 2015
32015
Complexity of Temporal Query Abduction in DL-Lite.
S Klarman, T Meyer
Description Logics, 233-244, 2014
32014
Description logics for relative terminologies
S Klarman
Interfaces: Explorations in Logic, Language and Computation, 124-141, 2008
32008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20