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

@@ 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