Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

English (EN)·Polski (PL)·Yкраїнський (UK)
Przejdź do strony domowej biblioteki Centralna Biblioteka Wojskowa Link otwiera się w nowym oknie Logo biblioteki Prolib Integro - strona głównaCentralna Biblioteka Wojskowa

Wyszukujesz frazę "ontology" wg kryterium: Temat

  Lista filtrów
Wyrównaj
Wyświetlanie 1-15 z 449
Tytuł:
Jak mówić o bycie? Przyczynek do typologizacji metafizyk
How to speak about being? A contribution to the typology of metaphysics
Autorzy:
Wojtysiak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/2015960.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
metafizyka
ontologia
byt
istnienie
metaphysics
ontology
being
existence
Opis:
I suggest to distinguish the following three types of metaphysics: (1) the metaphysics of undifferentiated being (Parmenides, B. Russell, W. V. O. Quine, M. A. Krąpiec, M. Przełęcki): to be (in the existential use) and to exist mean the same, all objects are/exist in the only one way (i.e. all objects are real), there are no nonexistent objects; (2) the metaphysics of differentiated being (Plato?, Ch. Wolff, A. Meinong, K. Twardowski, J. J. Jadacki): the meaning of to exist is the one of many meanings of to be, all objects are but not all objects exist, there are nonexistent objects; (3) the metaphysics of ways of existence (Aristotle, Thomas Aquinas?, R. Ingarden, A. B. Stępień): to be (in the existential use) and to exist mean the same, there are some different ways of being/existence (i.e. some objects are real, other objects are ideal or intentional, etc.), there are no nonexistent objects – if something does not exist in some way, it does not exist at all. I consider in details the above-mentioned metaphysics. One can give some objections to each of them but there are some possibilities of their defence. How to choose one of given metaphysics? It seems that the choice of metaphysics is the choice of some uses of the words to be-to exist and its ontological commitments. I prefer the metaphysics of ways of existence because its universe is not too poor or too rich. This metaphysics is „the golden mean” between the metaphysics of undifferentiated being and the metaphysics of differentiated being.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 497-515
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Między „ontologią”, „metafizyką” i „realizmem”. Szkic metafilozoficzny
Between „ontology”, „metaphysics” and „realism”. A Metaphilosophical Sketch
Autorzy:
Majdański, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/2015967.pdf
Data publikacji:
2002
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
ontologia
metafizyka
realizm
semiotyka
ontology
metaphysics
realism
semiotics
Opis:
The article concerns the relations between the notions of „ontology”, „metaphysics” and „realism”. The author mainly takes into consideration the semiotic aspect of the issue. He discusses the understanding of it that was formed at the Philosophy Department of the Catholic University of Lublin after World War II and was inspired by M. A. Krąpiec's, S. Kamiński's and A. B. Stępień's works.
Źródło:
Roczniki Filozoficzne; 2002, 50, 1; 383-401
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Antropologiczne podstawy sportu
Anthropological Foundations of Sport
Autorzy:
Kowalczyk, Stanisław
Powiązania:
https://bibliotekanauki.pl/articles/1857218.pdf
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
sport
filozofia sportu
ontologia sportu
cele sportu
gra
rywalizacja
zabawa
autokreacja człowieka
philosophy of sport
ontology of sport
goals of sport
game
competition
play
human auto-creation
Opis:
Sport plays at present an essential role in social life, and it is genetically conditioned by human psycho-physical needs. It is a multidimensional phenomenon. In its anthropological-ontological aspect, sport is 1) a rest after work, 2) a departure from everyday life and a quasi-festive experience, 3) an active play, 4) a game based on fixed rules and manifesting in a symbolical manner the changeability of human fortunes, 5) competition for victory (but not a brutal aggression), 6) a fascinating para-theatrical show, 7) a form of human auto-creation. Sportive activity may play the following anthropological functions in individual and social life: ludic, hedonistic, hygienic and health-promoting, recreational, competitive, theatrical, aesthetic, socio-integrating, educational, ethic-formative, military, and adaptive for a job.
Źródło:
Roczniki Nauk Społecznych; 2003, 31, 1; 139-147
0137-4176
Pojawia się w:
Roczniki Nauk Społecznych
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Definicje w systemie ontologii Stanisława Leśniewskiego. Problem definicji twórczych
Definitions in Stanisław Leśniewskis System of Ontology. The Problem of Creative Definitions
Autorzy:
Grygierzec, Ewa
Powiązania:
https://bibliotekanauki.pl/articles/2015847.pdf
Data publikacji:
2003
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
logika
S. Leśniewski
ontologia
definicja
logic
ontology
definition
Opis:
In the first part of the article S. Leśniewski's system of ontology is characterized. It is a name system, one of the broadest systems of this type built in the first half of the 20th century. Ontology is built on the basis of only one axiom; hence definitions play such an important role in this system. The second part of the article is devoted to a characteristic of definitions in ontology. Two kinds of definitions are most often mentioned in ontology: protothetic and ontological ones. This division results from the kind of functor that the given definition introduces into the system. Protothetic definitions introduce functors that generate propositions and ontological ones introduce functors that generate names. In the third part of the article comments are made on creative definitions in ontology. An important feature of definitions in ontology is their creativity. A definition is creative if after it is included in a system it allows proving such a theorem that could not be proved without this definition. The most important motive for selecting creative definitions for building a deduction system is the postulate of formulating a minimum number of the strongest axioms and primary rules. In ontology some of the protothetic and ontological definitions are distinguished by the creative property.
Źródło:
Roczniki Filozoficzne; 2003, 51, 1; 67-83
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filozofia nauk przyrodniczych w dobie wykładniczego tempa rozwoju nauki
Autorzy:
Such, Jan
Powiązania:
https://bibliotekanauki.pl/articles/2013887.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia przyrody
filozofia nauki
ontologia
philosophy of nature
philosophy of science
ontology
Źródło:
Roczniki Filozoficzne; 2005, 53, 2; 421-423
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filozofia przyrody jako pomost między naukami przyrodniczymi a filozofią
Autorzy:
Krajewski, Władysław
Powiązania:
https://bibliotekanauki.pl/articles/2013888.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia przyrody
filozofia nauki
ontologia
philosophy of nature
philosophy of science
ontology
Źródło:
Roczniki Filozoficzne; 2005, 53, 2; 418-421
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Ontologiczne założenia korespondencyjnej koncepcji prawdy
Ontological Assumptions of the Correspondence Conception of Truth
Autorzy:
Wojtysiak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/2013902.pdf
Data publikacji:
2005
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
prawda
korespondencja
ontologia
deflacjonizm
racjonalność
Arystoteles
Tarski
truth
correspondence
ontology
deflationism
rationality
Aristotle
Opis:
Philosophers are mainly focused on the epistemological concept of truth. However, if we want to maintain this concept in the classical version (correspondence one) we have to assume at least some minimal ontology (metaphysics), and hence some ontological (metaphysical) concept of truth. Items I. and II. are an attempt at explicating this ontology in the context of Aristotle’s and Tarski’s conceptions, and item IV. is (in discussion with P. Horwich and D. Lewis) taking an attitude towards contemporary challenges that deflationism brings to them. It seems that today one may defend the correspondence conception of truth and its ontological assumptions, that boil down to stating a certain form of the world’s “rationality”.
Źródło:
Roczniki Filozoficzne; 2005, 53, 2; 309-327
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Structural representations of unstructured knowledge
Autorzy:
Traczyk, W.
Powiązania:
https://bibliotekanauki.pl/articles/309054.pdf
Data publikacji:
2005
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
textual knowledge
knowledge representation languages
ontology
Opis:
Knowledge should be represented in a formal, structured manner if we want to process and manage it. Unfortunately a source knowledge presented in many documents has informal, unstructured shape. The goal of these considerations is to present the methods of translation from the textual, unstructured knowledge to the structured knowledge, preserving textual form.
Źródło:
Journal of Telecommunications and Information Technology; 2005, 3; 81-86
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Telecommunications, multiple criteria analysis and knowledge theory
Autorzy:
Wierzbicki, A. P.
Powiązania:
https://bibliotekanauki.pl/articles/309016.pdf
Data publikacji:
2005
Wydawca:
Instytut Łączności - Państwowy Instytut Badawczy
Tematy:
decision support
intuition
knowledge creation
knowledge integration and management
tacit knowledge
ontology
epistemology
technology creation
telecommunications
Opis:
Telecommunications requires multiple criteria analysis and decision support. It is shown how some basic facts from telecommunications and informational sciences can be used to formulate a rational theory of intuition, developed as a complement of multiple criteria decision support. This paper presents a method called creative space used for integrating various approaches to knowledge creation and based on SECI spiral, I5 system and rational theory of intuition. Questions of supporting new technology creation by constructing specialized creative environments similar to decision support environments are also indicated.
Źródło:
Journal of Telecommunications and Information Technology; 2005, 3; 3-13
1509-4553
1899-8852
Pojawia się w:
Journal of Telecommunications and Information Technology
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Constructing model of knowledge base according to MOKA methodology
Budowanie modelu bazy wiedzy zgodnego z metodologią MOKA
Autorzy:
Skarka, W.
Powiązania:
https://bibliotekanauki.pl/articles/327820.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Polskie Towarzystwo Diagnostyki Technicznej PAN
Tematy:
projektowanie oparte na wiedzy
ontologia
OWL
MOKA
knowledge based engineering
ontology
Opis:
The paper presents the structure of a model and the experience of model constructing according to MOKA methodology. The modeling process covers ontology creation of two parts of a model: formal and informal in Protégé-OWL system. Informal model is used for knowledge acquisition for the purpose of knowledge base creation for a Knowledge Based System. Interface of this part of a model are ICARE forms. Formal model includes target domain relations and ontology. Thus, the formal model orders ontology of informal model and defines fully the domain of a given knowledge base. The model has been tested in designing process of a group of machines and can be used in different phases of Knowledge Based System, first of all in designing but also in operation and maintenance. The model includes ontology for products and processes and complex relations between model elements require the usage of advanced tools such as Protégé-OWL for the purpose of model creation.
W artykule przedstawiono strukturę modelu oraz doświadczenia z budowy modelu zgodnego z metodologia MOKA. Proces modelowania obejmuje budowę ontologii w systemie Protégé-OWL dwóch części modelu: nieformalnego i formalnego. Model nieformalny służy do pozyskiwania wiedzy do celów budowy bazy wiedzy dla systemu opartego na wiedzy a zewnętrznym interfejsem tej części modelu są formularze ICARE. Natomiast model formalny zawiera docelowe relacje i słownik ontologii. Model formalny porządkuje więc ontologie modelu nieformalnego i definiuje w pełni dziedzinę zadanej bazy wiedzy. Model był testowany w procesie projektowo-konstrukcyjnym i może być stosowany w różnych fazach procesu tworzenia systemu opartego na wiedzy przede wszystkim w zakresie projektowania I konstruowania ale także w dziedzinie eksploatacji. Model zawiera ontologię dla produktów i procesów a złożone relacje między elementami modelu wymagają stosowania do budowy tego modelu zaawansowanych narzędzi budowy ontologii jakim jest Protégé-OWL.
Źródło:
Diagnostyka; 2006, 2(38); 37-40
1641-6414
2449-5220
Pojawia się w:
Diagnostyka
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Filozofia przyrody a ontologia
Autorzy:
Tempczyk, Michał
Powiązania:
https://bibliotekanauki.pl/articles/2013466.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
filozofia nauki
filozofia przyrody
ontologia
philosophy of science
philosophy of nature
ontology
Źródło:
Roczniki Filozoficzne; 2006, 54, 1; 315-318
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
O zasadzie racji dostatecznej
On the Principle of Sufficient Reason
Autorzy:
Wojtysiak, Jacek
Powiązania:
https://bibliotekanauki.pl/articles/2013433.pdf
Data publikacji:
2006
Wydawca:
Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
Tematy:
zasada racji dostatecznej
ontologia (metafizyka)
byt konieczny (Bóg)
nieskończoność
modalności
the principle of sufficient reason
ontology (metaphysics)
the necessary being (God)
infinity
modalities
Opis:
The aim of this paper is to defend the Principle of Sufficient Reason (PSR). I analyse various versions of this principle (and their structure) and various ways of justifying it. Then I present and attempt to challenge some counterexamples allegedly refuting a universal application of the PSR. One can distinguish three versions of the PSR: for each state of affairs there is a sufficient reason for its obtaining (PSR-O); for each true proposition there is a direct or indirect justification (PSR-E); for each state of affairs there exists an intellectual duty to search for a sufficient reason for obtaining of that state of affairs, and for each known true proposition – to search for its justification (PSR-M). There are standard and non-standard versions of the PSR-O. The PSR-Ostand can be only valid if there are no chains of contingent reasons and outcomes with first modules, i.e. all chains are actually infinite. However, there are serious (yet debatable) arguments against the possibility of such infinity. The necessary condition of the PSR-Onon-stand universal working is the existence of a necessary substance (thing): that substance would be a (free) reason of certain contingent states of affairs obtaining in its domain, and those states of affairs would then be reasons for all other contingent state of affairs and things. (The principle does not require a necessary substance to have its own reason). Limiting the chain of reasons to contingent states of affairs ended with a necessary state (if this state is a reason by necessity) would lead to the paradox of universal necessarism. An ontological “cost” of holding the PSR-Onon-stand is a postulate of the existence of the necessary, supra-natural substance, i.e. God. However, there are serious advantages of the view which accepts that the PSR-Onon-stand is generally valid: a nomological unity of the world and explanatory simplicity.
Źródło:
Roczniki Filozoficzne; 2006, 54, 1; 179-216
0035-7685
Pojawia się w:
Roczniki Filozoficzne
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Using Web Services to enhance Geographic Information Systems
Autorzy:
Ladner, R.
Petry, F.
Warner, E.
Gupta, K.
Powiązania:
https://bibliotekanauki.pl/articles/970472.pdf
Data publikacji:
2006
Wydawca:
Polska Akademia Nauk. Instytut Badań Systemowych PAN
Tematy:
ontologia
usługa WWW
dane przestrzenne
system informacji przestrzennej
ontology
web services
spatial data
GIS
geographic information systems
Opis:
In this paper we describe an approach to the extension of geographic information systems to take advantage of the continuing development of capabilities of the Semantic Web. This is presented in the context of a portal based Geospatial Information Database (GIDB™), an object-oriented spatial database capable of storing multiple data types from multiple sources. We have developed our approach for a specific domain, spatially oriented, meteorological and oceanographic, but this can clearly be applied to other Spatial data domains. Finally we illustrate the use of the ontology development system based on Generative Sublanguage Ontologies (GSO), a type of linguistic ontology inspired by the Generative Lexicon Theory, to develop effective domain ontologies.
Źródło:
Control and Cybernetics; 2006, 35, 1; 29-46
0324-8569
Pojawia się w:
Control and Cybernetics
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A proposition of knowledge management methodology for the purpose of reasoning with the use of an upper-ontology
Propozycja metodologii do zarządzania wiedzą na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu
Autorzy:
Szymański, K.
Dobrowolski, G.
Koźlak, J.
Zygmunt, A.
Powiązania:
https://bibliotekanauki.pl/articles/305694.pdf
Data publikacji:
2007
Wydawca:
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie. Wydawnictwo AGH
Tematy:
ontologia
zarządzanie wiedzą
integracja ontologii
ontologia wyższego poziomu
wnioskowanie
ontology
knowledge management
ontology integration
upper ontology
reasoning
Opis:
This article describes a proposition of knowledge organization for the purpose of reasoning using an upper-ontology. It presents a model of integrated ontologies architecture which consists of a domain ontologies layer with instances, a shared upper-ontology layer with additional rules and a layer of ontologies mapping concrete domain ontologies with the upper-ontology. Thanks to the upper-ontology, new facts were concluded from domain ontologies during the reasoning process. A practical realization proposition is given as well. It is based on some popular Semantic Web technologies and tools, such as OWL, SWRL, nRQL, Protege and Racer.
Artykuł przedstawia propozycję organizacji wiedzy na cele wnioskowania z wykorzystaniem ontologii wyższego poziomu. Prezentuje model architektury zintegrowanych ontologii, składający się z ontologii domenowych z instancjami, współdzielonej ontologii wyższego poziomu z dodatkowymi regułami oraz z warstwy ontologii mapujących. Dzięki wiedzy wyższego poziomu uzyskano nowe fakty podczas wnioskowania. Zaprezentowano rownież propozycje praktycznej realizacji omawianego podejścia przy użyciu popularnych narzędzi i technologii dla Semantic Web, takich jak OWL, SWRL, nRQL, Protege i Racer.
Źródło:
Computer Science; 2007, 8, Spec. Ed; 117-133
1508-2806
2300-7036
Pojawia się w:
Computer Science
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Enhancement of accuracy in mammograms interpretation using ontology-driven editor for lesions description and CAD tool - preliminary results
Autorzy:
Podsiadły-Marczykowska, T.
Wróblewska, A.
Przelaskowski, A.
Powiązania:
https://bibliotekanauki.pl/articles/333870.pdf
Data publikacji:
2007
Wydawca:
Uniwersytet Śląski. Wydział Informatyki i Nauki o Materiałach. Instytut Informatyki. Zakład Systemów Komputerowych
Tematy:
interpretacja radiologiczna
ontologia
dokładność diagnostyczna
diagnostyka wspomagana komputerowo
radiological interpretation
ontology
diagnostic accuracy
computer-aided diagnosis
Opis:
Although mammography is the standard of reference for the detection of early breast cancer, as many as 25% of breast cancers may be missed. To reduce the possibility of missing a cancer, the following methods and tools has been proposed: continuing education and training, prospective double reading, retrospective evaluation of missed cases, and use of computer-aided detection (CAD). In the presented paper we report on preliminary results of reducing the number of false-negative cases in mammograms interpretation by using ontology-driven editor for mammograms description, and MammoViewer, a CAD tool for radiologists' perception improvement. The use of editor resulted in reduction of interpretation errors and improved consistency of diagnosis. Computerized image processing methods make the signs of pathologies more conspicuous and so resulted in improvement of lesion perception.
Źródło:
Journal of Medical Informatics & Technologies; 2007, 11; 235-243
1642-6037
Pojawia się w:
Journal of Medical Informatics & Technologies
Dostawca treści:
Biblioteka Nauki
Artykuł
Wyświetlanie 1-15 z 449

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies