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