Automated Reasoning in $\mathcal{ALCQ}$ via SMT (Q5200031): Difference between revisions

@@ Property / describes a project that uses @@
+Racer
@@ Property / describes a project that uses: Racer / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FaCT++
@@ Property / describes a project that uses: FaCT++ / 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-22438-6_22
+Normal rank
@@ Property / OpenAlex ID @@
+W160292340
@@ Property / OpenAlex ID: W160292340 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Satisfiability Modulo the Theory of Costs: Foundations and Applications
+Normal rank
@@ Property / cites work @@
+Algebraic tableau reasoning for the description logic \(\mathcal{SHOQ}\)
+Normal rank
@@ Property / cites work @@
+Practical reasoning with qualified number restrictions: A hybrid Abox calculus for the description logic 𝒮ℋ𝒬
+Normal rank
@@ Property / cites work @@
+Q4539653
@@ Property / cites work: Q4539653 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028805
@@ Property / cites work: Q4028805 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical reasoning for very expressive description logics
+Normal rank
@@ Property / cites work @@
+Q5715707
@@ Property / cites work: Q5715707 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3506045
@@ Property / cites work: Q3506045 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in Modal and Description Logics via SAT Encoding: the Case Study of K(m)/ALC-Satisfiability
+Normal rank
@@ Property / cites work @@
+Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis
+Normal rank
@@ Property / cites work @@
+Automated Reasoning in $\mathcal{ALCQ}$ via SMT
@@ Property / cites work: Automated Reasoning in $\mathcal{ALCQ}$ via SMT / rank @@
+Normal rank