Formal modeling of multi-viewpoint ontology alignment by mappings composition

DOI10.2478/ausi-2023-0013OpenAlexW4389623670MaRDI QIDQ6152842

Manel Kolli

Publication date: 13 February 2024

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

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

zbMATH Keywords

compositionformal methodsviewpointbigraphical reactive systemMVp ontology alignment

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

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