Conjunctive query answering in the description logic $\mathcal S \mathcal H$ using knots (Q414848): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+T30
@@ Property / Mathematics Subject Classification ID: 68T30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6033480
@@ Property / zbMATH DE Number: 6033480 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+description logics
@@ Property / zbMATH Keywords: description logics / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+conjunctive query answering
@@ Property / zbMATH Keywords: conjunctive query answering / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+knots
@@ Property / zbMATH Keywords: knots / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+computational complexity
@@ Property / zbMATH Keywords: computational complexity / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+disjunctive Datalog
@@ Property / zbMATH Keywords: disjunctive Datalog / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Datalog
@@ Property / describes a project that uses: Datalog / 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.jcss.2011.02.012
+Normal rank
@@ Property / OpenAlex ID @@
+W2008135441
@@ Property / OpenAlex ID: W2008135441 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Causal Relationships to Deal with the Ramification Problem in Action Formalisms Based on Description Logics
+Normal rank
@@ Property / cites work @@
+Reasoning on UML class diagrams
@@ Property / cites work: Reasoning on UML class diagrams / rank @@
+Normal rank
@@ Property / cites work @@
+Q4406531
@@ Property / cites work: Q4406531 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive query containment and answering under description logic constraints
+Normal rank
@@ Property / cites work @@
+Query Answering in the Description Logic Horn- $\mathcal{SHIQ}$
+Normal rank
@@ Property / cites work @@
+Query Answering in Description Logics: The Knots Approach
+Normal rank
@@ Property / cites work @@
+Computational aspects of monotone dualization: a brief survey
+Normal rank
@@ Property / cites work @@
+Reasoning Using Knots
@@ Property / cites work: Reasoning Using Knots / rank @@
+Normal rank
@@ Property / cites work @@
+FDNC
@@ Property / cites work: FDNC / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624113
@@ Property / cites work: Q3624113 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic for Programming, Artificial Intelligence, and Reasoning
+Normal rank
@@ Property / cites work @@
+Reasoning in description logics by a reduction to disjunctive datalog
+Normal rank
@@ Property / cites work @@
+An efficient implementation of a quasi-polynomial algorithm for generating hypergraph transversals and its application in joint generation
+Normal rank
@@ Property / cites work @@
+Combining Horn rules and description logics in CARIN
+Normal rank
@@ Property / cites work @@
+Reasoning About Actions Using Description Logics with General TBoxes
+Normal rank
@@ Property / cites work @@
+The complexity of finite model reasoning in description logics
+Normal rank
@@ Property / cites work @@
+Complexity of Planning in Action Formalisms Based on Description Logics
+Normal rank
@@ Property / cites work @@
+Data complexity of query answering in expressive description logics via tableaux
+Normal rank
@@ Property / cites work @@
+Linking Data to Ontologies
@@ Property / cites work: Linking Data to Ontologies / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012244
@@ Property / cites work: Q4012244 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:414848

Conjunctive query answering in the description logic \(\mathcal S \mathcal H\) using knots (Q414848): Difference between revisions

Revision as of 04:15, 5 July 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)