Modeling ontology evolution with SetPi (Q497901): Difference between revisions

@@ Property / author @@
-Lei Liu
@@ Property / author: Lei Liu / rank @@
-Normal rank
@@ Property / author @@
-Peng Zhang
@@ Property / author: Peng Zhang / rank @@
-Normal rank
@@ Property / author @@
-Rui Zhang
@@ Property / author: Rui Zhang / rank @@
-Normal rank
@@ Property / author @@
+Lei Liu
@@ Property / author: Lei Liu / rank @@
+Normal rank
@@ Property / author @@
+Peng Zhang
@@ Property / author: Peng Zhang / rank @@
+Normal rank
@@ Property / author @@
+Rui Zhang
@@ Property / author: Rui Zhang / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6485462
@@ Property / zbMATH DE Number: 6485462 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formalization
@@ Property / zbMATH Keywords: formalization / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+modeling
@@ Property / zbMATH Keywords: modeling / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+ontology evolution
@@ Property / zbMATH Keywords: ontology evolution / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+pi-calculus
@@ Property / zbMATH Keywords: pi-calculus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ContentCVS
@@ Property / describes a project that uses: ContentCVS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ins.2013.07.017
+Normal rank
@@ Property / OpenAlex ID @@
+W1968235900
@@ Property / OpenAlex ID: W1968235900 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus for cryptographic protocols: The spi calculus
+Normal rank
@@ Property / cites work @@
+Towards Ontology Evolution in Physics
@@ Property / cites work: Towards Ontology Evolution in Physics / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411904
@@ Property / cites work: Q4411904 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411915
@@ Property / cites work: Q4411915 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:497901