2021. Logic knowledge representation for ontologies: A guide for formalization of natural language definitions to descriptive logic. Advances in Knowledge Representation. 1, 1 (Sep. 2021), 19–50.