OWL reasoning: subsumption test hardness and modularity (Q1655485): Difference between revisions

@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+HermiT: an OWL 2 reasoner
@@ Property / cites work: HermiT: an OWL 2 reasoner / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624118
@@ Property / cites work: Q3624118 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4539598
@@ Property / cites work: Q4539598 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimizing description logic subsumption
@@ Property / cites work: Optimizing description logic subsumption / rank @@
+Normal rank
@@ Property / cites work @@
+The OWL reasoner evaluation (ORE) 2015 competition report
+Normal rank
@@ Property / cites work @@
+Q2723427
@@ Property / cites work: Q2723427 / rank @@
+Normal rank
@@ Property / cites work @@
+Coupling Tableau Algorithms for Expressive Description Logics with Completion-Based Saturation Procedures
+Normal rank
@@ Property / cites work @@
+Extended Caching, Backjumping and Merging for Expressive Description Logics
+Normal rank
@@ Property / describes a project that uses @@
+BioPortal
@@ Property / describes a project that uses: BioPortal / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Snorocket
@@ Property / describes a project that uses: Snorocket / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2620948727
@@ Property / OpenAlex ID: W2620948727 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q59614267
@@ Property / Wikidata QID: Q59614267 / rank @@
+Normal rank