( en | de | ru )

 

Disambiguation of "Klarman, Szymon"

Author of the publication

copydeleteadd this publication to your clipboard
ALCALC: A Context Description Logic.

, and . JELIA, volume 6341 of Lecture Notes in Computer Science, page 208-220. Springer, (2010)

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 Mazur

 

Other publications of authors with the same name

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)Two-Dimensional Description Logics for Context-Based Semantic Interoperability., and . AAAI, page 215-220. AAAI Press, (2011)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)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)TBox Abduction in ALC Using a DL Tableau., , and . Description Logics, volume 1193 of CEUR Workshop Proceedings, page 556-566. 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)