Marco teórico: lógica descriptiva |
Actividad individual 1: Conceptos del lenguaje ALC |
viernes, 15 de diciembre de 2023, 23:59 |
|
Actividad individual 2: Roles o relaciones: tipos, inversas, dominio y rango |
viernes, 15 de diciembre de 2023, 21:22 |
|
Actividad individual 3: Axiomas con roles |
viernes, 15 de diciembre de 2023, 12:16 |
|
Actividad individual 4:¿Cómo lo expreso en lógica descriptiva? |
viernes, 15 de diciembre de 2023, 20:34 |
|
Actividad individual 5: Interpretaciones |
viernes, 15 de diciembre de 2023, 23:55 |
|
Actividad individual 6: Mecanismos de razonamiento |
viernes, 15 de diciembre de 2023, 21:14 |
|
Actividad individual 7: Satisfactibilidad Lógica Descriptiva |
viernes, 22 de diciembre de 2023, 23:59 |
|
Actividad individual 8: Base de conocimiento inconsistente |
viernes, 15 de diciembre de 2023, 21:41 |
|
Actividad individual 9: Inferencias |
viernes, 15 de diciembre de 2023, 22:03 |
|
Editando ontologías |
Actividad individual 1 - Mundo abierto, dominio y rango |
sábado, 16 de diciembre de 2023, 12:03 |