go to ORKG: http://orkg.org/orkg/predicate/P110093

Ontology Language

formal language used to construct ontologies