Sciweavers

1425 search results - page 4 / 285
» Semantic Based Schema Analysis
Sort
View
TACAS
1999
Springer
88views Algorithms» more  TACAS 1999»
13 years 11 months ago
A Theorem Prover-Based Analysis Tool for Object-Oriented Databases
We present a theorem-prover based analysis tool for object-oriented database systems with integrity constraints. Object-oriented database specifications are mapped to higher-order...
David Spelt, Susan Even
ICDAR
2003
IEEE
14 years 23 days ago
Automatic Discovery of Semantic Structures in HTML Documents
Template-driven HTML documents posses an implicit, fixed schema denoting concepts and their relationships in a hierarchical fashion. Discovering this schema remains a relatively ...
Saikat Mukherjee, Guizhen Yang, Wenfang Tan, I. V....
SEMWEB
2001
Springer
13 years 12 months ago
Metamodeling Architecture of Web Ontology Languages
Recent research has shown that RDF Schema, as a schema layer Semantic Web language, has a non-standard metamodeling architecture. As a result, it is difficult to understand and la...
Jeff Z. Pan, Ian Horrocks
CAISE
2007
Springer
14 years 1 months ago
Generic Schema Merging
Schema merging is the process of integrating several schemas into a common, unified schema. There have been various approaches to schema mergusing on particular modeling languages...
Christoph Quix, David Kensche, Xiang Li 0002
ICGA
1997
102views Optimization» more  ICGA 1997»
13 years 8 months ago
An Experimental Analysis of Schema Creation, Propagation and Disruption in Genetic Programming
In this paper we first review the main results in the theory of schemata in Genetic Programming (GP) and summarise a new GP schema theory which is based on a new definition of s...
Riccardo Poli, William B. Langdon