@article{22-efficient-algorithm-elvn,
	title = {{An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas}},
	author = {Carral, David and Hitzler, Pascal and Zalewski, Joseph},
	url = {https://hal.archives-ouvertes.fr/hal-03833721},
	journal = {{Journal of Logic and Computation}},
	publisher = {{Oxford University Press (OUP)}},
	pages = {exac032},
	year = {2022},
	month = May,
	doi = {10.1093/logcom/exac032}
}