Integrität dieses Dokuments

Haarslev, Volker ; Möller, Ralf

Expressive ABox Reasoning with Number Restrictions, Role Hierarchies, and Transitively Closed Roles

M_288.pdf

Prüfsumme md5 Soll: 9775fd89f08409a794e53a5682b3647b
Prüfsumme md5 Ist: 9775fd89f08409a794e53a5682b3647b

Prüfsumme sha1 Soll: 7335d748253029b5f38a3a89e9ba67d3886f38dd
Prüfsumme sha1 Ist: 7335d748253029b5f38a3a89e9ba67d3886f38dd