Un algoritmo en seudocodigo para el chequeo de la subsumicion en alc
En el presente artículo se describe un evaluador de satisfactibilidad para el chequeo de la subsumición en un lenguaje de atributos de conceptos (Attribute Language Concept, ALC). Los lenguajes de conceptos basados en las lógicas descriptivas (Description Logics, DLs) ofrecen servicios de razonamiento que permiten hacer clasificación y recuperación de la información dentro de la base de conocimiento. Los procesos de razonamiento de subsumición y de satisfactibilidad son equivalentes y se especifican por medio del Cálculo de Predicados de Primer Orden (First Order Predicate Calculus, FOPC) y el cálculo Tableaux. FOPC permite asociar cada expresión C de conceptos a una fórmula f c (x) de la lógica de predicados, de tal forma que un modelo de... Ver más
0122-820X
2422-5053
8
2003-01-01
3
10
info:eu-repo/semantics/openAccess
http://purl.org/coar/access_right/c_abf2
