Publications
“An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas”, Journal of Logic and Computation, 2022. 2017_journal_el_nominal_schemas_2022.pdf (498.7 KB)
, “Semantic Compression with Region Calculi in Nested Hierarchical Grids”, in Proceedings of the 29th International Conference on Advances in Geographic Information Systems, New York, NY, USA, 2021, pp. 305–308. semantic_compression.pdf (444.8 KB)
,