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)
 2017_journal_el_nominal_schemas_2022.pdf (498.7 KB)
 2017_journal_el_nominal_schemas_2022.pdf (498.7 KB)
 2017_journal_el_nominal_schemas_2022.pdf (498.7 KB) 2017_journal_el_nominal_schemas_2022.pdf (498.7 KB)
 2017_journal_el_nominal_schemas_2022.pdf (498.7 KB)