1

すべてのcheesypizzaはチーズをトッピングしたピザであるというオントロジーの非常に単純な公理を仮定しましょう。OWL 表現では、cheeseypizza は has-topping プロパティの制限のサブクラスとして表現されます。ただし、次のトリプル データセット形式で抽出したいと思います。

  1. CheesyPizza1 サブクラス Pizza1
  2. Pizza1 トッピングあり CheeseTopping1

Pizza1 が Pizza クラスの動的インスタンス化 (オントロジーの Pizza クラスの真の個体ではなく、トリプル形式で記述している間の単なる確率変数) であり、同様に、CheesyPizza1 が CheesyPizza クラスの動的インスタンス化であり、CheesyTopping1 が動的インスタンス化であると仮定します。 CheeseTopping クラスのインスタンス化。

上記の表現を取得するにはどうすればよいですか？

4

1 に答える 1

3

公理が無効に見えるため、例を明確にする必要があります。とにかく、あなたの例で、CheesyPizza1、Pizza1、および CheeseTopping1 がクラスであり、CheesyPizza1 が Pizza1 のサブクラスであり、CheesyPizza1 に OWL 制限 hasTopping 一部の CheeseTopping1 があると言いたい場合、トリプルは次のようになります。

:Pizza1 rdf:type owl:Class .

:CheeseTopping1 rdf:type owl:Class .

:CheesyPizza1 rdf:type owl:Class ;
   rdfs:subClassOf :Pizza1,
        [ a owl:Restriction ;
          owl:onProperty :hasTopping ;
          owl:someValuesFrom :CheeseTopping1 
        ] .

OWL 制限がトリプルとしてどのように表現されているかを確認するには、Guus Schreiber のOWL 制限を参照することをお勧めします。

于 2014-09-16T10:23:34.890 に答える