Adattamento di Ontologie Horn DL a Esempi ABox e Query
Uno studio di ricerca indaga l'adattamento di ontologie di logica descrittiva (DL) a esempi positivi e negativi presentati come ABox insieme a query booleane. Si concentra sulle Horn DL, in particolare EL e ELI, incluse le loro estensioni che incorporano il concetto bottom. I tipi di linguaggi di query analizzati includono query atomiche (AQ), query congiuntive (CQ radicate) e unioni di CQ radicate (UCQ). Lo studio identifica le condizioni per l'esistenza di ontologie adattabili tramite simulazioni, formula procedure decisionali e valuta la complessità computazionale. Per le AQ, la complessità è in PTime sia per EL che per ELI, mentre le CQ radicate e le UCQ sono Sigma_P^2-complete per EL e ExpTime-complete per ELI. L'aggiunta del concetto bottom non modifica queste complessità. Il passaggio da DL espressive ALC e ALCI a Horn DL presenta ulteriori difficoltà tecniche.
Fatti principali
- Lo studio si concentra sulle Horn DL EL e ELI.
- Vengono considerate estensioni con il concetto bottom.
- Linguaggi di query: AQ, CQ radicate e UCQ radicate.
- L'esistenza di un'ontologia adattabile è caratterizzata tramite simulazioni.
- Sviluppate procedure decisionali.
- Per le AQ, il problema è in PTime sia per EL che per ELI.
- Per le CQ radicate e le UCQ, Sigma_P^2-completo per EL.
- Per le CQ radicate e le UCQ, ExpTime-completo per ELI.
- L'aggiunta del concetto bottom non cambia le complessità.
- Sfide tecniche derivanti dal passaggio da ALC/ALCI a EL/ELI.
Entità
—