David Toman, Grant Weddell  Home/Search
Context
Related
| db.uwaterloo.ca/~dav...papersicdt03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: db.uwaterloo.ca/~david/papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We de ne a boolean complete description logic dialect called DLFD reg that can be used to reason about structural equality in semistructured ordered data in the presence of document type de nitions. (Update)
Similar documents (at the sentence level):
5.5%: On Attributes, Roles, and Dependencies in Description Logics.. - Toman, Weddell (2001) (Correct)
Active bibliography (related documents): More All
0.5: Fine Grained Information Integration - With Description Logics (2002) (Correct)
0.5: What's Hard about XML Schema Constraints? - Arenas, Fan, Libkin (Correct)
0.4: On Decidability and Complexity of Description Logics with .. - Khizder, Toman, Weddell (2000) (Correct)
Similar documents based on text: More All
0.2: Rewriting Aggregate Queries using Description Logic - DeHaan, Toman, Weddell (Correct)
0.2: Querying XML with FLWR Expressions in FO N + count: - On The Utility (Correct)
0.2: A Point-based Temporal Extension of SQL - Toman (1997) (Correct)
BibTeX entry: (Update)
@misc{ toman-reasoning,
author = "David Toman and Grant Weddell",
title = "On Reasoning about Structural Equality in XML: A Description Logic Approach",
url = "citeseer.ist.psu.edu/620070.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, rey et al. - 1979
189 Foundations of Disjunctive Logic Programming (context) - Lobo, Minker et al. - 1992
157 The Art of Computer Programming: Sorting and Searching (context) - Knuth - 1998
148 Practical Reasoning for Expressive Description Logics - Horrocks, Sattler et al. - 1999
133 Foundations of Logic Programming (context) - Lloyd - 1987
97 Description Logic Framework for Information Integration - Calvanese, De Giacomo et al. - 1998
87 An XML Query Language (context) - Boag, Chamberlin et al. - 2001
84 The KR System dlv: Progress Report (context) - Eiter, Leone et al. - 1998
75 Attributive Concept Descriptions with Complements (context) - Schmidt-Schau, Smolka - 1991
61 Disjunctive stable models: Unfounded sets (context) - Leone, Rullo et al. - 1997
53 ACM Transactions on Database Systems (context) - Eiter, Gottlob et al. - 1997
39 On XML integrity constraints in the presence of DTDs - Fan, Libkin - 2001
36 Representing and Reasoning on XML Documents: A Description L.. - Calvanese, De Giacomo et al. - 1999
36 Declarative Problem-solving using the dlv System (context) - Eiter, Faber et al. - 2000
32 Normal Form for XML Documents - Arenas, Libkin - 2002
28 Fundamental Techniques for Order Optimization (context) - Simmen, Shekita et al. - 1996
26 Implication Problems for Functional Constraints on Databases.. (context) - Ito, Weddell - 1994
26 Perspectives in Mathematical Logic (context) - orger, Gr et al. - 1997
24 Studies in Logic and the Foundations of Mathematics (context) - Ackermann, of et al. - 1954
18 calculus and related results (context) - Janin, Walukiewicz et al. - 1995
16 Functional Deductive Databases: Query Processing in the Pres.. (context) - Chomicki - 1990
13 Constraint-Generating Dependencies - Baudinet, Chomicki et al. - 1995
12 and Wang Chiew Tan (context) - Buneman, Davidson et al. - 2001
11 Adding uniqueness constraints to description logics - Borgida, Weddell - 1997
10 Reasoning about Duplicate Elimination with Description Logic - Khizder, Toman et al. - 2000
9 On Decidability and Complexity of Description Logics with Un.. - Khizder, Toman et al. - 2001
6 an and Grant E. Weddell. On Attributes, Roles, and Dependenc.. (context) - Tom - 2001
6 Alternation and the Ackermann Case of the Decision Problem (context) - urer - 1981
5 Identi cation Constraints and Functional Dependencies in Des.. (context) - Calvanese, De Giacomo et al. - 2001
5 Functional Dependencies in Horn Clause Queries (context) - Mendelzon, Wood - 1991
2 On Verifying Consistency of XML Speci cations (context) - Arenas, Fan et al. - 2002
1 Finite Representation of In nite Query Answers (context) - Chomicki, Imieli - 1993
Documents on the same site (http://db.uwaterloo.ca/~david/papers.html): More
Logics for Databases and Information Systems - Chomicki, (Eds.) (1998) (Correct)
Temporal Databases - Chomicki, Toman (Correct)
Query Evaluation in Constraint Databases - Toman (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC