Programme synopsis‎ > ‎Theory‎ > ‎



 Ramona Enache


The lecture aims to offer an overview of the most popular ontology formats and ontologies, along with their usage in Semantic Web. Further on, we will address the issue of ontology verbalization and ways of achieving this. In the end, we will discuss the benefits of choosing GF as an ontology hosting language, and analyze SUMO-GF - the
representation of SUMO(Suggested Upper-Merged Ontology), the largest open-source ontology in GF, along with the benefits that the representation provides for type-checking and multilingual verbalization. We will also discuss term ontologies and ways of integrating them in a domain-specific grammar.

None before the summer school, but the lecture on Dependent Types is necessary in order to understand the SUMO-GF example.

 Date and Time