( en | de | ru )

 

Disambiguation of "Klarman, Szymon"

Author of the publication

copydeleteadd this publication to your clipboard
ABox Abduction in the Description Logic ALC.

, , and . J. Autom. Reason., 46 (1): 43-80 (2011)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Szymon Jakubczak

Szymon Rosenblatt

Szymon Kielbasa

Szymon Józefczuk

Szymon Borak

 

Other publications of authors with the same name

Two-Dimensional Description Logics of Context., and . Description Logics, volume 745 of CEUR Workshop Proceedings, CEUR-WS.org, (2011)Relativizing Concept Descriptions to Comparison Classes., and . Description Logics, volume 477 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Two-Dimensional Description Logics for Context-Based Semantic Interoperability., and . AAAI, page 215-220. AAAI Press, (2011)Practical Querying of Temporal Data via OWL 2 QL and SQL: 2011.. LPAR (short papers), volume 26 of EPiC Series in Computing, page 52-61. EasyChair, (2013)Description Logics for Relative Terminologies.. ESSLLI Student Sessions, volume 6211 of Lecture Notes in Computer Science, page 124-141. Springer, (2009)Complexity of Temporal Query Abduction in DL-Lite., and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 233-244. CEUR-WS.org, (2014)Formal Verification of Data Provenance Records., , and . ISWC (1), volume 7649 of Lecture Notes in Computer Science, page 215-230. Springer, (2012)Description logics of context., and . J. Log. Comput., 26 (3): 817-854 (2016)TBox Abduction in ALC Using a DL Tableau., , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 556-566. CEUR-WS.org, (2014)Towards a Unifying Approach to Representing and Querying Temporal Data in Description Logics., and . RR, volume 7497 of Lecture Notes in Computer Science, page 90-105. Springer, (2012)