Formal modeling of multi-viewpoint ontology alignment by mappings composition (Q6152842): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.2478/ausi-2023-0013
+Normal rank
@@ Property / OpenAlex ID @@
+W4389623670
@@ Property / OpenAlex ID: W4389623670 / rank @@
+Normal rank
@@ Property / cites work @@
+All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
+Normal rank
@@ Property / cites work @@
+Ontology Matching
@@ Property / cites work: Ontology Matching / rank @@
+Normal rank
@@ Property / cites work @@
+Revision in networks of ontologies
@@ Property / cites work: Revision in networks of ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Pure bigraphs: structure and dynamics
@@ Property / cites work: Pure bigraphs: structure and dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Bigraphs and Their Algebra
@@ Property / cites work: Bigraphs and Their Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+The Space and Motion of Communicating Agents
@@ Property / cites work: The Space and Motion of Communicating Agents / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6152842