In the Big Data era, ever-increasing RDF data have reached a scale in billions of entities and brought challenges to the problem of entity linkage on the Semantic Web. Although millions of entities, typically denoted by URIs, have been explicitly linked with owl:sameAs, potentially coreferent...

This paper adds the technique of chain completion to the setting of [MCB94]. We develop the theory of chain completion of a domain and show how this completion relates to metric and ideal completion. Especially we study consistency results for denotational semantics on , and

The efforts of the World Wide Web Consortium in defining and recommending the adoption of an extensible markup language, XML, and a document object model, DOM, have been received with enthusiasm by the software development community. These recommendations have been continuously adopted,...

Today's highly competitive business world requires that managers be able to make fast and accurate strategic decisions, as well as learn to adapt to new strategic challenges. This necessity calls for a deep experience and a dynamic understanding of strategic management. The trait of dynamic...

The variety of semantical approaches that have been invented for logic programs is quite broad, drawing on classical and many-valued logic, lattice theory, game theory, and topology. One source of this richness is the inherent non-monotonicity of its negation, something that does not have close...

The focus of this paper is on quality of ontologies as they relate to interoperating information systems. Quality is not a property of something but a judgment, so must be relative to some purpose, and generally involves recognition of design tradeoffs. Ontologies used for information systems...

This paper argues that a community of interoperating information systems agents requires an ontology not only of the objects in the world, the agents themselves and the message types available; but also of the complex behavioural protocols through which tasks are accomplished. The universe of...

This paper shows how it is possible to represent the complex data structures needed to support electronic commerce applications in the semantic web using ontologies. The conventional mereological or subtype-oriented refinement of the ontology is supplemented by a method of coordinated refinement...

We compare several geometrical theories based on mereology () in a unified framework. Most theories in this area lack in formalization and this prevents any systematic logical analysis. We overcome this problem by isolating a common domain in R and, selecting natural interpretations, we use this...