On reasoning about structural equality in XML: a description logic approach (Q555777): Difference between revisions

@@ Property / DOI @@
-.1016/j.tcs.2004.10.036
@@ Property / DOI: 10.1016/j.tcs.2004.10.036 / rank @@
-Normal rank
@@ Property / author @@
+Grant E. Weddell
@@ Property / author: Grant E. Weddell / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+XQuery
@@ Property / describes a project that uses: XQuery / 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.tcs.2004.10.036
+Normal rank
@@ Property / OpenAlex ID @@
+W2616150629
@@ Property / OpenAlex ID: W2616150629 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Solvable cases of the decision problem
@@ Property / cites work: Solvable cases of the decision problem / rank @@
+Normal rank
@@ Property / cites work @@
+Constraint-generating dependencies
@@ Property / cites work: Constraint-generating dependencies / rank @@
+Normal rank
@@ Property / cites work @@
+The classical decision problem.
@@ Property / cites work: The classical decision problem. / rank @@
+Normal rank
@@ Property / cites work @@
+Representing and reasoning on XML documents: a description logic approach
+Normal rank
@@ Property / cites work @@
+Q2734932
@@ Property / cites work: Q2734932 / rank @@
+Normal rank
@@ Property / cites work @@
+On XML integrity constraints in the presence of DTDs
+Normal rank
@@ Property / cites work @@
+Alternation and the Ackermann case of the decision problem
+Normal rank
@@ Property / cites work @@
+Q5592246
@@ Property / cites work: Q5592246 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938424
@@ Property / cites work: Q4938424 / rank @@
+Normal rank
@@ Property / cites work @@
+Implication problems for functional constraints on databases supporting complex objects
+Normal rank
@@ Property / cites work @@
+Automata for the modal μ-calculus and related results
+Normal rank
@@ Property / cites work @@
+Q2767126
@@ Property / cites work: Q2767126 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473261
@@ Property / cites work: Q4473261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4369384
@@ Property / cites work: Q4369384 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391449
@@ Property / cites work: Q4391449 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348435
@@ Property / cites work: Q3348435 / rank @@
+Normal rank
@@ Property / cites work @@
+A fixpoint semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Q3820058
@@ Property / cites work: Q3820058 / rank @@
+Normal rank
@@ Property / cites work @@
+Attributive concept descriptions with complements
@@ Property / cites work: Attributive concept descriptions with complements / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.TCS.2004.10.036
@@ Property / DOI: 10.1016/J.TCS.2004.10.036 / rank @@
+Normal rank