Recent proposals to improve the quality of interaction with the World Wide Web suggest considering the Web as a huge semi-structured database, so that retrieving information can be supported by the task of database querying. Under this view, it is important to represent the form of both the network, and the documents placed in the nodes of the network. However, the current proposals do not pay sufficient attention to represent document structures and reasoning about them. In this paper, we address these problems by providing a framework where Document Type Definitions (DTDs) expressed in the eXtensible Markup Language (XML) are formalized in an expressive Description Logic equipped with sound and complete inference algorithms. We provide methods for verifying conformance of a document to a DTD in polynomial time, and structural equivalence of DTDs in worst case deterministic exponential time, improving known algorithms for this problem which were double exponential. We also deal with pa...
|
1014
|
Foundations of Databases
– Abiteboul, Hull, et al.
- 1995
|
|
412
|
DataGuides: Enabling Query Formulation and Optimization in Semistructured Databases
– Goldman, Widom
- 1997
|
|
264
|
Results on the propositional -calculus
– Kozen
- 1983
|
|
260
|
The propositional dynamic logic of regular programs
– Fischer, Ladner
- 1979
|
|
228
|
Querying the world wide web
– Mendelzon, Mihaila, et al.
- 1997
|
|
226
|
From Structured Documents to Novel Query Facilities
– Christophides, Abiteboul, et al.
- 1994
|
|
212
|
A correspondence theory for terminological logics
– Schild
- 1991
|
|
197
|
Data model and query evaluation in global information systems
– Levy, Srivastava, et al.
- 1995
|
|
186
|
Adding structure to unstructured data
– Buneman, Davidson, et al.
- 1997
|
|
168
|
Automata-theoretic techniques for modal logic of programs
– Vardi, Wolper
- 1986
|
|
150
|
Smolka: Attribute concept descriptions with complements
– Schmidt-Schau, G
- 1991
|
|
129
|
A declarative language for querying and restructuring the web
– Lakshmanan, Sadri, et al.
- 1996
|
|
124
|
W3QS: A query system for the World Wide Web
– Konopnicki, Shmueli
- 1995
|
|
105
|
Augmenting Concept Languages by Transitive Closure of Roles: An Alternative to Terminological Cycles
– Baader
- 1991
|
|
101
|
A Query Language for a Web-Site Management System
– Florescu, Levy, et al.
- 1997
|
|
97
|
Querying semistructured heterogeneous information
– Quass, Rajaraman, et al.
- 1995
|
|
83
|
Part–whole relations in object-centered systems: An overview
– Artale, Franconi, et al.
- 1996
|
|
76
|
Boosting the correspondence between descriptionlogics and propositional dynamic logics
– Giacomo, Lenzerini
|
|
71
|
Extensible Markup Language (XML) 1.0 — W3C recommendation
– Bray, Paoli, et al.
- 1998
|
|
57
|
Decidability of Class-Based Knowledge Representation Formalisms
– Giacomo
- 1995
|
|
52
|
Structured objects: Modeling and reasoning
– Calvanese, Giacomo, et al.
- 1995
|
|
39
|
Using automata theory for characterizing the semantics of terminological cycles
– Baader
- 1996
|
|
25
|
A concept language for an engineering application with part-whole relations
– Sattler
|
|
24
|
Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms. PhD thesis, Dipartimento di Informatica e Sistemistica, Università di Roma “La Sapienza
– Calvanese
- 1996
|
|
22
|
Generalized Markup Language: Mathematical and Philosophical Issues
– Standard
- 1996
|
|
10
|
The Lorel query language for semistructured data
– Wiener
- 1997
|
|
8
|
On simultaneously determinizing and complementing !-automata
– Emerson, Jutla
- 1989
|
|
6
|
Open problems with part-whole relations
– Artale, Franconi, et al.
- 1996
|
|
4
|
From data implementation to data model: Meta-semantic issues
– Raymond, Tompa, et al.
- 1995
|
|
1
|
On the decidabilityofquery containment under constraints
– Calvanese, Giacomo, et al.
- 1998
|
|
1
|
A uniform framework for concept de#nitions in description logics
– Giacomo, Lenzerini
- 1997
|
|
1
|
Nahid Shahmehri, and Johan # Aberg. Towards creating a knowledge base for world-wide web documents
– Lambrix
- 1997
|
|
