Filtry
wszystkich: 22334
wybranych: 1588
-
Katalog
- Publikacje 1588 wyników po odfiltrowaniu
- Czasopisma 126 wyników po odfiltrowaniu
- Konferencje 36 wyników po odfiltrowaniu
- Wydawnictwa 1 wyników po odfiltrowaniu
- Osoby 66 wyników po odfiltrowaniu
- Projekty 3 wyników po odfiltrowaniu
- Kursy Online 117 wyników po odfiltrowaniu
- Wydarzenia 3 wyników po odfiltrowaniu
- Dane Badawcze 20394 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: DESCRIPTION LOGICS
-
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...
-
A Semantic Algebra for Modularized Description Logics Knowledge Bases
PublikacjaPublikacja wprowadza pojęcia modularyzacji ontologii opartej na tzw. modułach semantycznych (s-modułach) oraz algebry s-modułów. W pracy zawarto szereg twierdzeń opisujących właściwości algebry, jej związku z klasą algebr cylindrycznych oraz przedyskutowano możliwości zastosowania prezentowanych idei.
-
Reasoning with Projection in Multimodular Description Logics Knowledge Bases
PublikacjaWe present an approach to reasoning with projection, i.e. reasoning in which it is possible to focus on a selected part of knowledge (by neglecting some non-interesting fragments). Projection is most useful for modular knowledge bases in which only parts of knowledge have to be exchanged or imported to other modules. In this paper we present an optimized method of reasoning over results of projection. The tests indicate that the...
-
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...
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publikacja -
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
Description Logic As A Common Software Engineering Artifacts Language
PublikacjaDescription logic is proposed as a powerful language able to support chosen software engineering process tasks like: requirements engineering, software architecture definition, software design and configuration management. To do this there is presented a correspondence between description logic and UML. Description logic based integrated software engineering process framework is proposed which owing to automatic knowledge inferring...
-
Description logic based generator of data-centric applications
PublikacjaThe knowledge stored in Ontology Management Systems (OMS) that originally has the form of expressions, can be seen as a user application specification or as knowledge provided by an expert. The generator of applications discussed in this paper is defined as a program that automatically generates an application that meets a certain specification stored in OMS. It is shown that it is possible to build a user interface for data management...
-
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
Publikacja -
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...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublikacjaThe need for formal methods for Object Oriented (OO) systems resulted in methods like UML and Lepus3 that are de-facto graphical languages equipped with formal tools that are able to handle the design of OO systems. However, they lack precise semantics which might lead to problems, such as inconsistencies or redundancies. On the other hand, to our knowledge, there is no approach that allows one to understand and follow the requirements...
-
DESIGN LOGICAL LINGUISTIC MODELS TO CALCULATE NECESSITY IN TRUCKS DURING AGRICULTURAL CARGOES LOGISTICS USING FUZZY LOGIC
Publikacja: The study is aimed to develop the logic-linguistic models to design a number of rules for the correct calculation of the vehicles needed, taking into account the technical, technological, and weather and climate conditions of the harvesting and transport complex. The article has shown that the construction of the design of logic-linguistic models was not performed earlier to solve the problem of the agro-industrial production...
-
Influence of velocity description on dispersivity of reactor.
PublikacjaPrzy projektowaniu reaktorów z reguły stosuje się model przepływu tłokowego - prosty, lecz mało dokładny. W pracy pokazano wpływ dokładności stosowanej metody opisu pola prędkości na poziom projektu reaktora.
-
A probabilistic description of footbridges vibration serviceability
PublikacjaRozważa się użytkowalność kładki dla pieszych ze względu na ich drgania. Imperfekcje ruchu pieszych są opisane zmianami kluczowych współczynników. Częstotliwość ruchu, długość kroku oraz amplituda siły modelującej pieszego są opisywane rozkładami prawdopodobieństwa. Stosuje się metodę Monte Carlo. Dane z symulacji probabilistycznych używa się do obliczeń numerycznych. Aby zredukować liczbę realizacji, przeprowadza się analizę zbieżności...
-
A probabilistic description of footbridges vibration serviceability
PublikacjaRozważa się użytkowalność kładki dla pieszych ze względu na ich drgania. Imperfekcje ruchu pieszych są opisane zmianami współczynników tegoż ruchu. Bierze się pod uwagę rozkłady prawdopodobieństwa częstotliwości ruchu, długości kroku oraz amplitudy siły modelującej pieszego. Imperfekcje te znacznie wpływają na zachowanie konstrukcji. Stosuje się metodę Monte Carlo. Dane z symulacji probabilistycznych używa się do obliczeń numerycznych....
-
Image content description methods for a retrieval system.
PublikacjaArtykuł przedstawia metody opisu treści obrazu dla potrzeb systemu wyszukiwania. Omówiono deskryptory opisu treści obrazu oraz ich realizację w Systemie Wyszukiwania Obrazów.
-
Termodynamics of quantum information systems - Hamiltonian description.
PublikacjaPrzy użyciu podejścia hamiltonowskiego wyprowadzono wzór na pracę dla układów kwantowych zanurzonych w ciepłym otoczeniu.
-
Web Services Choreography Description Language - WSCDL.
PublikacjaJęzyk Web Services Choreography Description Language służy do opisu współpracy równy z równym. Został zaprojektowany z myślą o automatyzacji współpracy usług sieciowych, ale jest na tyle ogólny, że pozwala opisywać współpracę nie tylko w świecie komputerowym. Prezentowana jest geneza tego języka oraz jego model. Następnie opisana jest struktura języka poparta przykładem dokumentu napisanego w języku WSCDL.
-
Extending Expressiveness of Knowledge Description with Contextual Approach
PublikacjaIn the paper we show how imposing the contextual structure of a knowledge base can lead to extending its expressiveness without changing the underlying language. We show this using the example of Description Logics, which constitutes a base for a range of dialects for expressing knowledge in ontologies (including state-of-the-art OWL). While the contextual frameworks have been used in knowledge bases, they have been perceived as...
-
Concept description vectors and the 20 question game
PublikacjaKnowledge of properties that are applicable to a given object is a necessary prerequisite to formulate intelligent question. Concept description vectors provide simplest representation of this knowledge, storing for each object information about the values of its properties. Experiments with automatic creation of concept description vectors from various sources, including ontologies, dictionaries, encyclopedias and unstructured...
-
Theoretical description of the measuring method of instantaneous impedance spectra
Publikacja -
Dynamical description of quantum computing: generic nonlocality of quantumnoise
PublikacjaWe develop a dynamical non-Markovian description of quantum computing in the weak-coupling limit, in the lowest-order approximation. We show that the long-range memory of the quantum reservoir (such as the 1/t4 one exhibited by electromagnetic vacuum) produces a strong interrelation between the structure of noise and the quantum algorithm, implying nonlocal attacks of noise. This shows that the implicit assumption of quantum error...
-
Adaptive resolution-constrained scalar multiple-description coding
Publikacja -
Operation of slide journal bearings in unsteady energetic description.
PublikacjaW artykule zaproponowano interpretację wartościującą działania, które (podobnie jak przedstawione mechanice klasycznej działania Hamiltona i Maupertiusa oraz działanie wynikające ze zmiany pędu ciała) jest rozpatrywane jako wielkość fizyczna o jednostce miary zwanej dżulosekundą [dżulsekunda]. Przedstawiono propozycję ilościowej interpretacji działania dowolnego poprzecznego łożyska ślizgowego, w którym zachodzą oddziaływania energetyczne...
-
Mathematical description and evaluation of cavitation erosion resistance of materials.
PublikacjaPrzedstawiono matematyczny opis erozji kawitacyjnej materiałów. Model opisuje wpływ własności mechanicznych materiału takich jak: względna odporność na plastyczne odkształcanie powierzchni a także współczynnika intensywności naprężeń wzmocnionej warstwy wierzchniej na przebieg erozji kawitacyjnej. Zaproponowano również nowy współczynnik opisujący ilościowo odporność kawitacyjną materiałów jako funkcję czasu inkubacji maksymalnej...
-
Mathematical description and evaluation of cavitation erosion resistance of materials.
PublikacjaW pracy przedstawiono matematyczny model opisujący erozję kawitacyjną materiałów oparty o rozkład prawdopodobieństwa Weibulla. Model oposuje wpływ własności mechanicznych materiału na przebieg krzywych erozji kawitacyjnej.
-
A PROPOSAL OF A DESCRIPTION OF THE OPERATING CONDITIONS OF DIESEL-ELECTRIC LOCOMOTIVES
PublikacjaThe paper presents a proposal of a description of the operating conditions of diesel-electric locomotives. The proposal is a result of the operational experience and the analysis of the locomotive operation. It constitutes a significant simplification in relation to the descriptions currently used by domestic carriers. The paper also presents examples of analyses of the operating conditions of locomotives using the proposed method.
-
Mathematical Description of Sorption Isotherms of Autoclaved Aerated Concrete
Publikacja -
Isotropic and anisotropic description of superconducting state in CaC6 compound
Publikacja -
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...
-
Interoperability Description of Web Services Based Application Servers
PublikacjaWeb services standards were designed to enable interoperability of heterogeneous application servers in the Service Oriented Architecture. Although the standards proved to be highly successful, there are still difficulties in effective services integration. The paper presents a methodology that enables description of application servers interoperability in order to improve the service integration process. The methodology proposes...
-
Fuzzy logic and production planning.
PublikacjaReferat prezentuje efektywność logiki rozmytej w projektowaniu procesów produkcyjnych. Przedstawiono algorytm i przesłanki zastosowania logiki rozmytej opartej o informacje eksperckie.
-
Fuzzy logic in financial management
PublikacjaW rozdziale tym przedstawiono rozważania na temat możliwości prognozowania sytuacji finansowej gospodarstw domowych przy zastosowaniu logiki rozmytej. Autor zaproponował model składający się ze zmiennych wejściowych opartych na informacjach demograficznych i finansowych konsumentów - na przykład: wiek, wykształcenie, liczba dzieci, wynagrodzenie, stopień zabezpieczenia finansowego.
-
A correct description of the interaction between a magnetic moment and its image
Publikacja -
A Process-Centered Approach to the Description of Clinical Pathways—Forms and Determinants
Publikacja -
Kinetic Description of the Membrane–Solution Interface for Ion-Selective Electrodes
Publikacja -
The HRCT image analysis for quantitative description of peripheral airways remodelling.
PublikacjaPrzedstawiono analizę obrazów HRCT dla ilościowego opisu remodelingu dróg oddechowych. Zaproponowano metodologię postępowania w przypadku przekształceń geometrycznych celem uzyskania dokładnych wartości parametrów opisujących kształt.
-
Application of neural networks for description of pressure distribution in slide bearing.
PublikacjaBadano rozkład ciśnienia hydrodynamicznego w łożysku ślizgowym dla wybranych wariantów łożyska. Wykazano, że zastosowanie sieci neuronowych umożliwia opis rozkładu ciśnienia hydrodynamicznego z uwzględnieniem zmian geometrycznych (bezwymiarowa długość - L) i mechanicznych (mimośrodowość względem H) łożyska.
-
Application of percolation theory for description of electrical properties of conducting coatings
PublikacjaPrzedstawiono pomiary elektryczne i elektrochemiczne powłok organicznych przewodzących prąd elektryczny i mogących pełnić rolę anody w systemie ochrony katodowej żelbetonu. Za pomocą pomiarów impedancyjnych dokonano oceny rezystancji powłoki w funkcji zawartości grafitu. Na tej podstawie oszacowano próg perkolacji powłoki epoksydowej domieszkowanej elektrografitem. Ocenę obciążalności prądowej powłok przewodzących dokonano wykonując...
-
PROBABILISTIC ANALYSIS OF A SPACE TRUSS BY MEANS OF A MULTIDIMENSIONAL VARIABLE DESCRIPTION
PublikacjaThe objective of this paper is to present a variant of the point estimate method (PEM) to determine mean values and standard deviations of limit loads of engineering structures. This approach is illustrated by limit state analysis of a space truss, considering geometric and material imperfections. The calculations were performed for different random models, so the influence of random parameters on the limit load of the truss can...
-
Description of the hydrodynamic pressure field function around the ship hull
PublikacjaW artykule przedstawiono metodę aproksymacji pola hydrodynamicznego okrętu, wykorzystując pole obliczone metodą elementów skończonych. Punkty kontrolne umieszczono w środku paneli rozmieszczonych na kadłubie statku, na powierzchni dna morskiego oraz na powierzchni swobodnej; w p-ktach tych znajdują się osobliwości w postaci źródeł, upustów i/lub dipoli. Przedstawione wyniki obliczeń zostały uzyskane przy użyciu tych pierwszych...
-
Finite element description of nonlinear viscoelastic behaviour of technical fabric
PublikacjaW pracy podano propozycję nieliniowego modelowania zachowania się tkaniny technicznej. Podano wyniki identyfikacji i zweryfikowano poprzez numeryczną symulację prób laboratoryjnych
-
Electronic structure and time-dependent description of rotational predissociation of LiH
PublikacjaThe adiabatic potential energy curves of the ^1Sigma+ and ^1Pi states of the LiH molecule were calculated. They correlate asymptotically to atomic states, such as 2s + 1s, 2p + 1s, 3s + 1s, 3p + 1s, 3d + 1s, 4s + 1s, 4p + 1s and 4d + 1s. A very good agreement was found between our calculated spectroscopic parameters and the experimental ones. The dynamics of the rotational predissociation process of the 1^1Pi state were studied...
-
Descriptive Modelling of Virtual Transactions.
PublikacjaArtykuł prezentuje opisowy model transakcji detalicznych, w którym ich znaczenie (IOR) wyrażone przez strukturę sprzedaży i udział w rynku jest uwarunkowane funkcjonalnością (FUN), na którą wpływają w sposób zwrotny trzy grupy czynników : technologicznych, (TFG) ludzkich (HFG) oraz rynkowych (MFG).
-
Selection of descriptive geometry textbooks
PublikacjaW artykule przedstawiono koncepcję badania podręczników do geometrii wykreślnej bazującą na psycholingwistycznej teorii komunikatu. Zaprezentowane podejście umożliwia analizę podręczników na sześciu poziomach odnoszących się do głównych funkcji komunikacji międzyludzkiej. W artykule skupiono się na postrzeganiu językowej funkcji podręczników geometrii wykreślnej i w tym zakresie stwierdzono wiele cech zbieżnych.
-
ALS Data Filtration with Fuzzy Logic
PublikacjaEkstrakcji DTM pozyskanego z użyciem ALS (Airborne Laser Scanning) z chmury punktów, jest złożonym zadaniem, które wymaga wielu algorytmów i procedur numerycznych. Jednym z pierwszych kroków jest filtracja danych. Istnieje wiele różnych metod filtrowania i algorytmów. W tym artykule autorzy proponują metodę filtracji w oparciu o logikę rozmytą. Prezentują podstawowe informacje dotyczące logiki rozmytej, projekt reguł rozmytych...
-
Fuzzy logic for control Peltier module
Publikacja -
Implementacja reguł animacji w logice rozmytej
PublikacjaZaprojektowano system komputerowy wspomagający tworzenie animacji. System wykorzystuje reguły animacji wywodzące się z animacji tradycyjnej. Reguły opisują sposób uzyskiwania animacji postaci nacechowanych emocjonalnie. Na potrzeby badań zostały one sformułowane w logice rozmytej i zaimplementowane w języku programowania Python. Wykorzystując system wygenerowano animacje testowe, które poddano ocenie subiektywnej, w celu określenia...
-
Ontologie jako metoda reprezentacji wiedzy
PublikacjaLogika opisowa (ang. Description Logic - DL) jest aktualnie jednym z najsilniej rozwijanych formalizmów stosowanych w ontologicznych metodach reprezentacji wiedzy. Jednym z powodów jest to, że język OWL-DL, promowany przez W3C jako język do reprezentacji ontologii internetowych, opary jest właśnie na logice opisowej. W tym artykule zaprezentowano logikę opisową jako sposób precyzyjnego formułowania i przetwarzania wiedzy. Podano...