Nuova condizione sufficiente per riscrivere query atomiche Horn-ALCHI in GQL
Uno studio recente in informatica ha introdotto un nuovo modo per convertire query atomiche relative a ontologie Horn-ALCHI in GQL, che è l'ultimo standard ISO per i linguaggi di interrogazione di grafi. L'articolo, intitolato 'A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL,' è disponibile su arXiv. I ricercatori si concentrano su query mediate da ontologie (OMQ) che combinano queste query atomiche con ontologie Horn-ALCHI, che spesso non possono essere riscritte in logica del primo ordine. Presentano un nuovo concetto chiamato automi DL, che cattura il significato delle OMQ attraverso sequenze su insiemi di fatti. Individuano anche un tipo specifico di automi DL che possono essere ristrutturati in unioni di query di percorso regolare bidirezionale congiuntive (UC2RPQ), cruciali per GQL. Questo approccio consente di riscrivere molte OMQ Horn-ALCHI in GQL, migliorando l'elaborazione delle query nei database a grafo.
Fatti principali
- L'articolo introduce una condizione sufficiente generale per riscrivere query atomiche Horn-ALCHI in GQL.
- Si concentra su query mediate da ontologie (OMQ) con query atomiche su ontologie Horn-ALCHI.
- Horn-ALCHI è una logica descrittiva espressiva non generalmente riscrivibile al primo ordine.
- Introduce gli automi DL, un formalismo innovativo che cattura la semantica delle OMQ tramite esecuzioni su insiemi di fatti.
- Identifica una classe di automi DL riscrivibili in unioni di query di percorso regolare bidirezionale congiuntive (UC2RPQ).
- Le UC2RPQ sono un frammento centrale di GQL, il linguaggio di interrogazione per grafi standard ISO.
- La classe si basa sulla stratificazione degli stati degli automi, evitando dipendenze cicliche.
- Produce una vasta classe di OMQ Horn-ALCHI che sono GQL-riscrivibili.
- L'articolo è disponibile su arXiv nella sezione database di informatica.
- Sono inclusi la cronologia delle sottomissioni e i riferimenti.
Entità
Istituzioni
- arXiv