ORステートメントを使用するSWRLルール

Question

ORタイプステートメントを使用する必要があるSWRLルールを実装する方法を理解しようとしています。このシナリオは次のとおりです。オントロジには、 "hasProcess"というオブジェクトプロパティと多数のクラスのプロセスを持つ "MachineTool"クラスがあります。私たちは、 "EndMilling"または "Drilling"のhasProcess値を持つMachineToolの個人のリストを取得したいと考えています。

もし「または」ステートメントがSWRLルールは以下のようになりますせた。

MachineTool(?mt)^hasProcess(?mt, ?p)^(EndMilling OR Drilling)(?p) -> MyMachineTools(?mt) 

しかし、そのルールが合法ではありません。誰かが私たちが探しているものを達成できるルール（または一連のルール）を知っていますか？私は（、門徒は、現時点では奇妙なことされているが、それをテストしていない）一つの代替は可能性が考えていた：

EndMilling(?p) -> MyProcesses(?p) 
Drilling(?p) -> MyProcesses(?p) 
MachineTool(?mt)^hasProcess(?mt, ?p)^MyProcesses(?p) -> MyMachineTools(?mt) 

私はこの問題のすべての感想をお待ちしております。

Answer 1

OR は、OWLのObjectUnionOfを使用して表現された場合、SWRLルールでは法律であり、です。

私はこの問題が、あなたのコードサンプルに特集されているようなSWRLサーフェイス構文のツールサポートにあると思います。 Protege 3.xはこのOR構造を構文的にサポートしていません（少なくともチェックしたことはありませんでした）。Protege 4.1はそれをレンダリングできますが、それを再解析することはできません（rc5でチェックしただけです）。しかし、最近のOWL-API（v3.2.x）を使用していて、XMLや機能スタイルの構文のような構文を使用している場合、すべてがうまくいくはずです。 （Protege 3.xと4.xは大きく異なるOWL APIを使用するので、Protege 4.xとOWL-API 3.xでの作業をお勧めします）

ORを取得できない場合SWRLの場合、ObjectUnionOfと同等の名前付きクラスを使用できます。あなただけ述べているので、あなたの仕事は、周りの（第二のコードサンプル）は、意味的に等価な声明を与えるものではありません

EquivalentClasses(my-processes, ObjectUnionOf(end-milling, drilling)) 

machine-tool(?mt)^has-process(?mt, ?p)^my-processes(?p) 
                 -> my-machine-tool(?mt) 

注：

SubClassOf(end-milling, my-processes) 
SubClassOf(drilling, my-processes) 

述べると同じです：

SubClassOf(ObjectUnionOf(end-milling, drilling), my-processes) 

を

等価を述べるには、他の含意も必要です。

SubClassOf(my-processes, ObjectUnionOf(end-milling, drilling)) 

あなたのルールは簡単OWLで表現することができることに注意してください、すなわち、あなたがこのルールにまったくSWRLを必要としない。（可能な場合）OWLのすべてを記載した

SubClassOf(
    ObjectIntersectionOf(
     :machine-tool 
     ObjectSomeValuesFrom(
     :has-process 
     ObjectUnionOf(
      :end-milling 
      :drilling 
     ) 
    ) 
    ) 
    :my-machine-tool 
) 

は、いくつかの利点があり、例えばより優れたツールサポート（SWRLの推論システムよりも多くのOWL推論があります）、より強力な推論が可能になります（SWRL推論システムは既知の個人にのみルールを適用します）。