Filters








5 Hits in 1.0 sec

Provenance for the Description Logic ELHr

Camille Bourgaux, Ana Ozaki, Rafael Penaloza, Livia Predoiu
2020 Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence  
We analyse the semantics for the ELHr case and show that the presence of conjunctions poses various difficulties for handling provenance, some of which are mitigated by assuming multiplicative idempotency  ...  We address the problem of handling provenance information in ELHr ontologies.  ...  Acknowledgments This work has been partly supported by the PING/ACK project of the French National Agency for Research (ANR-18-CE40-0011).  ... 
doi:10.24963/ijcai.2020/254 dblp:conf/ijcai/ColnetM20 fatcat:ld6nfqqx55d5fgsmlcezvqftue

Provenance for the Description Logic ELHr [article]

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020 arXiv   pre-print
We analyse the semantics for the ELHr case and show that the presence of conjunctions poses various difficulties for handling provenance, some of which are mitigated by assuming multiplicative idempotency  ...  We address the problem of handling provenance information in ELHr ontologies.  ...  PROVDL and FO2S, and by the Italian PRIN project HOPE.  ... 
arXiv:2001.07541v2 fatcat:tv3vmpzvkzc7to26p65wrid5ue

Provenance for the Description Logic ELHr (Extended Abstract)

Camille Bourgaux, Ana Ozaki, Rafael Peñaloza, Livia Predoiu
2020 International Workshop on Description Logics  
This extended abstract presents our work on provenance for the description logic ELH r published at IJCAI 2020 [2].  ...  Important reasoning tasks performed over description logics (DL) ontologies are axiom entailment, i.e. deciding whether a given DL axiom follows from the ontology; and query answering.  ...  Provenance semirings serve as an abstract algebraic tool to record and track provenance information; that is, to keep track of the specific database tuples used for deriving the query, and of the way they  ... 
dblp:conf/dlog/BourgauxOPP20 fatcat:ubppt7h6s5aznleecys52oo4li

Current and future antenatal management of isolated congenital diaphragmatic hernia

Francesca Maria Russo, Paolo De Coppi, Karel Allegaert, Jaan Toelen, Lennart van der Veeken, George Attilakos, Mary Patrice Eastwood, Anna Louise David, Jan Deprest
2017 Seminars in Fetal & Neonatal Medicine  
Congenital Diaphragmatic Hernia (CDH) is surgically correctable, yet the poor lung development determines mortality and morbidity.  ...  In isolated cases the outcome can be predicted prenatally by medical imaging. Cases with a poor prognosis could be treated before birth.  ...  The best candidate would be a treatment for PHT already proven safe and effective postnatally.  ... 
doi:10.1016/j.siny.2017.11.002 pmid:29169875 fatcat:zdua2p73wrfgvmwtgepacrzlxq

An Upper Bound for Provenance in ELHr [article]

Rafael Peñaloza
2021 arXiv   pre-print
We investigate the entailment problem in ELHr ontologies annotated with provenance information.  ...  The proof is based on the construction of a weighted tree automaton which recognises a language that matches with the corresponding provenance polynomial.  ...  Very recently, the problem of answering provenance queries in the description logic ELH r was studied [5] .  ... 
arXiv:2108.12774v1 fatcat:2xykbvp56rgxpmetzjtwu6titi