La subsumición en la lógica descriptiva ALCN
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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Objeto de conferencia |
| Lenguaje: | Español |
| Publicado: |
2003
|
| Materias: | |
| Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/22591 |
| Aporte de: |
| Sumario: | 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. |
|---|