違い

2016-07-16 3 views
0

あなたは私の観点QL(DL-Liteᴿ)、EL(EL ++)とRL(DLP)の間の主な違いを説明するかもしれない:資格違い

  • 否定
  • 定量
  • 役割機能
  • 逆の特性
  • 対称な特性
  • ロール階層(つまり、サブプロパティ)
  • 私が知っている瞬間のために

こと:

  • 資格の定量化は、ELでなくQLに許可されているが、後者では、我々はトリックの並べ替えを行うことができます。
  • 機能特性、逆特性とサブプロパティはQLに許可されているが、私は今、ほぼnothigないがELに
  • 互いに素(A⊓B=⌀)QLとEL

両方で許可され ありません約RL。

質問が多すぎるかもしれませんが、私は詳細な回答は必要ありませんが、主な違いを得るための一般的な概要のみが必要です。

+0

あなたはW3Cの仕様をチェックアウトしたことがありますか? https://www.w3.org/TR/owl2-profiles/ – Ignazio

+0

@Ignazioああ、そうだよ!しかし、QLのセクションでは、DL-Liteの名前は "役割の階層"から派生しなければならないのに対し、QLセクションでは、機能プロパティはサポートされていないと述べています(私の教授の講演者はそうです) !)。そして、RL/DLPについての部分は、(少なくとも私にとっては)w.r.tではっきりしない。上記の点。 – horcrux

+0

RLプロファイルでは、サブプロパティと機能の公理が可能です。これらの公理は明示的に許されている。 – Ignazio

答えて

0

私は、読者のためだけで、完全性のために答えを残しています。

  • 役割機能:RL
  • ロール階層:QL、RL
  • 逆特性:QL、RL
  • 対称特性:QL、RL
  • 否定(すなわち、「の補数」):QL *、RL *
  • 修飾定量(すなわち、特定のクラスのいくつかの値):QLの*、EL、RL **

*のみスーパー位置で(exは:A ⊑ Bにおいて、Bは、スーパーポジションにある)
**のみサブクラス位置(例で: A ⊑ Bで、A)は、サブクラス位置にある

出典:w3.org/TR/owl2-profiles