Filtry
wszystkich: 898
wybranych: 366
-
Katalog
- Publikacje 366 wyników po odfiltrowaniu
- Czasopisma 78 wyników po odfiltrowaniu
- Konferencje 11 wyników po odfiltrowaniu
- Wydawnictwa 2 wyników po odfiltrowaniu
- Osoby 17 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 80 wyników po odfiltrowaniu
- Wydarzenia 2 wyników po odfiltrowaniu
- Dane Badawcze 341 wyników po odfiltrowaniu
Filtry wybranego katalogu
Wyniki wyszukiwania dla: ALGEBRA ONTOLOGII
-
The cartographer algorithm for processing and querying description logics ontologies
PublikacjaLogika opisowa jest jednym z najbardziej popularnych formalizmów opisu wiedzy. Jej popularność jeszcze wzrosła kiedy pojawił się standard języka OWL. W artykule zaprezentowano nowy algorytm wnioskowania - algorytm kartograficzny - umożliwiający wnioskowanie niejawnie podanej wiedzy z terminologii (TBox) i opisu świata (ABox). Opisano sposób przetwarzania ontologii w terminach sygnatur binarnych i efektywny sposób odpytywania ontologii...
-
Syntactic modular decomposition of large ontologies with relational database
PublikacjaSupport for modularity allows complex ontologies to be separated into smaller pieces (modules) that are easier to maintain and compute. Instead of considering the entire complex ontology, users may benefit more by starting from a problem-specific set of concepts (signature of problem) from the ontology and exploring its surrounding logical modules. Additionally, an ontology modularization mechanism allows for the splitting up of...
-
Collaborative Editing of Ontologies Using Fluent Editor and Ontorion
PublikacjaIn this paper we present two tools that we are developing at Cognitum for managing large knowledge bases: Fluent Editor and the Ontorion Server. We have been able to build a collaborative knowledge management system using these two tools. We show how this system can be used for the concurrent modification of knowledge and how we can manage multiple modifications to the same knowledge.
-
Four-point boundary-value problems for differential-algebraic systems
PublikacjaBadane są czteropunktowe problemy brzegowe dla układów równań różniczkowo-algebraicznych. Stosując metodę iteracji monotonicznych, podano warunki dostateczne na istnienie rozwiązań (jednego lub ekstremalnych) takich problemów. Podano przykład ilustrujacy otrzymane wyniki teoretyczne.
-
Computing algebraic transfer entropy and coupling directions via transcripts
PublikacjaMost random processes studied in nonlinear time series analysis take values on sets endowed with a group structure, e.g., the real and rational numbers, and the integers. This fact allows to associate with each pair of group elements a third element, called their transcript, which is defined as the product of the second element in the pair times the first one. The transfer entropy of two such processes is called algebraic transfer...
-
Quadratic convergence of monotone iterations to systems of differential-algebraic equations
PublikacjaZastosowano tu metodę dolnych i górnych rozwiązań do skonstruowania monotonicznych ciągów, które są zbieżne kwadratowo do jedynego rozwiązania układu równań różniczkowo-algebraicznych z warunkiem początkowym.
-
Algebraic model of continuous time Gm-LC filters and applications.
PublikacjaW pracy zaprezentowano model algebraiczny filtrów Gm-LC czasu ciągłego i jego wybrane zastosowania. Zaproponowany model obejmuje struktury pracujące zarówno w trybie napięciowym jak i prądowym. Użyteczność opracowanego modelu potwierdzono na przykładzie syntezy eliptycznego filtru Gm-LC rzędu nieparzystego.
-
A Distributed Description of Facts in a Distributed Semantic Web Ontology
PublikacjaInicjatywa Sieci Semantycznej (ang. Semantic Web) zakłada tworzenie w Internecie ontologii zawierających semantyczny opis dużych dziedzin wiedzy. Okazało się jednak, że przekroczenie pewnej wielkości ontologii powoduje szereg negatywnych zjawisk. Aby tym zjawiskom zapobiec, wiele prac koncentruje się na dzieleniu baz wiedzy. Celem tego opracowania jest zaprezentowanie problemów związanych z modularyzacją oraz przedstawienie kilku...
-
Fluent Editor and Controlled Natural Language in Ontology Development
Publikacja -
Communications, Multimedia, Ontology, Photonics and Internet Engineering 2012
Publikacja -
Lexicon Based Algorithm for Domain Ontology Merging and Alignment
PublikacjaMore and more systems contain some kind of knowledge describing their field of operation. Such knowledge in many cases is stored as an ontology. A need arises for ability to quickly match those ontologies to enable interoperability of such systems. The paper presents a lexicon based algorithm for merging and aligning of OWL ontologies. The proposed similarity levels are being presented and the proposed algorithm is being described....
-
Ontology of economy as the basis of Peter Koslowsk's ''Ethical economy''
PublikacjaArtykuł daje prezentacje i komentarz rozdziału o ontologicznych przesłankach teorii ekonomicznych z pracy Petera Koslowskiego ''Zasady etycznej ekonomii (''Princiles''of Ethical Economy, Kluwer Academic Publishers, 2001).
-
Enhancing the set of experience knowledge structure as a reflexive ontology
PublikacjaPrzedstawiono mechanizm wspomagania reprezentacji wiedzy wyrażonej w postaci zbioru doświadczeń przy pomocy ontologii.
-
A model of an Ontology Oriented Threat Detection System (OOTDS)
PublikacjaArtykuł omawia projekt zorientowanego na ontologię systemu wykrywania zagrożeń (OOTDS) dla środowiska opisywalnego przez ontologię Bayesowską pierwszego rzędu wyrażoną w języku PR-OWL. Zakłada się, że środowisko monitorowane jest przez zbiór czujników dostarczających nieustannie systemowi OOTDS zdarzenia odzwierciedlające zmiany środowiska, wyrażone w specyficzny dla czujników sposób. Dedykowane moduły obsługi zdarzeń konwertują...
-
Ontology of the Design Pattern Language for Smart Cities Systems
PublikacjaThe paper presents the definition of the design pattern language of Smart Cities in the form of an ontology. Since the implementation of a Smart City system is difficult, expensive and closely linked with the problems concerning a given city, the knowledge acquired during a single implementation is extremely valuable. The language we defined supports the management of such knowledge as it allows for the expression of a solution...
-
The Use of an Ontotrigger for Designing the Ontology of a Model Maturity Capsule
PublikacjaThe aim of this work is to give the definition and present the possibility of applying (introduced and defined here) ontotriggers to design the ontology of a maturity capsule used in the assessment of IT projects. The complexity of designing ontology processes raises the question of whether there is a need for designing ontologies in a situation where it is possible to map them. The work is divided into four main parts. The first...
-
Sztuczna inteligencja w onkologii - nowe narzędzia do diagnostyki i medycyny spersonalizowanej
Publikacjastatnie dekady doprowadziły do rozwoju zaawansowanych technologii badawczych, cechujących się wysoką przepustowością. Zmienia to oblicze medycyny, doprowadzając do generowania ogromnej ilości danych. Z każdym kolejnym rokiem przybywa pacjentów onkologicznych, a zebrane informacje o pacjentach przekraczają możliwości lekarzy i naukowców w zakresie samodzielnej analizy tzw. big data. Właśnie dlatego świat nauki coraz częściej zwraca...
-
Algebraic periods of self-maps of a rational exterior space of rank 2
PublikacjaArtykuł stanowi kompletny opis okresów algebraicznych dla odwzorowań wymiernej przestrzeni zewnętrznej rangi 2 w siebie.
-
Samoilenko`s method to differential algebraic systems with integral boundary conditions.
PublikacjaProblemy różniczkowo-algebraiczne z warunkami brzegowymi (typu całkowego) są przedmiotem badań. Zastosowano metodę Samoilenki w powiązaniu z metodą porównawczą. O prawych stronach zagadnienia zakładano, że spełniają warunek Lipschitza oraz promień spektralny odpowiedniej macierzy jest mniejszy od 1.Podane zostały warunki dostateczne na istnienie rozwiązania omawianego zagadnienia.
-
Processing and querying description logic ontologies using cartographic approach
PublikacjaLogika opisowa (ang. description logic) jest formalizem reprezentacji wiedzy, który w ostatnich latach uzyskał dużą popularność pomiędzy inżynierami wiedzy. Po krótkim wprowadzeniu do formalizmu logiki opisowej artykuł prezentuje system wnioskowania opracowany na Politechnice Gdańskiej w ramach projektu PIPS 6 Programu Ramowego UE. System wnioskujący jest oparty na nowatorskiej metodzie kartograficznej, której podstawy również...
-
Processing and querying description logic ontologies using cartographic approach
PublikacjaLogika opisowa jest formalizmem reprezentowania wiedzy, który ostatnio zyskuje na znaczeniu wśród inżynierów. Niniejszy rozdział, po krótkim wprowadzeniu do logiki opisowej, prezentuje silnik wnioskujący opracowany na Politechnice Gdańskiej. Silnik ten, o nazwie KaSeA, opiera się na oryginalnej idei kartografii wiedzy. Niniejszy rozdział pokazuje podstawy kartografii wiedzy, jej ograniczenia i potencjał rozwoju, a także porównuje...
-
Model zarządzania ontologiami w środowisku oceny technologii informatycznych
PublikacjaW tekście zaprezentowano wczesny prototyp ontologii zbudowanej z myślą o wykorzystaniu w wieloagentowym systemie służącym ocenie technologii informatycznych (MAS_IT). Jako przykład wybrano aplikacje służące zarządzaniu projektami, w szczególności informatycznymi. Główny problem tu podniesiony dotyczy zarządzania procesem tworzenia i rozbudowy ontologii. Jako że nie ma jednej słusznej metody działania, inżynier wiedzy staje przed...
-
Processing and Querying Description Logic Ontologies Using Cartographic Approach
Publikacja -
Decisional DNA, reflexive ontologies, and security: developing decisional trust
PublikacjaOmowiono model osiagania zaufania decyzjnego opartego na decyzyjnym DNA, refleksyjnych ontologiach oraz na bezpieczenstwie technologicznym.
-
Model of an Integration Bus of Data and Ontologies of Smart Cities Processes
PublikacjaThis paper presents a model of an integration bus used in the design of Smart Cities system architectures. The model of such a bus becomes necessary when designing high-level architectures, within which the silo processes of the organization should be seen from the perspective of its ontology. For such a bus to be used by any city, a generic solution was proposed which can be implemented as a whole or in part depending on the requirements...
-
Historia otologii. Część II (od schyłku XIX do końca XX wieku)
Publikacja -
Przetwarzanie zapytań do terminologii ontologiiniepewnych opartych na logice opisowej
PublikacjaSystemy informatyczne oparte na bazach wiedzy stają się coraz bardziej popularne. Znacząca ilość istniejących systemów do opisu wiedzy wykorzystuje ontologie. Budując ontologie, bardzo często zakłada się, że informacje w nich przechowywane są pewne. W niektórych jednak zastosowaniach takie założenie może nie być do końca prawdziwe. Niniejszy Rozdział wprowadza w tematykę ontologii niepewnych oraz prezentuje propozycje rozszerzenia...
-
Wyszukiwanie informacji z wykorzystaniem algorytmu Ontology Clustering by Directions
PublikacjaArtykuł opisuje algorytm Ontology Clustering by Directions. Algorytm ten ma na celu wspieranie użytkowników w formułowaniu ontologicznych zapytań. Ontologiczne zapytania służą do wydobywania informacji sformułowanych za pomocą ontologii opisanych np. językiem OWL. Artykuł przedstawia rodzaje języków wykorzystywanych do formułowania ontologicznych zapytań. W szczególności opisuje języki, które mają być przyjazne użytkownikom. Na...
-
A video monitoring system using ontology-driven identification of threats
PublikacjaIn this paper, we present a video monitoring systemthat leverages image recognition and ontological reasoningabout threats. In the solution, an image processing subsystemuses video recording of a monitored area and recognizesknown concepts in scenes. Then, a reasoning subsystem uses anontological description of security conditions and informationfrom image recognition to check if a violation of a conditionhas occurred. If a threat...
-
An Ontology-based Contextual Pre-filtering Technique for Recommender Systems
Publikacja -
Validation of an Agent and Ontology-based Information Technology Assessment System
PublikacjaThe aim of this paper is to present a new method of the validation of an Agent and Ontology-based Information Technology Assessment System. In the introduction part of the paper, the characteristics of the proposed multi-agent system are presented. Next, some important details regarding the ontology functionality of this system are described and an approach to its verification process is proposed. The approach employs semantic...
-
Serendipitous Recommendations Through Ontology-Based Contextual Pre-filtering
PublikacjaContext-aware Recommender Systems aim to provide users with better recommendations for their current situation. Although evaluations of recommender systems often focus on accuracy, it is not the only important aspect. Often recommendations are overspecialized, i.e. all of the same kind. To deal with this problem, other properties can be considered, such as serendipity. In this paper, we study how an ontology-based and context-aware...
-
An Ontology-based Contextual Pre-filtering Technique for Recommender Systems
PublikacjaContext-aware Recommender Systems aim to provide users with the most adequate recommendations for their current situation. However, an exact context obtained from a user could be too specific and may not have enough data for accurate rating prediction. This is known as the data sparsity problem. Moreover, often user preference representation depends on the domain or the specific recommendation approach used. Therefore, a big effort...
-
Linear Time-Varying Dynamic-Algebraic Equations of Index One on Time Scales
PublikacjaIn this paper, we introduce a class of linear time-varying dynamic-algebraic equations (LTVDAE) of tractability index one on ar- bitrary time scales. We propose a procedure for the decoupling of the considered class LTVDAE. Explicit formulae are written down both for transfer operator and the obtained decoupled system. A projector ap- proach is used to prove the main statement of the paper and sufficient conditions of decoupling...
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publikacja -
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublikacjaArtykuł prezentuje nową metodę reprezentacji i przetwarzania wiedzy ontologicznej - Kartografię wiedzy. Ta metodapozwala na wnisokowanie z części terminologicznej i asercjonalnej ontologii. Artykuł opisuje metodę oraz jej podstawy teoretyczne. Kartografia wiedzy prechowuje i przetwarza w terminach sygnatur binarnych, które umożliwiają efektywne przetwarzanie ontologii zawierających dużą liczbę osobników. Kartografia wiedzy została...
-
Ontologie vs. reguły — porównanie metod reprezentacji wiedzy na przykładzie dziedziny zarządzania usługami informatycznymi
PublikacjaTekst stanowi krótki przegląd wybranych konstrukcji służących reprezentacji wiedzy w postaci ontologii opartych na logice opisowej i porównanie ich z odpowiednikami opartymi na zapisie regułowym. Z powodu ograniczonej liczby stron pokazano tylko elementy związane z reprezentacją konceptów, bez uwzględniania ról. Do zapisu ontologii wykorzystano formalizmy języka OWL, zaś reguły wyrażono w Prologu. Dla lepszego zilustrowania tych...
-
Quantum information isomorphism: Beyond the dilemma of the Scylla of ontology and the Charybdis of instrumentalism.
PublikacjaZaprezentowano koncepcję izomorfizmu kwantowej informacji, zgodnie z którym kwantowy opis natury jest izomorficzny z samą naturą.
-
Dynamic OWL Ontology matching Using Lexical Wordnet-based Measures
PublikacjaOntologies are often used as a means of describing knowledge and the domain of operation of modern applications. S need arises for the ability to quickly match those ontologies to enable interoperability of such systems. This paper presents an extension to Noy and McGuiness ontology construction methodology which should improve ontology interoperability and a lexicon-based algorithm for merging and aligning of such ontologies stored...
-
Ontology Oriented Approach to Service Selection and Invocation in Complex Context Analysis
PublikacjaContext-aware applications running in the intelligent space are taken into account and their execution in the service oriented environment is considered. It has been presented where and how SOA services can be utilized during their execution: to analyze current context of the application and to support execution of strictly determined actions suitable for that context. The proposed mechanism of context-aware service selection and...
-
On nonlinear two-point boundary value problems for impulsive differential-algebraic problems [online]
PublikacjaSformułowano warunki dostateczne na istnienie ekstremalnych rozwiązań dla zagadnień brzegowych dla równań różniczkowo-algebraicznych z impulsami. Badano też nierówności różniczkowo-algebraiczne z impulsami przy odpowiednich warunkach brzegowych. Na przykładzie zilustrowano otrzymane wyniki.
-
Implementation of algebraic procedures on the GPU using CUDA architecture on the example of generalized eigenvalue problem
Publikacja -
Phytochemical Profiling, Mineral Elements, and Biological Activities of Artemisia campestris L. Grown in Algeria
Publikacja -
Robust output prediction of differential – algebraic systems – application to drinking water distribution system
PublikacjaThe paper presents the recursive robust output variable prediction algorithm, applicable for systems described in the form of nonlinear algebraic-differential equations. The algorithm bases on the uncertainty interval description, the system model, and the measurements. To improve the algorithm efficiency, nonlinear system models are linearised along the nominal trajectory. The effectiveness of the algorithm is demonstrated on...
-
Considerations for artificial intelligence clinical impact in oncologic imaging: an AI4HI position paper
Publikacja -
Ekspertyza polegająca na wykonaniu analiz space syntax dla oddziału Onkologii w szpitalu w Gliwicach.
PublikacjaEkspertyza dotyczy wykorzystania analizy syntaktycznej przestrzeni (space syntax analysis) w procesie planowania przestrzeni. Metoda ta pozwala prognozować wpływ konfiguracji przestrzennej na zachowanie użytkowników. Jest przydatna na każdym etapie planowania, zarówno w przypadku przestrzeni miejskich, jak i w budynkach. Miary syntaktyczne opisujące konfigurację przestrzenną umożliwiają opisanie i wyjaśnienie relacji przestrzennych...
-
Response to abiotic and organic substances stimulation belongs to ontologic groups significantly up-regulated in porcine immature oocytes
Publikacja -
Desert Endemic Plants in Algeria: A Review on Traditional Uses, Phytochemistry, Polyphenolic Compounds and Pharmacological Activities
Publikacja -
General solution of quantum mechanical equations of motion with time-dependent Hamiltonians: A Lie algebraic approach
PublikacjaThe unitary operators U(t), describing the quantum time evolution of systems with a time-dependent Hamiltonian, can be constructed in an explicit manner using the method of time-dependent invariants. We clarify the role of Lie-algebraic techniques in this context and elaborate the theory for SU(2) and SU(1,1). In these cases we give explicit formulae for obtaining general solutions from special ones. We show that the constructions...
-
An optimized system for sensor ontology meta-matching using swarm intelligent algorithm
PublikacjaIt is beneficial to annotate sensor data with distinct sensor ontologies in order to facilitate interoperability among different sensor systems. However, for this interoperability to be possible, comparable sensor ontologies are required since it is essential to make meaningful links between relevant sensor data. Swarm Intelligent Algorithms (SIAs), namely the Beetle Swarm Optimisation Algorithm (BSO), present a possible answer...