The paper addresses the issue of contextual representations of ontologies, as it arises in the area of normative system specifications for modeling multiagent systems. To this aim, the paper proposes a formalization of a notion of contextual terminology, that is to say, a terminology holding only with respect to a specific context. The formalization is obtained by means of a formal semantics fr...

We present a framework for the debugging of logically contradicting terminologies, which is based on traditional modelbased diagnosis. To study the feasibility of this highly general approach we prototypically implemented the hitting set algorithm presented in (Reiter 1987), and applied it in three different scenarios. First, we use a Description Logic reasoning system as a black-box to determi...

Computer-based systems that support health care require large controlled terminologies to manage names and meanings of data elements. These terminologies are not static, because change in health care is inevitable. To share data and applications in health care, we need standards not only for terminologies and concept representation, but also for representing change. To develop a principled appr...

The manual identification of terminology from specialized corpora is a complex task that needs to be addressed by flexible tools, in order to facilitate the construction of multilingual terminologies which are the main resources for computer-assisted translation tools, machine translation or ontologies. The automatic terminology extraction tools developed so far either use a proprietary code or...

sarcomas account for less than 1% of all primary breast malignancies, pleomorphic sarcoma of the breast being even rarer. we present two cases of pleomorphic sarcoma of the breast in a 35-year-old and a 43-year-old female. an extensive review of the available literature with evaluation of the etiology, changing terminologies and histopathologic features of pleomorphic sarcoma of the breast are ...

a large number of people are affected by cancer and the primeval history of this malady has attracted attention toward complementary and alternative therapies to manage this disease. the present study has performed a survey on cancer in the iranian traditional medicine during the islamic era (itm) by focusing on cancer terminologies and related diseases over a millennium, from medieval to the e...

Within the biomedical area over one hundred terminologies exist and are merged in the Unified Medical Language System Metathesaurus, which gives over 1 million concepts. When such huge terminological resources are available, the users must deal with them and specifically they must deal with irrelevant parts of these terminologies. We propose to exploit seed terms and semantic distance algorithm...