Formal modeling of multi-viewpoint ontology alignment by mappings composition

DOI10.2478/AUSI-2023-0013MaRDI QIDQ6152842zbMATH OpenOpenAlexFDO

Authors Manel Kolli

Publication date 13 February 2024

Published in Acta Universitatis Sapientiae. Informatica (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.2478/ausi-2023-0013

zbMATH Keywords

bigraphical reactive systemcompositionformal methodsMVp ontology alignmentviewpoint

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Bigraphs and their algebra
• Networked ontologies with contextual alignments
• Ontology Matching
• Pure bigraphs: structure and dynamics
• Revision in networks of ontologies
• The Space and Motion of Communicating Agents

This page was built for publication: Formal modeling of multi-viewpoint ontology alignment by mappings composition

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6152842)