Service Specification and Matchmaking Using Description Logic (Q5505438): Difference between revisions

@@ Property / author @@
-Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
-Normal rank
@@ Property / author @@
+Martin Wirsing
@@ Property / author: Martin Wirsing / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / 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.1007/978-3-540-79980-1_29
+Normal rank
@@ Property / OpenAlex ID @@
+W1525198965
@@ Property / OpenAlex ID: W1525198965 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Herbrand theorems in arbitrary institutions
@@ Property / cites work: Herbrand theorems in arbitrary institutions / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology Matching
@@ Property / cites work: Ontology Matching / rank @@
+Normal rank
@@ Property / cites work @@
+Institutions: abstract model theory for specification and programming
+Normal rank
@@ Property / cites work @@
+Semantic Web Languages – Towards an Institutional Perspective
+Normal rank
@@ Property / cites work @@
+Q4739564
@@ Property / cites work: Q4739564 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702594
@@ Property / cites work: Q4702594 / rank @@
+Normal rank
@@ Property / cites work @@
+Service Specification and Matchmaking Using Description Logic
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5505438