Publications
“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)
, 
“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)
, 