0
あなたは私の観点QL(DL-Liteᴿ)、EL(EL ++)とRL(DLP)の間の主な違いを説明するかもしれない:資格違い
- 否定
- 定量
- 役割機能
- 逆の特性
- 対称な特性
- ロール階層(つまり、サブプロパティ) 私が知っている瞬間のために
こと:
- 資格の定量化は、ELでなくQLに許可されているが、後者では、我々はトリックの並べ替えを行うことができます。
- 機能特性、逆特性とサブプロパティはQLに許可されているが、私は今、ほぼnothigないがELに は
- 互いに素(A⊓B=⌀)QLとEL
両方で許可され ありません約RL。
質問が多すぎるかもしれませんが、私は詳細な回答は必要ありませんが、主な違いを得るための一般的な概要のみが必要です。
あなたはW3Cの仕様をチェックアウトしたことがありますか? https://www.w3.org/TR/owl2-profiles/ – Ignazio
@Ignazioああ、そうだよ!しかし、QLのセクションでは、DL-Liteの名前は "役割の階層"から派生しなければならないのに対し、QLセクションでは、機能プロパティはサポートされていないと述べています(私の教授の講演者はそうです) !)。そして、RL/DLPについての部分は、(少なくとも私にとっては)w.r.tではっきりしない。上記の点。 – horcrux
RLプロファイルでは、サブプロパティと機能の公理が可能です。これらの公理は明示的に許されている。 – Ignazio