PFIA 2024
RJCIA
Une nouvelle logique de description NP-complet sous sémantique catégorielle
On introduit dans cet article une nouvelle logique de des- cription et une procédure de raisonnement pour celle-ci. La construction de cette nouvelle logique et de l’algorithme de raisonnement est basée sur une réécriture de la sémantique ensembliste de la logique ALC avec des TBox générales, en utilisant la théorie des catégories ; où les concepts sont des objets et les subsomptions de concepts des flèches. Cette réécriture nous donne une description plus modulaire de la sémantique qui nous permet d’obtenir une nouvelle sous- logique NP-complet de ALC.