Filters
total: 22371
-
Catalog
- Publications 1599 available results
- Journals 126 available results
- Conferences 36 available results
- Publishing Houses 1 available results
- People 68 available results
- Projects 3 available results
- e-Learning Courses 139 available results
- Events 3 available results
- Open Research Data 20396 available results
displaying 1000 best results Help
Search results for: DESCRIPTION LOGICS
-
A Semantic Algebra for Modularized Description Logics Knowledge Bases
PublicationPublikacja 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
PublicationWe 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 cartographer algorithm for processing and querying description logics ontologies
PublicationLogika 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...
-
The Knowledge Cartography – A New Approach to Reasoning over Description Logics Ontologies
Publication -
The knowledge cartography - a new approach to reasoning over description logics ontologies
PublicationArtykuł 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...
-
Description logic based generator of data-centric applications
PublicationThe 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
PublicationDescription 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
PublicationThe 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
PublicationLogika 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...
-
Processing and Querying Description Logic Ontologies Using Cartographic Approach
Publication -
Processing and querying description logic ontologies using cartographic approach
PublicationLogika 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ż...
-
Modeling Object Oriented Systems via Controlled English Verbalization of Description Logic
PublicationThe 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...
-
Logic and Logical Philosophy
Journals -
Interdisciplinary Description of Complex Systems
Journals -
SOLID STATE IONICS
Journals -
DESIGN LOGICAL LINGUISTIC MODELS TO CALCULATE NECESSITY IN TRUCKS DURING AGRICULTURAL CARGOES LOGISTICS USING FUZZY LOGIC
Publication: 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.
PublicationPrzy 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
PublicationRozważ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
PublicationRozważ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....
-
Concept description vectors and the 20 question game
PublicationKnowledge 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...
-
Image content description methods for a retrieval system.
PublicationArtykuł 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.
PublicationPrzy 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.
PublicationJę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
PublicationIn 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...
-
Theoretical description of the measuring method of instantaneous impedance spectra
Publication -
Interoperability Description of Web Services Based Application Servers
PublicationWeb 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...
-
Isotropic and anisotropic description of superconducting state in CaC6 compound
Publication -
Adaptive resolution-constrained scalar multiple-description coding
Publication -
A Distributed Description of Facts in a Distributed Semantic Web Ontology
PublicationInicjatywa 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...
-
Mathematical Description of Sorption Isotherms of Autoclaved Aerated Concrete
Publication -
Operation of slide journal bearings in unsteady energetic description.
PublicationW 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.
PublicationPrzedstawiono 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.
PublicationW 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.
-
Dynamical description of quantum computing: generic nonlocality of quantumnoise
PublicationWe 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...
-
A PROPOSAL OF A DESCRIPTION OF THE OPERATING CONDITIONS OF DIESEL-ELECTRIC LOCOMOTIVES
PublicationThe 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.
-
Fuzzy logic and production planning.
PublicationReferat 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
PublicationW 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
Publication -
A Process-Centered Approach to the Description of Clinical Pathways—Forms and Determinants
Publication -
Kinetic Description of the Membrane–Solution Interface for Ion-Selective Electrodes
Publication -
Finite element description of nonlinear viscoelastic behaviour of technical fabric
PublicationW pracy podano propozycję nieliniowego modelowania zachowania się tkaniny technicznej. Podano wyniki identyfikacji i zweryfikowano poprzez numeryczną symulację prób laboratoryjnych
-
The HRCT image analysis for quantitative description of peripheral airways remodelling.
PublicationPrzedstawiono 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.
PublicationBadano 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
PublicationPrzedstawiono 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...
-
Description of the hydrodynamic pressure field function around the ship hull
PublicationW 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...
-
PROBABILISTIC ANALYSIS OF A SPACE TRUSS BY MEANS OF A MULTIDIMENSIONAL VARIABLE DESCRIPTION
PublicationThe 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...
-
Electronic structure and time-dependent description of rotational predissociation of LiH
PublicationThe 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...
-
Selection of descriptive geometry textbooks
PublicationW 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.
-
Descriptive Modelling of Virtual Transactions.
PublicationArtykuł 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).
-
Journal of Applied Logics-IfCoLoG Journal of Logics and their Applications
Journals