13136 / 13145 - Knowledge-based Software Systems

Publications 2019

Conference Proceedings

LEDVINKA, M. and P. KŘEMEN. Formalizing Object-Ontological Mapping Using F-logic. In: Rules and Reasoning. Third International Joint Conference, RuleML+RR 2019, Bolzano, 2019-09-16/2019-09-19. Cham: Springer, 2019. p. 97-112. Lecture Notes in Computer Science. vol. 11784. ISSN 0302-9743. ISBN 978-3-030-31094-3. DOI 10.1007/978-3-030-31095-0_7.