Hola Agustín,
Para asegurar decidibilidad, solo se permite usar roles simples en los siguientes axiomas: disjunción de roles, roles irreflexivos, aplicar restricciones de cardinalidad a roles, y axiomas existsR.Self y notR(a, b).
Saludos,
Edelweis
Para asegurar decidibilidad, solo se permite usar roles simples en los siguientes axiomas: disjunción de roles, roles irreflexivos, aplicar restricciones de cardinalidad a roles, y axiomas existsR.Self y notR(a, b).
Saludos,
Edelweis