| Título: | La subsumición en la lógica descriptiva ALCN |
| Autores: | Lizcano, Luis I. |
| Fecha: |
2012-10-18 2003-10 2003-10 |
| Publicador: | Unversidad Nacional de La Plata |
| Fuente: |
 |
| Tipo: |
Objeto de conferencia Objeto de conferencia |
| Tema: |
Lenguaje de Conceptos Satifactibilidad Subsumición Taxonomía de Conceptos y Cálculo de Tableaux Concept Languages Satisfiability Subsumiption Concept Taxonomíc and Tableaux Calculus Languages Ciencias Informáticas |
| Descripción: |
Se describe con un modelo orientado a objetos la estructura de la Lógica Descriptiva ALCN, junto a esta formalización se plantea un diseño que determina la satifactibilidad de conceptos. Un concepto C es satifactible en una A (ABox), si A admite un modelo en el cual C tiene una interpretación no vacía. Se plantea el paradigma matemático de la equivalencia entre la subsumición de conceptos y la satifactibilidad de un concepto. El algoritmo de la satifactibildad de una expresión de conceptos está diseñado con base a la búsqueda exhaustiva de la aplicación de las reglas de Tableaux al conjunto de constructores de la expresión de conceptos. Un clasificador de jerarquía de conceptos en la base de conocimiento resulta como aplicación de la subsimición. This paper describes with object modelling oriented the structure descriptive logic ALCN, within to this formalization is descibed a design which determines concept satisfiatily. A concept C is satisfiable in (ABox) A, if it admits a model in which has an interpretation nonempty. We decribe the mathetical paradigm of the equivalence between concept subsumption and concept satisfiability. Satisfiability algorithm of a concept expression is designed with base in the exhaustive search of the application of the Tableaux rules to the logic operators of the concept expression. A Concept hierarchy classifier in the knowledge base is as of the subsumption application. Eje: Teoría (TEOR) |
| Idioma: | Español |
1 Ajuste de las variables que gobiernan los modelos de comportamiento de HDM-4 para vías no pavimentadas de la región de Antofagasta (Chile) por Rojas Cazaluade, Oscar Orlando | 6 Alternativas para el fraccionamiento de un Parque Industrial por Borrego, Juan Antonio |
2 La Agrimensura como base de investigaciones arqueológicas por Alfageme, Marcelo O.,Papagni, Jorge H. | 7 La propiedad horizontal por López, María Inés |
3 Anteproyecto de saneamiento y loteo por Antolín, Ricardo Gabriel,Williams, Enrique Oliver | 8 Laguna "San Antonio" por Milone, Ricardo Raúl |
4 Balneario Municipal de la ciudad de Diamante por Battistessa, Gustavo J.,Palomeque, José F. | 9 Estudio catastral de tierras en el partido de San Fernando por Miquelarena, Carlos Alberto |
5 | 10 |