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