description-logic

0熱

1答えて

OWLの等価クラスとサブクラスの混合

クラスの説明でSubClassOfとEquivalentClassを混在させるのは興味深いです。 具体的には、同じクラスのEquivalentClassとSubClassOfの両方のアサーションがある場合、EquivalentClassとSubClassOfの両方の条件を満たす必要がありますか？ これは悪い習慣ですか？例えば （宣言は省略）： ObjectPropertyRange(:format

rdf owl description-logic 2010-12-21

---

5熱

3答えて

記述ロジックでこの文を表現する方法は？

これは説明ロジックでどのように記述するのですか？ は初心者として、まだコメントすることはできません おかげ

semantic-web description-logic 2009-05-27

---

2熱

1答えて

"someValuesFrom"と "allValuesFrom"の違いは何ですか？

説明ロジックでは、「someValuesFrom」と「allValuesFrom」の違いは何ですか？ つまり、（限定された存在量の定量化）と（値の制限）の違い。 例えば、この点を考慮してください。 Δ= {A、B、C、D、E} EXT（B）= {< C、D>} EXT（R）= {< a> b>、< a、c>、< d、c>、< c、e>} したがって、以下の違いは何ですか？ ext（∃R.B）= ？

math logic owl description-logic 2009-05-27

---