Ontology language (computer science)