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

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