Consequence-based and fixed-parameter tractable reasoning in description logics (Q490523): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2014.01.002
@@ Property / DOI: 10.1016/j.artint.2014.01.002 / rank @@
-Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q25
@@ Property / Mathematics Subject Classification ID: 68Q25 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6476411
@@ Property / zbMATH DE Number: 6476411 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+description logics
@@ Property / zbMATH Keywords: description logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+parameterized complexity
@@ Property / zbMATH Keywords: parameterized complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+treewidth
@@ Property / zbMATH Keywords: treewidth / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pellet
@@ Property / describes a project that uses: Pellet / 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 @@
+E Theorem Prover
@@ Property / describes a project that uses: E Theorem Prover / 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.1016/j.artint.2014.01.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2092795970
@@ Property / OpenAlex ID: W2092795970 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q56988536
@@ Property / Wikidata QID: Q56988536 / rank @@
+Normal rank
@@ Property / cites work @@
+The Description Logic Handbook
@@ Property / cites work: The Description Logic Handbook / rank @@
+Normal rank
@@ Property / cites work @@
+Modal languages and bounded fragments of predicate logic
+Normal rank
@@ Property / cites work @@
+Hypertableau Reasoning for Description Logics
@@ Property / cites work: Hypertableau Reasoning for Description Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Tractable reasoning and efficient query answering in description logics: The DL-Lite family
+Normal rank
@@ Property / cites work @@
+The DL-Lite Family and Relations
@@ Property / cites work: The DL-Lite Family and Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4393480
@@ Property / cites work: Q4393480 / rank @@
+Normal rank
@@ Property / cites work @@
+Graph minors. III. Planar tree-width
@@ Property / cites work: Graph minors. III. Planar tree-width / rank @@
+Normal rank
@@ Property / cites work @@
+Theory and Applications of Satisfiability Testing
@@ Property / cites work: Theory and Applications of Satisfiability Testing / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding regular grammar logics with converse through first-order logic
+Normal rank
@@ Property / cites work @@
+A Linear-Time Algorithm for Finding Tree-Decompositions of Small Treewidth
+Normal rank
@@ Property / cites work @@
+Q2751377
@@ Property / cites work: Q2751377 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751353
@@ Property / cites work: Q2751353 / rank @@
+Normal rank
@@ Property / cites work @@
+A Comparison of Reasoning Techniques for Querying Large Description Logic ABoxes
+Normal rank
@@ Property / cites work @@
+EXPTIME Tableaux with Global Caching for Description Logics with Transitive Roles, Inverse Roles and Role Hierarchies
+Normal rank
@@ Property / cites work @@
+ExpTime tableaux for \(\mathcal {ALC}\) using sound global caching
+Normal rank
@@ Property / cites work @@
+Q2751379
@@ Property / cites work: Q2751379 / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Reasoning
@@ Property / cites work: Automated Reasoning / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2014.01.002
@@ Property / DOI: 10.1016/J.ARTINT.2014.01.002 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:490523