Harshvardhan Pandit 2690db6e51 changed namespace to w3id.org vor 6 Jahren
..
evaluation 0d1a33ff27 widoco documentation vor 6 Jahren
oopsEval.html 2690db6e51 changed namespace to w3id.org vor 6 Jahren