Key points are not available for this paper at this time.
Dans la modélisation de la connaissance dans le monde réel, il se pose souvent un besoin de représenter et de raisonner avec la méta-connaissance. Pour doter les logiques de description (LD) de la capacité à traiter de telles ontologies, nous enrichissons les concepts et rôles de LD avec des ensembles finis de paires attribut–valeur, appelées annotations, et permettons aux inclusions de concepts d'exprimer des contraintes sur les annotations. Nous étudions une gamme de LD en partant de la logique de description légère EL, couvrant la logique prototypique ALCH, et nous étendons à la très expressive SROIQ, la LD sous-jacente à OWL 2 DL.
Krötzsch et al. (Sun,) ont étudié cette question.