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...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Lizcano, Luis I.
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2003
Materias:
Ciencias Informáticas
Languages
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
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/22591
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares