おお、うまく行った。簡易定義表からOWL DLオントロジーを生成して、ProtegeでもOKになった。プロパティを宣言しないとエラーになるのだけれど、理由を示してくれないのでしばらく悩んだ