The early philosophical standpoint of Professor Bogusław Wolniewicz alluded mainly to the so-called first philosophy of Ludwig Wittgenstein, as expressed in his Tractatus Logico-Philosophicus. Professor Wolniewicz’s views have found their expressions, first, in the book (in Polish) Things and Facts. An introduction to the first philosophy of Ludwig Wittgenstein (1968), and finally in his monograph (in Polish) Ontology of Situations. Foundations and Applications (1985). In both cases, Wolniewicz’ standpoint has been expressed by giving a substantive interpretation to semiotical and logical concepts (i.e. by producing hypostases). This practice looks rather dubious to me, in both cases, although I hope that ontology of situations can be usefully treated as a general formal theory of semantical correlates characteristic for sentential statements.
The paper considers the technique of modeling and formation educational components of the planned training of CDIO Syllabus, realized in the form of the educational adaptive environment of engineering education. The following key concepts of the methodology have been accepted: competence models of the stages of the CDIO initiative, the method of project training, syntax for describing the concepts of the domain, models for mapping support concepts in the form of expressions of knowledge and ontological engineering.
In this article I try to think about the terms “stories” and “ontologies” in Ewa Domańska’s works: Mikrohistorie. Spotkania w międzyświatach (1999; 2005), Historie niekonwencjonalne (2006), Historia egzystencjonalna (2012), Historia ratownicza (2014) and I try to compare my conclusions with her latest publication. I am interested in the turning point in her thoughts, giving up the theory and methodology of history and switching to the ontology of the dead body. In order to do this I look through these publications and indicate which threads could help work out the excellent, innovative, and fresh conception of Nekros. The main part of the article is a detailed discussion of this. In the other part, I consider how to interpret more traditionally a past description like “cultural memory” and whether Domańska’s works accidentally invalidate them. I suggest a short statement of Marcin Napiórkowski’s and Stephen Marks’ works to show closer (Marks) and further (Napiórkowski) parallels or completely different presentations of similar problems.
Formalization of a set of beliefs expressed in one language consists in translating them into sentences of another language. The characteristic property of a good formalization is that the target language is correctly chosen and the translations precisely reflect the meaning of the original sentences. In the paper a formalization of ontology of situations (given by Professor Bogusław Wolniewicz) is discussed. I argue that this is an example of a perfect solution of the problem.
A significant part of the knowledge used in the production processes is represented with natural language. Yet, the use of that knowledge in computer-assisted decision-making requires the application of appropriate formal and development tools. An interesting possibility is created by the use of an ontology that is understandable both for humans and for the computer. This paper presents a proposal for structuring the information about the foundry processes, based on the definition of ontology adapted to the physical structure of the ongoing technological operations that make up the process of producing castings.
Selected scientific contacts of Jacek Hawranek and Jan Zygmunt with Professor Bogusław Wolniewicz in the period from the end of the 1980s to the beginning of the 21st century are presented in this essay. They concerned the algebraic aspects of the ontology of situations and from one moment – one only question that was posed by Wolniewicz in his note A question about join-semilattices (Bulletin of the Section of Logic, 19/3, 1990, pp. 108–108), and resulted in the Hawranek & Zygmunt paper Wokół pewnego zagadnienia z dziedziny półkrat górnych z jednością (“Some comments on a question about semilattices with unit”) (Acta Universitatis Wratislaviensis 1445, Logika 15 (1993), pp. 59–68) containing an answer to Wolniewicz’s question. The Hawranek & Zygmunt paper is reprinted below, and the essay might be also treated as a kind of an analytical and historical introduction to it. The story of contacts Wolniewicz – Hawranek & Zygmunt has been told with the help of the preserved correspondence between the three persons. In his letters Professor Wolniewicz appears as a passionate researcher, open to discussion, ready to share his research successes and difficulties with others.
The paper presents a new ontology-based approach to the elaboration and management of evidences prepared by developers for the IT security evaluation process according to the Common Criteria standard. The evidences concern the claimed EAL (Evaluation Assurance Level) for a developed IT product or system, called TOE (Target of Evaluation), and depend on the TOE features and its development environment. Evidences should be prepared for the broad range of IT products and systems requiring assurance. The selected issues concerning the author’s elaborated ontology are discussed, such as: ontology domain and scope definition, identification of terms within the domain, identification of the hierarchy of classes and their properties, creation of instances, and an ontology validation process. This work is aimed at the development of a prototype of a knowledge base representing patterns for evidences.
The aim of this study is to design and implement a computer system, which will allow the semantic cataloging and data retrieval in the field of cast iron processing. The intention is to let the system architecture allow for consideration of data on various processing techniques based on the information available or searched by a potential user. This is achieved by separating the system code from the knowledge of the processing operations or from the chemical composition of the material being processed. This is made possible by the creation and subsequent use of formal knowledge representation in the form of ontology. So, any use of the system is associated with the use of ontologies, either as an aid for the cataloging of new data, or as an indication of restrictions imposed on the data which draw user attention. The use of formal knowledge representation also allows consideration of semantic meaning, a consequence of which may be, for example, returning all elements in subclasses of the searched process class or material grade.
Bogusław Wolniewicz, inspired by his formal ontology of situations, has put forward a question on semilattices with a unit (A question about joinsemilattices, Bulletin of the Section of Logic 19/3, 1990). The present paper is entirely devoted to this problem in the formulation given by Wolniewicz. First, the meaning of the question is analyzed and its lattice-theoretical and Boolean algebraic contents are exhibited. Second, set-theoretical and topological counterparts of the question are formulated and commented upon.