Daily Arxiv

Cette page résume et organise les publications en intelligence artificielle du monde entier.
Les contenus sont synthétisés grâce à Google Gemini et le service est proposé à but non lucratif.
Les droits d'auteur des articles appartiennent à leurs auteurs ou institutions respectives ; en cas de partage, il suffit d'en mentionner la source.

Ajuster les ontologies logiques de description aux exemples de requêtes et d'ABox

Created by
  • Haebom

Auteur

Maurice Funk, Marvin Grosser, Carsten Lutz

Contour

Cet article étudie le problème d'ajustement inspiré des requêtes médiées par une ontologie. Étant donné un ensemble d'exemples positifs et négatifs $(\mathcal{A},q)$ (où $\mathcal{A}$ est une ABox et $q$ une requête booléenne), le problème consiste à trouver une ontologie $\mathcal{O}$ telle que $\mathcal{A} \cup \mathcal{O} \vDash q$ pour tous les exemples positifs et $\mathcal{A} \cup \mathcal{O}\not\vDash q$ pour tous les exemples négatifs. Nous considérons $\mathcal{ALC}$ et $\mathcal{ALCI}$ comme des langages d'ontologie, et les requêtes atomiques (AQ), les requêtes conjonctives (CQ) et leurs unions (UCQ) comme des langages de requête. Par conséquent, nous fournissons une caractérisation efficace de tous les problèmes d'ajustement résultants et déterminons la complexité de calcul nécessaire pour déterminer l'existence d'une ontologie d'ajustement. Ce problème est ${\scriptsize CO}NP$ pour les AQ et tous les CQ, et $2E{\scriptsize XP}T{\scriptsize IME}$-complet pour les CQ et les UCQ. Ces résultats sont valables pour $\mathcal{ALC}$ et $\mathcal{ALCI}$.

Takeaways, Limitations_

Takeaways: Nous clarifions clairement la complexité computationnelle du problème d'ajustement d'ontologies dans les langages d'ontologie $\mathcal{ALC}$ et $\mathcal{ALCI}$ et divers langages de requête (AQ, CQ, UCQ). Il s'agit d'une contribution théorique importante aux domaines de l'ingénierie ontologique et de la représentation des connaissances.
Limitations: Le développement d'algorithmes efficaces et applicables aux applications réelles fait l'objet d'un manque de discussion. Le résultat de complétude de $2E{\scriptsize XP}T{\scriptsize IME}$ suggère des difficultés à résoudre des problèmes concrets. Des recherches supplémentaires sont nécessaires sur d'autres langages d'ontologie et de requête.
👍