Ontology Merging as Social Choice

The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first step in this direction, we formulate several desirable properties for ontology aggregators, we identify the incompatibility of some of these properties, and we define and analyse several simple aggregation procedures. Our approach is closely related to work in judgment aggregation, but with the crucial difference that we adopt an open world assumption, by distinguishing between facts not included in an agent’s ontology and facts explicitly negated in an agent’s ontology

Using NLP tools in the specification phase

The software quality control is one of the main topics in the Software Engineering area. To put the effort in the quality control during the specification phase leads us to detect possible mistakes in an early steps and, easily, to correct them before the design and implementation steps start. In this framework the goal of SAREL system, a knowledge-based system, is twofold. On one hand, to help software engineers in the creation of quality Software Requirements Specifications. On the other hand, to analyze the correspondence between two different conceptual representations associated with two different Software Requirements Specification documents. For the first goal, a set of NLP and Knowledge management tools is applied to obtain a conceptual representation that can be validated and managed by the software engineer. For the second goal we have established some correspondence measures in order to get a comparison between two conceptual representations. This information will be useful during the interaction.Postprint (published version

Conflicting Tendencies in the Development of Scientific and Technical Language Varieties: Metaphorization vs. Standardization

The present paper discusses relations between meaning and context as an interactive process that promotes cognition and communication, both intralingual and interlingual. The article also studies two evident conflicting tendencies in the development of technical language: metaphorization and standardization. Metaphorical meaning extension is characteristic of technical vocabulary in all discourse domains. At the same time, contemporary development of corpus linguistics facilitates standardization of terms. Taking into account pragmatic aspects of the text environment, i.e. referential, situational, cultural and social contexts, language users can interpret the meaning of new terms, establish relations and interconnections between terms and concepts within a text, domain and entire scientific and technical discourse. In the present article, observations on the nature and application of contemporary technical terminology are made on the basis of extensive empirical research

Explicitly representing the semantics of composite positional tolerance for patterns of holes

Representing the semantics of the interaction of two or more tolerances (i.e. composite tolerance) explicitly to make them computer-understandable is currently a challenging task in computer-aided tolerancing (CAT). We have proposed a description logic (DL) ontology based approach to complete this task recently. In this paper, the representation of the semantics of the composite positional tolerance (CPT) for patterns of holes (POHs) is used as an example to illustrate the proposed approach. This representation mainly includes: representing the structure knowledge of the CPT for POHs in DL terminological axioms; expressing the constraint knowledge with Horn rules; and describing the individual knowledge using DL assertional axioms. By implementing the representation with the web ontology language (OWL) and the semantic web rule language (SWRL), a CPT ontology is developed. This ontology has explicitly computer-understandable semantics due to the logic-based semantics of OWL and SWRL. As is illustrated by an engineering example, such semantics makes it possible to automatically check the consistency, reason out the new knowledge, and implement the semantic interoperability of CPT information. Benefiting from this, the ontology provides a semantic enrichment model for the CPT information extracted from CAD/CAM systems