Formal Specification of Ontology Networks

摘要

Nowadays, it is very often to integrate existing ontologies, combining them in a ontology network to accomplish the requirements of more complex applications. This PhD research1 aims to identify and formally define the relationships among the networked ontologies, addressing its use in real applications and taking care of their consistency.