Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks

Hafsi, Meriem; Dapoigny, Richard; Bolon, Philippe

doi:10.1007/978-3-319-25159-2_8

Cited by 2 publications

(6 citation statements)

References 13 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Formal ontology appears as one of the most promising tool used in knowledge representation. 10 In the scope of computing systems, a formal ontology can be seen as a set of concepts and their properties interconnected by different kinds of relationships.…”

Section: Practical Informationmentioning

confidence: 99%

See 1 more Smart Citation

Detection and localization of underground networks by fusion of electromagnetic signal and GPR images

2017

Self Cite

View full text Add to dashboard Cite

In this paper, we purpose a new approach to the post-processing of multi-sensor detection based on knowledge representation and data fusion provided by several technologies. The aim is to improve the detection and localization of underground networks. This work is part of the G4M project, leaded by ENGIE LAB CRIGEN, the objective of which is the design of a versatile device for a reliable detection and localization of underground networks. The objective of this work, which is at the core of the G4M project, focuses on the validity of current detection methods, to optimize the process of detection using these methods and to establish a 3D map of subsoil networks.

show abstract

Section: Practical Informationmentioning

confidence: 99%

“…The detection points are presented in (L) and the final detection in (M). The final investigation turns out to merge the results of the GPR with EM, seven (7) pipes among ten (10) are detected as shown in (N). Evaluation of the result is achieved with checking the known configuration plan (A).…”

Section: Acquisition Protocolmentioning

confidence: 99%

Detection and localization of underground networks by fusion of electromagnetic signal and GPR images

2017

Self Cite

View full text Add to dashboard Cite

show abstract

“…Понятійний апарат передбачає оперування концептами "дані", "інформація", "знання" та їхніми відношеннями (Wang, 2015;Liew, 2007). Онтологічний інжиніринг (Feilmayr, & Wöß, 2016;Noy, & McGuinness, 2001) та здійснення міркування з використанням теорії типів (Dapoigny, & Barlatier, 2008;Hafsi, Dapoigny & Bolon, 2015) у межах асистента доведення теорем Сoq (Cog, 2017) пропонують сучасний підхід до управління базами знань.…”

unclassified

“…Оскільки вона є підмножиною логіки предикатів, то її виразність є обмеженою. Актуальним напрямком сучасних досліджень є спроби застосування логік вищих порядків та теорії типів до міркування в онтологіях (Dapoigny, & Barlatier, 2008;Hafsi, Dapoigny & Bolon, 2015).…”

unclassified

“…Основою формальних логік вищих порядків є організація логічних понять -висловлювань, індивідів, пропозиційних функцій -в ієрархію типів таким чином, що сутності можуть оперувати тільки тими поняттями, які розташовані нижче в ієрархії. Таким чином логіки вищих порядків дають змогу у природний та зручний спосіб явно описувати зв'язок між універсалами та індивідами без необхідності введення додаткових спеціалізованих конструкцій (Hafsi, Dapoigny & Bolon, 2015). Хо-ча логіка предикатів володіє хорошими мета-властивостями компактності та Ловенгейма-Сколема, її обмежена експресивність є перешкодою для втілення багаторівневого міркування.…”

unclassified

See 1 more Smart Citation

Personal Data and Knowledge Bases of Virtual Research Communities

Kunanets¹,

Lenko²,

Pasichnyk³

et al. 2017

SBUNFU

View full text Add to dashboard Cite

Досліджено процеси набуття та управління персональними даними і знаннями, а також комунікації в межах віртуальних дослідницьких спільнот. Розглянуто поняття віртуального наукового колективу та особливості захисту інформації у налагодженні процесів комунікації в ньому. Висвітлено проблеми в організації ефективної комунікації між учасниками віртуальних дослідницьких спільнот, що породжені відсутністю цілісного технологічного рішення, яке забезпечило б надійність, приватність, швидкодію та структурованість потоків інформації, даних і знань. Запропоновано принципово новий підхід до проектування платформ комунікації, що ґрунтується на ідеях децентралізації та крипто-безпеки. Проаналізовано методологічні відмінності між поняттями "інформація", "дані" та "знання". Висвітлено сучасний підхід до здійснення міркування в онтологічній моделі подання знань, що ґрунтується на використанні апарату теорії типів та асистента доведення теорем Coq. Структуровано подано відношення між логікою та теорією типів, а також наведено спосіб подання основних елементів онтології формальною мовою системи Coq. Розглянуто приклад здійснення міркування з використанням мови тактик Ltaс над фрагментом онтології, що описує певні відношення з предметної області функціонування віртуальних дослідницьких спільнот. Вказано шляхи та інструменти здійснення подальшого дослідження. Ключові слова: е-наука; комунікація; блокчейн; онтологія; теорія типів; логічне міркування. _____________________________________ Інформація про авторів: Кунанець Наталія Едуардівна, д-р наук із соціальних комунікацій, професор кафедри інформаційних систем та мереж.

show abstract

Toward a Type-Theoretical Approach for an Ontologically-Based Detection of Underground Networks

Cited by 2 publications

References 13 publications

Detection and localization of underground networks by fusion of electromagnetic signal and GPR images

Detection and localization of underground networks by fusion of electromagnetic signal and GPR images

Personal Data and Knowledge Bases of Virtual Research Communities

Contact Info

Product

Resources

About