0
私はオントロジとOWLの新機能ですので、いくつかの助けが必要です。OWL文で<=を使用して2つのデータ型プロパティを比較できますか？
私はのデータ型プロパティ（VARminとVARmax）の2つのデータ型を持っています。どちらも> = 0で、< = 1でなければなりません。この制限は、私は作成することができ、それは大丈夫です。
（VARminいくつかのフロート[< = 1、> = 0]）及び（VARMAXいくつかのフロート[= 1 <、> = 0]）
問題は、私は必要ということです：私はこれをしませんでしたこれらの変数をと比較すると、次のようになります。VARmin < = VARmax。
VARminは、いくつかのフロート[< = " 'VARMAX'" ^^フロート]
が、私はこのエラーを得た：私はこれを試してみました "にUnsupportedOperationException：値nullは、ファセット32のために有効ではありません"
私はこのエラーのためのいくつかの可能な解決策を研究し、ここで整数を比較する年と型のような特定のデータ型についての説明を得ました：https://mailman.stanford.edu/pipermail/p4-feedback/2007-October/000414.html しかし、これは私のケースではありません。
もう一度調査しましたが、解決策が私の問題と一致しません。誰も助けてくれませんか？
PS：私はSWRLを使用して、この問題を解決するためにプロテジェバージョン4.0およびペレット推論1.5
OWLオントロジーは、変数の概念がありません。事実（トリプル）とプロパティの定義と定数。時には、分離したエンティティの不一致を分類することによって、計算を実行するための推論エンジンを得ることができます。しかし、ほとんどの場合、計算上の比較にSPARQLを使用する方が適しています。時には唯一の解決策です。 – scotthenninger
変数によってSWRL変数を参照している場合は、変数の比較のための組み込み関数があります。 SWRLの仕様を参照してください：https://www.w3.org/Submission/SWRL/#8 – Ignazio
一般に、OWLの公理は「ツリー型」である必要があります。何を求めているのですかX値がY値以下である個体）は、 "has X value"ブランチのリーフと "has Y value"ブランチのリーフを比較したいので、 "tree-shaped"ではありません。これを行うには、SWRLルールを使用する必要があります。 –