| Marco teórico: lógica descriptiva |
Actividad individual 1: Conceptos del lenguaje ALC |
sábado, 28 de diciembre de 2024, 21:48 |
|
Actividad individual 2: Roles o relaciones: tipos, inversas, dominio y rango |
sábado, 28 de diciembre de 2024, 21:49 |
|
Actividad individual 3: Axiomas con roles |
sábado, 28 de diciembre de 2024, 21:49 |
|
Actividad individual 4:¿Cómo lo expreso en lógica descriptiva? |
sábado, 28 de diciembre de 2024, 21:50 |
|
Actividad individual 5: Interpretaciones |
sábado, 28 de diciembre de 2024, 21:51 |
|
Actividad individual 6: Mecanismos de razonamiento |
sábado, 28 de diciembre de 2024, 21:52 |
|
Actividad individual 7: Satisfactibilidad Lógica Descriptiva |
sábado, 28 de diciembre de 2024, 21:52 |
|
Actividad individual 8: Base de conocimiento inconsistente |
sábado, 28 de diciembre de 2024, 21:53 |
|
Actividad individual 9: Inferencias |
sábado, 28 de diciembre de 2024, 21:54 |
|
| Editando ontologías |
Actividad individual 1 - Mundo abierto, dominio y rango |
Sin fecha de cierre |