Filters








6,797 Hits in 3.8 sec

An Entailment Relation for Reasoning on the Web [chapter]

François Bry, Sebastian Schaffert
2003 Lecture Notes in Computer Science  
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]

Xiaoying Wu, Tok Wang Ling, Lee Sin Yeung, Mong Li Lee, Gillian Dobbie
2002 Lecture Notes in Computer Science  
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

Yan Qi, K. Selçuk Candan, Maria Luisa Sapino, Keith W. Kintigh
2007 Proceedings of the 2007 ACM SIGMOD international conference on Management of data - SIGMOD '07  
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

Scott Uk-Jin Lee, Jing Sun, Gillian Dobbie, Lindsay Groves
2008 13th IEEE International Conference on Engineering of Complex Computer Systems (iceccs 2008)  
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

Shihan Yang, Hongyan Tan, Jinzhao Wu
2014 Journal of Applied Mathematics  
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]

Yannis Stavrakas, Manolis Gergatsoulis, Christos Doulkeridis, Vassilis Zafeiris
2002 Lecture Notes in Computer Science  
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

Serge Abiteboul
1999 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '99  
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

Serge Abiteboul
1999 SIGMOD record  
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]

Yan Zhu
1999 Lecture Notes in Computer Science  
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

N. Ramakrishnan
2000 IEEE Internet Computing  
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

Yannis Stavrakas, Manolis Gergatsoulis, Christos Doulkeridis, Vassilis Zafeiris
2004 Information Systems  
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)

Dongwon Lee, Chen Li
2007 SIGMOD record  
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

D. Ballis, J. García-Vivó
2006 Electronical Notes in Theoretical Computer Science  
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]

Yannis Dimopoulos, Antonis Kakas
2001 arXiv   pre-print
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

Maurizio Lenzerini
2002 Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems - PODS '02  
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