Issues of shaping the students’ professional and terminological competence in science area of expertise in the sustainable development era

The paper deals with the problem of future biology teachers’ vocational preparation process and shaping in them of those capacities that contribute to the conservation and enhancement of our planet’s biodiversity as a reflection of the leading sustainable development goals of society. Such personality traits are viewed through the prism of forming the future biology teachers’ professional and terminological competence. The main aspects and categories that characterize the professional and terminological competence of future biology teachers, including terminology, nomenclature, term, nomen and term element, have been explained. The criteria and stages of shaping the future biology teachers’ professional and terminological competence during the vocational training process have been fixed. Methods, techniques, technologies, guiding principles and forms of staged work on the forming of an active terminological dictionary of students have been described and specified. The content of the distant special course “Latin. Botanical Terminology”, which provides training for future teachers to study the professional subjects and to understand of international scientific terminology, has been presented. It is concluded that the proper level of formation of the future biology teachers’ professional and terminological competence will eventually ensure the qualitative preparation of pupils for life in a sustainable development era

Communication in organizations: the heart of information systems

We propose a theory characterizing information systems (IS) as language communities which use and develop domain-specific languages for communication. Our theory is anchored in Language Critique, a branch of philosophy of language. In developing our theory, we draw on Systems Theory and Cybernetics as a theoretical framework. "Organization" of a system is directly related to communication of its sub-systems. "Big systems" are self-organizing and the control of this ability is disseminated throughout the system itself. Therefore, the influence on changes of the system from its outside is limited. Operations intended to change an organization are restricted to indirect approaches. The creation of domain-specific languages by the system itself leads to advantageous communication costs compared to colloquial communication at the price of set-up costs for language communities. Furthermore, we demonstrate how our theoretical constructs help to describe and predict the behavior of IS. Finally, we discuss implications of our theory for further research and IS in general. Keywords: Language Critique, language communities, communication, self-organization, IS researc

Decidable Reasoning in Terminological Knowledge Representation Systems

Terminological knowledge representation systems (TKRSs) are tools for designing and using knowledge bases that make use of terminological languages (or concept languages). We analyze from a theoretical point of view a TKRS whose capabilities go beyond the ones of presently available TKRSs. The new features studied, often required in practical applications, can be summarized in three main points. First, we consider a highly expressive terminological language, called ALCNR, including general complements of concepts, number restrictions and role conjunction. Second, we allow to express inclusion statements between general concepts, and terminological cycles as a particular case. Third, we prove the decidability of a number of desirable TKRS-deduction services (like satisfiability, subsumption and instance checking) through a sound, complete and terminating calculus for reasoning in ALCNR-knowledge bases. Our calculus extends the general technique of constraint systems. As a byproduct of the proof, we get also the result that inclusion statements in ALCNR can be simulated by terminological cycles, if descriptive semantics is adopted.Comment: See http://www.jair.org/ for any accompanying file

A unified framework for building ontological theories with application and testing in the field of clinical trials

The objective of this research programme is to contribute to the establishment of the emerging science of Formal Ontology in Information Systems via a collaborative project involving researchers from a range of disciplines including philosophy, logic, computer science, linguistics, and the medical sciences. The re­searchers will work together on the construction of a unified formal ontology, which means: a general framework for the construction of ontological theories in specific domains. The framework will be constructed using the axiomatic-deductive method of modern formal ontology. It will be tested via a series of applications relating to on-going work in Leipzig on medical taxonomies and data dictionaries in the context of clinical trials. This will lead to the production of a domain-specific ontology which is designed to serve as a basis for applications in the medical field

Applications of the ACGT Master Ontology on Cancer

In this paper we present applications of the ACGT Master Ontology (MO) which is a new terminology resource for a transnational network providing data exchange in oncology, emphasizing the integration of both clinical and molecular data. The development of a new ontology was necessary due to problems with existing biomedical ontologies in oncology. The ACGT MO is a test case for the application of best practices in ontology development. This paper provides an overview of the application of the ontology within the ACGT project thus far

OntoMathPROOntoMath^{PRO} Ontology: A Linked Data Hub for Mathematics

In this paper, we present an ontology of mathematical knowledge concepts that covers a wide range of the fields of mathematics and introduces a balanced representation between comprehensive and sensible models. We demonstrate the applications of this representation in information extraction, semantic search, and education. We argue that the ontology can be a core of future integration of math-aware data sets in the Web of Data and, therefore, provide mappings onto relevant datasets, such as DBpedia and ScienceWISE.Comment: 15 pages, 6 images, 1 table, Knowledge Engineering and the Semantic Web - 5th International Conferenc

A model of the dynamics of organizational communication

We propose a model of the dynamics of organizational communication. Our model specifies the mechanics by which communication impact is fed back to communication inputs and closes the gap between sender and receiver of messages. We draw on language critique, a branch of language philosophy, and derive joint linguistic actions of interlocutors to explain the emergence and adaptation of communication on the group level. The model is framed by Te'eni's cognitive-affective model of organizational communication

\u2018Ontology\u2019 and Terminological Frameworks: an Overview of Issues and Term(s)

This paper addresses the question of the protean nature of \u2018ontology\u2019, with special attention paid to its use within the domain of terminology theories and applications. This term is widely used nowadays within various disciplines for designating different types of organising relational frameworks. Yet, its designations remain unvaried and, in this way, it causes ambiguity. The multifaceted nature of the so-called \u2018ontology\u2019 hinders the possibility of providing an unambiguous defi nition. This is mainly due to the multi- and interdisciplinary dimension of this notion, which is outlined here through an overview of its application within philosophy, information science, and linguistic disciplines. The reference model of ontology that is applied nowadays in various disciplines corresponds to an object, or more precisely, to various types of objects which are all based on a relational framework, and are used for organising different types of knowledge units. This view differs from the original value of ontology that was shaped within philosophy as a purely theoretical model, a global and universally-valid abstract classifi cation of reality. Therefore, it seems appropriate that this term should acquire greater precision especially when it is used within the domain of terminology