問題タブ [protege4]

Sparql を使用して Protege のデータ プロパティを owl:Class にマップしようとしていますが、うまくいきません。誰かが例を持っている場合は、遠慮なく答えてください。

私がそれを実行していたとき、私はこのメッセージを受け取りました。この問題を解決するのを手伝ってください。

サブクラスの個人/メンバーがスーパークラスのメンバーとして表示されない理由を明確にしたいだけですか?

例えば

男性に「ジョン」と「ショーン」という 2 人のメンバー/個人がいる場合、それらもスーパークラスに表示されるべきではありませんか?

私の理解では、「ジョン」と「ショーン」は男性であり、したがって人間です。

または、それを実現するために何かを明示的に述べる必要がありますか

編集：

さて、何かをテストしたところですが、DL-QUERY を使用してスーパークラスを照会すると、実際に個人がスーパークラスに表示されます…</p>

これは奇妙です。これはバグですか？

Protégé 5.2 を使用しています。

私は修士号を取得しており、教授は、IOT ベースの屋内センサー Web システム全体のオントロジーを作成するように求めています。センサードライバやミドルウェアクラスのインスタンスをどう作るかなど、よくわからないことが多々あります。私はProtegeを使用しています。何らかの Web サービスを介してオントロジーに新しい温度または湿度の値を毎日フィードして、それを推論できるようにすることが可能かどうかを尋ねたいと思います。私はこの考えに本当に混乱しています。私にいくつかの提案をしてくださいそして、もちろん私はそれを自分でGoogleに行くように頼まないでください. ありがとう

オントロジーを設計しました。いくつかのプロパティに基づいて定義されたクラスがあります。protege reasoner を実行していると、その定義されたクラスのメンバーである個人が表示されます。しかし、保護者のsparqlを使用して、その定義されたクラスのメンバーを取得できません。どんな体でも助けることができますか？スクリーンショットを添付しています。

クエリに対して個人を返す必要があります。

ただし、サブクラスでのみ機能します。rdfs:subClassOf別のオペレーターに交換する必要がありますか?

私のオントロジーには、 first name のようないくつかのプロパティを持つ Worker のクラスがあります。First name は機能プロパティですが、すべてのワーカー個人に存在することを確認したいと思います。

for Worker に part と同等の制限を追加し、 First_Name some stringテストのために part のサブクラスに別の制限を追加しましたFirst_Name exactly 1 string

名なしで新しい個人を追加すると、推論者（HermiT）からエラーが発生しません。

エラーは何ですか、または何か誤解していますか?

こんにちは、私はプロテジを始めたばかりです。

protege 4.0.2 をダウンロードしてオントロジーを作成しましたが、その一貫性をチェックする理由がないようです。

推論タブも表示されていますが、fact ++を選択した後、変更が表示されません。

私がそれを正しく行っていない場合、どこからファクト++またはその他の被保護者の推論をダウンロードでき、どのようにインストールできますか.

私はたくさん閲覧しましたが、推論をインストールする方法が見つかりませんでした。

前もって感謝します。

Protege 4 で「ルール」ビューを利用しました

門徒がルール名を定義するのをサポートすればよいと思います。

このようにルールを定義しました

そして、ルール名を定義しようとしました..しかし、ルール名の使用方法がわかりませんでした

シンタックスエラーが発生！

Protege 4 で SWRL ルール名を定義するには?

ワインオントロジーからすべての食事コースをリストするのを手伝ってください。または、次のような便利なリンクを喜んで受け取ってください。

MealCourse and (hasFood value Pizza) and(hasDrink value Wine)

ありがとうございました