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 ontologies" 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ł:
Type Theories and Lexical Networks : using Serious Games as the basis for Multi-Sorted Typed Systems
Autorzy:
Chatzikyriakidis, S.
Lafourcade, M.
Ramadier, L.
Zarrouk, M.
Powiązania:
https://bibliotekanauki.pl/articles/103833.pdf
Data publikacji:
2017
Wydawca:
Polska Akademia Nauk. Instytut Podstaw Informatyki PAN
Tematy:
lexical networks
JeuxDeMots
type theory
type ontologies
formal semantics
natural language inference
Opis:
In this paper, we show how a rich lexico-semantic network which Has been built using serious games, JeuxDeMots, can help us in grounding our semantic ontologies in doing formal semantics using rich or modern type theories (type theories within the tradition of Martin Löf). We discuss the issue of base types, adjectival and verbal types, hyperonymy/hyponymy relations as well as more advanced issues like homophony and polysemy. We show how one can take advantage of this wealth of lexical semantics in a formal compositional semantics framework. We argue that this is a way to sidestep the problem of deciding what the type ontology should look like once a move to a many sorted type system has been made. Furthermore, we show how this kind of information can be extracted from a lexico-semantic Network like JeuxDeMots and inserted into a proof-assistant like Coq in order to perform reasoning tasks.
Źródło:
Journal of Language Modelling; 2017, 5, 2; 229-272
2299-856X
2299-8470
Pojawia się w:
Journal of Language Modelling
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