The extensible markup language (XML), a standard format of web information, has a clear syntax but unfortunately an ambiguous formal semantics, which results in being not used directly in semantic web applications. So it is tough job to reuse XML-based data intelligently in the semantic web. To address this problem, a new formal technique of obtaining ontology data automatically from XML docume...

Wayfinding in road networks is a hierarchical process. It involves a sequence of tasks, starting with route planning, continuing with the extraction of wayfinding instructions, and leading to the actual driving. From one task level to the next, the relevant road network becomes more detailed. How does the wayfinding process change? Building on a previous, informal hierarchical highway navigatio...

To stay competitive within the market, organizations need to understand the skills and competencies of their human resources in order to best utilize them. This paper focuses on the problem of modeling human resources in a dynamic environment, and presents a formal ontology for representing, inferring, and validating skills and competencies over time.

Presenting entailments of axioms in a formal ontology is a non-trivial task. This position paper argues that the problem of selecting entailments for presentation to users is not adequately acknowledged or addressed in the literature or in implemented systems. We analyse the problem and consider some di↵erent approaches that can help to address the problem.

In this paper we investigate how software speciications can beneet from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correct-ness of the speciication with respect to formally represented domain knowledge. We present a meta-interpretation technique that allows us to perform checks for conceptual error occurrences in speciications. We...

In this paper we investigate how software specifications can benefit from the presence of formal ontologies to augment and enrich their context. This makes it possible to verify the correctness of the specification with respect to formally represented domain knowledge. We present a meta-interpretation technique that allows us to perform checks for conceptual error occurrences in specifications....

Ontology mapping represents a promising technique in E-business integration, agent communication and web services. Similarity measure plays an important role in ontology mapping. Investigations show that a multi-similarity measure usually gives a higher quality mapping results introduction to the background knowledge of formal concept analysis, ontology mapping and similarity measure. A hybrid ...

• An ontology is an engineering artifact: – specific vocabulary used to describe a certain reality – explicit assumptions regarding the intended meaning of the vocabulary. • Thus, an ontology describes a formal specification of a domain: – Shared understanding of a domain of interest – Formal and machine manipulable model of a domain of interest • “An explicit specification of a conceptualisati...

Formal ontology has proved to be an extremely useful tool for negotiating intended meaning, for building explicit, formal data sheets, and for the discovery of novel views on existing data structures. This paper describes an example of application of formal ontological methods to the creation of biomedical ontologies. Addressed here is the ambiguous notion of inflammation, which spans across mu...