The category of networks of ontologies

Jérôme Euzenat (1)

1 EXMO - Computer mediated exchange of structured knowledge

The semantic web has led to the deployment of ontologies on the web connected through various relations and, in particular, alignments of their vocabularies. There exists several semantics for alignments which make difficult interoperation between different interpretation of networks of ontologies. Here we present an abstraction of these semantics which allows for defining the notions of closure and consistency for networks of ontologies independently from the precise semantics. We also show that networks of ontologies with specific notions of morphisms define categories of networks of ontologies.

Mots clés: Pullback; Distributed system semantics; Network of ontologies; Category; Ontology alignment; Alignment semantics; Inconsistency

Mots clés: Inconsistance; Réseau d'ontologies; Alignement d'ontologies; Produit fibré; Sémantique des alignements; Catégorie; Sémantique des systèmes distribués

Domaines: Intelligence artificielle [cs.AI]; Web

Jérôme Euzenat. The category of networks of ontologies. [Research Report] RR-8652, INRIA. 2014, pp.19. ⟨hal-01093207⟩