Ontology Integration Using ε-Connections (Q3631364): Difference between revisions

@@ Property / describes a project that uses @@
+KL-ONE
@@ Property / describes a project that uses: KL-ONE / 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-642-01907-4_14
+Normal rank
@@ Property / OpenAlex ID @@
+W186373629
@@ Property / OpenAlex ID: W186373629 / rank @@
+Normal rank
@@ Property / cites work @@
+Mechanizing Mathematical Reasoning
@@ Property / cites work: Mechanizing Mathematical Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4533343
@@ Property / cites work: Q4533343 / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Q3408128
@@ Property / cites work: Q3408128 / rank @@
+Normal rank
@@ Property / cites work @@
+Ontology Integration Using ε-Connections
@@ Property / cites work: Ontology Integration Using ε-Connections / rank @@
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+A description logic with transitive and inverse roles and role hierarchies
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Q4411928
@@ Property / cites work: Q4411928 / rank @@
+Normal rank
@@ Property / cites work @@
+\({\mathcal E}\)-connections of abstract description systems
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank