AT Protocolのレコードはデータ型のlexiconがプロパティを規定しているものと認識しているけど（詳しく読んでいないので知らんけど）、型がプロパティを規定するよりプロパティが型を規定するRDF的なアプローチの方が拡張性の観点で有利なのではという気がする