Search results

Filters

  • Journals
  • Keywords
  • Date

Search results

Number of results: 14
items per page: 25 50 75
Sort by:

Abstract

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.
Go to article

Abstract

Recently, the topic of ontologies has growing attention from the IT community. Various processes of ontology creation, integration, and deployment have been proposed. As a consequence there appeared an urgent need for evaluating the resulting ontologies in a quantitative way. A number of metrics has been defined along with different approaches to measuring the properties of ontologies. In the first part of this paper we review the state of the art in this domain. Special attention is devoted to discussing differences between syntactic measures (referring to various properties of graphs that represent ontologies) and semantic measures (reflecting the properties of the space of ontology models). In the second part we propose an alternative approach to quantification of semantics of an ontology. The original proposal presented here exploits specific methods of representing the space of semantic models used for optimization of reasoning. We argue that this approach enables us to capture different kinds of relations among ontology terms and offers possibilities of devising new useful measures.
Go to article

Abstract

Recently, the topic of ontologies has growing attention from the IT community. Various processes of ontology creation, integration, and deployment have been proposed. As a consequence there appeared an urgent need for evaluating the resulting ontologies in a quantitative way. A number of metrics has been defined along with different approaches to measuring the properties of ontologies. In the first part of this paper we review the state of the art in this domain. Special attention is devoted to discussing differences between syntactic measures (referring to various properties of graphs that represent ontologies) and semantic measures (reflecting the properties of the space of ontology models). In the second part we propose an alternative approach to quantification of semantics of an ontology. The original proposal presented here exploits specific methods of representing the space of semantic models used for optimization of reasoning. We argue that this approach enables us to capture different kinds of relations among ontology terms and offers possibilities of devising new useful measures.
Go to article

Abstract

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.
Go to article

Abstract

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.
Go to article

Abstract

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.
Go to article

Abstract

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.
Go to article

Abstract

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.
Go to article

Abstract

LABLITA-Suite. Resources for the acquisition of Italian as a second language – LABLITA-suite provides technology-enhanced learning resources for the acquisition of Italian L2. IMAGACT allows for mastering the semantic properties of action verbs in the early phases of language acquisition. The LABLITA corpus of Spoken Italian can be used for training learners for face to face conversations. RIDIRE and CORDIC provide corpus linguistic tools for accessing Italian phraseology, which is useful for enhancing writing capabilities in the various domains of language usage.
Go to article

Abstract

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.
Go to article

Abstract

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.
Go to article

Abstract

Once flourishing in the early medieval India, the materialist Carvaka/Lokayata tradition of philosophy vanished centuries ago leaving mere bits from their foundational sutra, and from a few commentaries thereon. These are scattered in the works of their opponents, hence the winding path to reconstructing the Carvaka/Lokayata thought necessarily begins with evaluating the reliability of the source material. This paper deals with the problem of the brief account of two interpretations of the Carvaka/Lokayata aphorism: 'from these, consciousness', recorded by the 8th-century Buddhist authors Śantarak�ita and Kamalaśfla in the Lokâyata-parfk$a Chapter XXII of the Tattva-sańgraha(-pañjika), critically edited by the author of the present paper.
Go to article

Abstract

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.
Go to article

This page uses 'cookies'. Learn more