Protegeを使用していて、特定のプロパティを持たないすべてのインスタンスのDL Queryを返そうとしています。Protege DL Query - 特定のObjectPropertyを持たないインスタンス
例えば、私は、数のインスタンスを返すことができる（例えば数値1、数値2、など）プロパティはinitialValueと私はインスタンスを返し門徒でDLクエリを作成するにはどうすればよい はinitialValueいくつかの値
を使用して、 intialValueプロパティを持っていない番号の？事前
で
おかげで、私はかなり確信していないが、私はこれを行うことができるとは思いません。私は問題がセマンティックWebとオントロジに適用されるOpen World Assumption OWAであると思う。確かに、我々はそれがわからないだけで何かが間違っているとは言えません。何かが不明なときは、それは不明です。
あなたの場合はinstances of number that don't have the property intialValueです。 numberにinitialValue Valueが明示的に記載されている場合は、そのことが明らかです。ここで、initialValue Valueを割り当てずに、number1とnumber2のインスタンスがNumberであるとします。これはNOTです。number1とnumber2にはinitialValue Valueが含まれていません。
それを明確にする：
Number that not (initialValue some Value)
は何も返さないだろう、それはOWAです！
私は回避策として何ができると思いますが、Protegeでは否定的なアサーションをアサートすることができます。 v1、インスタンスがValueであるとします。
Number that not (initialValue value v1)
これはnumber3を取得します：あなたはnumber3がinitialValue v1を持って、そしてあなたが照会することができないこと（例えば門徒を使用して）述べることができます。