Composable Relations Induced in Networks of Aligned Ontologies: A Category Theoretic Approach
| LEADER | caa a22 4500 | ||
|---|---|---|---|
| 001 | 605475245 | ||
| 003 | CHVBK | ||
| 005 | 20210128100351.0 | ||
| 007 | cr unu---uuuuu | ||
| 008 | 210128e20150901xx s 000 0 eng | ||
| 024 | 7 | 0 | |a 10.1007/s10516-014-9242-y |2 doi |
| 035 | |a (NATIONALLICENCE)springer-10.1007/s10516-014-9242-y | ||
| 245 | 0 | 0 | |a Composable Relations Induced in Networks of Aligned Ontologies: A Category Theoretic Approach |h [Elektronische Daten] |c [Seremeti Lambrini, Kameas Achilles] |
| 520 | 3 | |a A network of aligned ontologies is a distributed system, whose components (constituent ontologies) are interacting and interoperating, the result of this interaction being, either the extension of local assertions, which are valid within each individual ontology, to global assertions holding between remote ontology syntactic entities (concepts, individuals) through a network path, or to local assertions holding between local entities of an ontology, but induced by remote ontologies, through a cycle in the network. The mechanism for achieving this interaction is the composition of relations. In this perspective, (a) we introduce the notions of local composable relations, which relate ontology entities belonging to the same ontology, remotely induced composable relations, which relate ontology entities belonging to remote ontologies through a path of ontologies and alignments in the network, and network induced local composable relations, which relate ontology entities belonging to the same ontology, but through a path of ontologies and alignments forming a cycle starting and ending at the same ontology, to characterize the logical consequences extracted from a network of aligned ontologies, and (b) we propose a category-based methodology for detecting semantic inconsistencies in networks of aligned ontologies, which is based on contravariant representable functors and on the definition of two composition operators suitable for propagating local knowledge through the network. | |
| 540 | |a Springer Science+Business Media Dordrecht, 2014 | ||
| 690 | 7 | |a Category theory |2 nationallicence | |
| 690 | 7 | |a Contravariant representable functors |2 nationallicence | |
| 690 | 7 | |a Composition of relations |2 nationallicence | |
| 690 | 7 | |a Networks of ontologies |2 nationallicence | |
| 690 | 7 | |a Ontology alignment |2 nationallicence | |
| 700 | 1 | |a Lambrini |D Seremeti |u School of Science and Technology, Hellenic Open University, Parodos Aristotelous 18, 26335, Patras, Greece |4 aut | |
| 700 | 1 | |a Achilles |D Kameas |u School of Science and Technology, Hellenic Open University, Parodos Aristotelous 18, 26335, Patras, Greece |4 aut | |
| 773 | 0 | |t Axiomathes |d Springer Netherlands |g 25/3(2015-09-01), 285-311 |x 1122-1151 |q 25:3<285 |1 2015 |2 25 |o 10516 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/s10516-014-9242-y |q text/html |z Onlinezugriff via DOI |
| 898 | |a BK010053 |b XK010053 |c XK010000 | ||
| 900 | 7 | |a Metadata rights reserved |b Springer special CC-BY-NC licence |2 nationallicence | |
| 908 | |D 1 |a research-article |2 jats | ||
| 949 | |B NATIONALLICENCE |F NATIONALLICENCE |b NL-springer | ||
| 950 | |B NATIONALLICENCE |P 856 |E 40 |u https://doi.org/10.1007/s10516-014-9242-y |q text/html |z Onlinezugriff via DOI | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Lambrini |D Seremeti |u School of Science and Technology, Hellenic Open University, Parodos Aristotelous 18, 26335, Patras, Greece |4 aut | ||
| 950 | |B NATIONALLICENCE |P 700 |E 1- |a Achilles |D Kameas |u School of Science and Technology, Hellenic Open University, Parodos Aristotelous 18, 26335, Patras, Greece |4 aut | ||
| 950 | |B NATIONALLICENCE |P 773 |E 0- |t Axiomathes |d Springer Netherlands |g 25/3(2015-09-01), 285-311 |x 1122-1151 |q 25:3<285 |1 2015 |2 25 |o 10516 | ||