HermiT: an OWL 2 reasoner (Q2351420): Difference between revisions

@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SPARQL
@@ Property / describes a project that uses: SPARQL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+KL-ONE
@@ Property / describes a project that uses: KL-ONE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FaCT++
@@ Property / describes a project that uses: FaCT++ / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+WSReasoner
@@ Property / describes a project that uses: WSReasoner / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ELK
@@ Property / describes a project that uses: ELK / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2168120333
@@ Property / OpenAlex ID: W2168120333 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56988544
@@ Property / Wikidata QID: Q56988544 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+An overview of tableau algorithms for description logics
+Normal rank
@@ Property / cites work @@
+Hypertableau Reasoning for Description Logics
@@ Property / cites work: Hypertableau Reasoning for Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Optimized Description Logic Reasoning via Core Blocking
+Normal rank
@@ Property / cites work @@
+Optimizing terminological reasoning for expressive description logics
+Normal rank
@@ Property / cites work @@
+Decidability of SHIQ with complex role inclusion axioms
+Normal rank
@@ Property / cites work @@
+A tableau decision procedure for \(\mathcal{SHOIQ}\)
+Normal rank
@@ Property / cites work @@
+Optimizing SPARQL Query Answering over OWL Ontologies
+Normal rank
@@ Property / cites work @@
+The incredible ELK. From polynomial procedures to efficient reasoning with \(\mathcal {EL}\) ontologies
+Normal rank
@@ Property / cites work @@
+Q2970045
@@ Property / cites work: Q2970045 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing ontologies using description logics, description graphs, and rules
+Normal rank
@@ Property / cites work @@
+Individual Reuse in Description Logic Reasoning
@@ Property / cites work: Individual Reuse in Description Logic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751358
@@ Property / cites work: Q2751358 / rank @@
+Normal rank
@@ Property / cites work @@
+A structure-preserving clause form translation
@@ Property / cites work: A structure-preserving clause form translation / rank @@
+Normal rank