Master’s Fellowship – 1 vacancy Within the project – INDRA
5
0
0
Texto
Documentos relacionados
◮ Theorems prove that a conceptual schema and its encoding as DL knowledge bases constrain every world description in the same way – i.e., the models of the DL theory correspond to
