Informacja

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

Wyszukujesz frazę "formal model" wg kryterium: Temat


Wyświetlanie 1-2 z 2
Tytuł:
Zastosowanie zbiorów danych RDF do modelowania czasoprzestrzennego w geoinformatyce
The application of RDF datasets for spatiotemporal modelling in geoinformatics
Autorzy:
Łukowicz, J.
Iwaniak, A.
Powiązania:
https://bibliotekanauki.pl/articles/346047.pdf
Data publikacji:
2015
Wydawca:
Polskie Towarzystwo Informacji Przestrzennej
Tematy:
ontologie
zbiory danych RDF
grafy nazwane
ontologie formalne
model czasoprzestrzenny
ontologies
RDF datasets
named graphs
formal ontologies
spatiotemporal model
Opis:
Istotnym wyzwaniem dla gospodarki przestrzennej jest poprawny opis zjawisk zachodzących w przestrzeni i prognozowanie przyszłego jej stanu. Potrzebne są systemy służące gromadzeniu i porządkowaniu danych opisujących stan przestrzeni w jej dynamicznej postaci. Takich rozwiązań mogą dostarczyć technologie sieci semantycznych (Semantic Web), w tym grafy RDF, służące udostępnianiu zasobów przestrzennych, jako danych powiązanych (Linked Data) oraz ontologie, zarówno w postaci taksonomicznej, jak i aksjomatycznej. Obrazowanie odniesienia przestrzennego i czasowego może być realizowane w bezpośrednim odniesieniu do obiektów odzwierciedlających przedmioty i zjawiska występujące w rzeczywistej przestrzeni albo w formie kontekstu czasoprzestrzennego, w jakim informacja o tych obiektach została pozyskana. Pierwsze podejście odnosi się do modelowania danych, a drugie do modelowania metadanych. Autorzy prezentują strukturę, która, dzięki wykorzystaniu grafów RDF w formie tzw. zbiorów danych RDF (RDF Datasets), łączy oba modele w jeden spójny system. Wspólny system, który daje możliwość wykorzystania tych samych narzędzi do wyszukiwania zasobów na podstawie metadanych, a następnie do eksploracji i przetwarzania samych zasobów, które są nimi opisane. Dodatkowo pozwala uzupełniać brakujące informacje o lokalizacji lub trwaniu obiektów rzeczywistych, dzięki informacji zawartej w metadanych.
The crucial challenge for spatial development is proper description of phenomena occurring in real space and forecasting their future state. We need systems for gathering and organizing data describing the state of space in its dynamic form. Semantic Web technologies could be considered as promising tools to acquire such an aim. Among them, RDF graphs in the form of Linked Data and ontologies (in the form of taxonomic as well as axiomatic ontologies) seem to be very useful for such purpose. Presentation of spatial and temporal reference of reflected real objects can be performed by direct object description and by exposing spatiotemporal context of information about object from which this information was retrieved. First approach is related to data modeling, second to metadata modeling. The authors present the structure of RDF Datasets which makes it possible to combine both models in a coherent system. The joint system makes it possible to reuse common tools for searching of resources using metadata, and then for exploration and processing of the spatial data found. In addition, such approach gives us a chance to fill the gaps in retrieved data, referring to duration or location of objects, through the information contained in metadata.
Źródło:
Roczniki Geomatyki; 2015, 13, 1(67); 21-34
1731-5522
2449-8963
Pojawia się w:
Roczniki Geomatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
Modelowanie dynamicznych zjawisk w planowaniu przestrzennym z wykorzystaniem ontologii formalnych
Modeling of dynamic phenomena in spatial planning with the use of formal ontology
Autorzy:
Łukowicz, J.
Iwaniak, A.
Strzelecki, M.
Kaczmarek, I.
Powiązania:
https://bibliotekanauki.pl/articles/345837.pdf
Data publikacji:
2014
Wydawca:
Polskie Towarzystwo Informacji Przestrzennej
Tematy:
ontologia
modelowanie
planowanie przestrzenne
Description Logic
ontologia formalna
model czasoprzestrzenny
ontology
modeling
spatial planning
description logic
formal ontology
spatio-temporal model
Opis:
Zarówno gospodarka przestrzenna jak i planowanie przestrzenne maja charakter multidyscyplinarny oraz odnoszą się do dynamicznie zmieniającej się rzeczywistości. Decyzje projektowe oddziałują na spójność systemu środowiska przyrodniczego. Poprawa jakości zarządzania przestrzenią zależy od wypracowania lepszych metod planowania i przewidywania skutków przekształceń przestrzennych dla środowiska. Takie możliwości dają ontologie oparte na logice opisowej (Description Logic) i związanych z nim systemami wnioskowania. Ontologie mogą być wzbogacane o dodatkowe systemy formalne. Autorzy prezentują sposoby budowania ontologii dziedzinowych dla planowania przestrzennego uzupełnionych przez konstrukcje logiki temporalnej. Jako rezultat, analizy relacji przestrzennych będą rozszerzone o badanie relacji czasowych. Modele czasoprzestrzenne z konstrukcjami logiki temporalnej mogą być przedmiotem wnioskowania wykorzystującego tzw. reasonery (resoning engines). Czasoprzestrzenne reprezentacje są oferowane przez tzw. ontologie wyższego rzędu, w tym przypadku ontologie fundamentalne (formalne). Do tych ontologii można zaliczyć GFO, BFO, DOLCE, OCHRE i inne. Takie ontologie są użyteczne dla modelowania danych przestrzennych z uwzględnieniem ich dynamiki i zmian. Czynią one możliwe przewidywanie scenariuszy przekształceń przestrzennych i przewidywania przyszłego stanu zagospodarowania oraz środowiska.
Spatial management and spatial planning both have a multidisciplinary nature and refer to dynamically changing reality. Design decisions can affect the integrity of the environmental system. Improvement of spatial management depends on better methods of planning and forecasting about the environmental effects of development change. Such approach is offered by ontologies, based on Description Logics (DL) and related to them inference systems. Ontologies can be enriched with additional logical systems. The authors present a way of building domain ontologies for spatial planning supplemented by structures of temporal logic. As a result, the analysis for exploring the topological relations between spatial objects will be extended to include temporal relationships. Spatiotemporal models with temporal logic structures could be a subject of inference process, performed by reasoner engines. Spatiotemporal representations are offered by so-called upper ontologies in this case group of fundamental ontologies. The set of such ontologies includes GFO, BFO, OCHRE and others. Such ontologies are useful for modeling of spatial data with focus on their dynamics of changes. They make possible a prediction of scenarios of expected spatial transformation and forecasting a future state of spatial development and environmental conditions.
Źródło:
Roczniki Geomatyki; 2014, 12, 1(63); 81-91
1731-5522
2449-8963
Pojawia się w:
Roczniki Geomatyki
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-2 z 2

    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