A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
An Entailment Relation for Reasoning on the Web
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
As a consequence, additional data processing like data conversion from Web formats (e.g. ...
XML or HTML) into some other formats (e.g. classical logic terms and formulas) is often needed and aspects of the Web (e.g. its inherent inconsistency) are neglected. ...
Now, observe that P |= C if and only if P ∪ C has no minimal models that are inconsistent (i.e. models M with ¬¬A ∈ M and A ∈ M for some semistructured expression A). ...
doi:10.1007/978-3-540-39715-1_2
fatcat:ceurvl3eyvgjlb6ic23bt2omba
NF-SS: A Normal Form for Semistructured Schema
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is application/pdf.
Semistructured data is becoming increasingly important for web applications with the development of XML and related technologies. ...
Designing a "good" semistructured database is crucial to prevent data redundancy, inconsistency and undesirable updating anomalies. ...
We use XML as a data model to represent semistructured data and enrich the model with schema and integrity constraints such as dependency and key constraints. ...
doi:10.1007/3-540-46140-x_23
fatcat:prkwy2kguzapdgwtfyub3o6dyu
Integrating and querying taxonomies with quest in the presence of conflicts
2007
Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present the QU ery-driven Exploration of Semistructured data and meta-data with conflicT s and partial knowledge (QUEST) system for supporting the integration of scientific data and taxonomies in the ...
QUEST relies on a novel constraint-based data model that captures both value and structural conflicts and enables researchers to observe and resolve such misalignments in the integrated data by considering ...
We also discussed the use of this model for Query-driven Exploration of Semistructured data with conflicT s and partial knowledge (i.e., QUEST). ...
doi:10.1145/1247480.1247639
dblp:conf/sigmod/QiCSK07
fatcat:nq7qva64bbdivnamv4awv24jsu
Verifying Semistructured Data Normalization Using PVS
2008
13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The dramatic expansion of semistructured data has led to the development of database systems for manipulating the data. ...
The proposed approach uses the ORA-SS data modeling notation and defines its correctness criteria and rules in the PVS formal language. ...
Background
ORA-SS Data Modeling Language The Object-Relationship-Attribute model for Semistructured data (ORA-SS) is a semantically enriched data modeling language for database design [2] , and it has ...
doi:10.1109/iceccs.2008.23
dblp:conf/iceccs/LeeSDG08
fatcat:so76n237kfa4lfoyfqtm3ugzly
Semantic Consistency Checking in Building Ontology from Heterogeneous Sources
2014
Journal of Applied Mathematics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In this paper, a model-checking-based method is proposed to handle the semantic consistency problem with a kind of middle-model methodology, which could extract a domain ontology from structured and semistructured ...
The method translates the middle model into the Kripke structure, and consistency assertions into CTL formulae, so a consistency checking problem is promoted to a global model checking. ...
As for semistructured data sources, in [4] [5] [6] , researchers employ a mediate model language for modeling semistructured data and then transform middle models into the domain ontology. ...
doi:10.1155/2014/181938
fatcat:b7jyltvilfd6hdcrw37m6t2gha
Accommodating Changes in Semistructured Databases Using Multidimensional OEM
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
The notion of context has been incorporated in OEM, and the extended model is called Multidimensional O E M (MOEM), a graph model for MSSD. ...
Multidimensional Semistructured D a t a (MSSD) are semistructured data that present di erent facets under di erent contexts (sets of worlds). ...
A special graph for modeling the dynamic aspects of semistructured data, called semistructured temporal graph is proposed in 8]. ...
doi:10.1007/3-540-45710-0_29
fatcat:aabcreg2i5a5poanvxlvikoggi
On views and XML
1999
Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '99
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Lahiri, A. Mendelzon, L. Mignet, J. Simeon, C. Souza, R. Topor and A.M. Vercoustre for discussions or comments on (parts of) this paper. ...
View = Semistructured data As advocated by [21] , there is a need for a model for XML. ...
In this last section, we briefly argue (by example) that views (in particular in a Web context) should be approached with an incomplete information model and recall a model for incomplete information of ...
doi:10.1145/303976.303977
dblp:conf/pods/Abiteboul99
fatcat:vx3dtb4wwfb7picfdder2gko6y
On views and XML
1999
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
Lahiri, A. Mendelzon, L. Mignet, J. Simeon, C. Souza, R. Topor and A.M. Vercoustre for discussions or comments on (parts of) this paper. ...
View = Semistructured data As advocated by [21] , there is a need for a model for XML. ...
In this last section, we briefly argue (by example) that views (in particular in a Web context) should be approached with an incomplete information model and recall a model for incomplete information of ...
doi:10.1145/344816.344853
fatcat:uz7bfo2455fyblwc3b77wl3hgq
A Framework for Warehousing the Web Contents
[chapter]
1999
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf.
This paper presents a framework for warehousing selected Web contents. In this framework, a hybrid (partially materialized) approach and extended ontologies are used to achieve Web data integration. ...
This hybrid approach makes it possible to integrate DW data with Web-based information resources as they are needed. ...
The author would also like to thank Christof Bornhövd and Ronald Bourret for their productive discussions with regard to some parts of this paper. ...
doi:10.1007/978-3-540-46652-9_9
fatcat:5hwudgqmdjctzfdq2ufvszsm54
PIPE: Web personalization by partial evaluation
2000
IEEE Internet Computing
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Partial evaluation is a technique popular in the programming languages community. It is applied here as a methodology for personalizing Web content. ...
It is based on three concepts: partial evaluation, data mining of semistructured data, and information integration. ...
This is a domain-specific consideration. The system developer should model the site schemas by using labeled graphs and modeling semistructured data. ...
doi:10.1109/4236.895012
fatcat:dns77g5vxjcahpw7xe7jimr2ay
Representing and querying histories of semistructured databases using multidimensional OEM
2004
Information Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The notion of context has been incorporated in the Object Exchange Model (OEM), and the extended model is called Multidimensional OEM (MOEM), a graph model for MSSD. ...
Multidimensional semistructured data (MSSD) are semistructured data that present different facets under different contexts. ...
A special graph for modelling the dynamic aspects of semistructured data, called semistructured temporal graph is proposed in [OQT01] . ...
doi:10.1016/j.is.2003.10.005
fatcat:ue54iem3avbg3fviwsbsqcswfy
Report on the First International VLDB Workshop on Clean Databases (CleanDB 2006)
2007
SIGMOD record
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this report, we provide a summary 1 of the First ...
zu Berlin, Germany, Divesh Srivastava at AT&T Labs -Research, USA, and William E. ...
In particular, five senior members served as steering committee for the workshop: Surajit Chaudhuri at Microsoft Research, USA, Chin-Wan Chung at KAIST, Korea, Johann-Christoph Freytag at Humboldt-Universitat ...
doi:10.1145/1276301.1276314
fatcat:mgpoqs62f5d5jhnfhgq4jwnrw4
A Rule-based System for Web site Verification
2006
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper, we describe a system, written in Haskell, for the automated verification of Web sites which can be used to specify (partial) correctness and completeness properties of a given Web site, ...
facility for recognizing forbidden/incorrect patterns and incomplete/missing Web pages. ...
It includes a parser for semistructured expressions (i.e. ...
doi:10.1016/j.entcs.2005.12.041
fatcat:yu5hziqorfbb7fkxr3te4aeima
Information Integration and Computational Logic
[article]
2001
arXiv
pre-print
Preserved Fulltext
The Internet Archive has a preservation copy of this work in our general collections.
The file type is application/pdf.
Information Integration is a young and exciting field with enormous research and commercial significance in the new world of the Information Society. ...
Information from disparate heterogeneous sources often with no a-priori common schema needs to be synthesized in a flexible, transparent and intelligent way in order to respond to the demands of a query ...
We would also like to thank the following colleagues who provided us with useful material and their views on the subject by answering a questionnaire that was sent to them: Stephanne Bressan, Stefano Ceri ...
arXiv:cs/0106025v1
fatcat:u275rpw5i5c3xg7jjn636y53um
Data integration
2002
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '02
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2003; you can also visit the original URL.
The file type is application/pdf.
In [24] , the problem is studied for a setting where the global schema models a semistructured database, i.e., a labeled directed graphs. ...
Indeed, when we answer a query over the global schema on the basis of a LAV mapping, we know only the extensions of the views associated to the sources, and this provides us with only partial information ...
doi:10.1145/543613.543644
dblp:conf/pods/Lenzerini02
fatcat:dt4h6ll3ojfaniqonbaelhdcxu
« Previous
Showing results 1 — 15 out of 6,797 results