Although an increasing number of RDF knowledge bases are published, many of those consist primarily of instance data and lack sophisticated schemata. Having such schemata allows more powerful querying, consistency checking and debugging as well as improved inference. One of the reasons why schemata are still rare is the effort required to create them. In this article, we propose a semi-automati...

In semantic interoperability, the main issue is to develop semantic models of geographic data that will include definitions and vocabulary necessary for data integration. Geographic data must be organized in categorization schemata before it can be integrated, but those schemata, exhibit vagueness. Vagueness can be found in geographic categories not only in the cognitive aspect of prototypical ...

Schema-based program transformation [8] has been proposed as an effective technique for the optimisation of logic programs. Schemata are applied to a logic program, mapping inefficient constructs to more efficient ones. One challenging aspect of the technique is that of proving that the schemata are correct. This paper addresses the issue of correctness. We define operations for developing corr...

We devise a resolution calculus that tests the satisfiability of infinite families of clause sets, called clause set schemata. For schemata of propositional clause sets, we prove that this calculus is sound, refutationally complete, and terminating. The calculus is extended to first-order clauses, for which termination is lost, since the satisfiability problem is not semi-decidable for nonpropo...

We propose a two-layered model for computing semantic and conceptual interpretations from dependency structures. Abstract interpretation schemata generate semantic interpretations of `minimal' dependency subgraphs, while production rules whose speci cation is rooted in ontological categories derive a canonical conceptual interpretation from semantic interpretation structures. Con gurational des...

The advent of XML [XML04] has made it possible for various XML schemata, or document types, to co-exist. Questions then arise about how developers can write, or what support they can have to write, interoperable XML schemata and interoperable software and tools asociated with them. These XML schemata may originates from the same XML schema but have evolved and diversed over time. This paper des...