Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:dydaktyka:krr:lab_dl [2013/06/05 10:49] gjn [3.5 Wsparcie narzędziowe] |
pl:dydaktyka:krr:lab_dl [2016/06/01 09:25] msl [2.1 Terminologia (TBox)] Rozdzielenie aksjomatów dotyczących relacji |
||
|---|---|---|---|
| Linia 19: | Linia 19: | ||
| Wybrane fragmenty ww. grafu zapisane w logice opisowej: | Wybrane fragmenty ww. grafu zapisane w logice opisowej: | ||
| - | * <latex> Fred : person </latex>, <latex> Tibbs: cat</latex>, <latex> (Tred, Tibbs) : has\_pet</latex> | + | * <latex> Fred : person </latex>, <latex> Tibbs: cat</latex>, <latex> (Fred, Tibbs) : has\_pet</latex> |
| * <latex> man \equiv person \sqcap adult \sqcap male</latex>, <latex> cat\_liker \equiv person \sqcap \exists likes.cat</latex> | * <latex> man \equiv person \sqcap adult \sqcap male</latex>, <latex> cat\_liker \equiv person \sqcap \exists likes.cat</latex> | ||
| * <latex>(cat\_liker, cat) : likes </latex>, <latex> (sheep, grass) : eats\_only</latex> | * <latex>(cat\_liker, cat) : likes </latex>, <latex> (sheep, grass) : eats\_only</latex> | ||
| Linia 222: | Linia 222: | ||
| Składnia: | Składnia: | ||
| * TBox to skończony zbiór aksjomatów terminologicznych postaci: | * TBox to skończony zbiór aksjomatów terminologicznych postaci: | ||
| - | * <latex> C \sqsubseteq D (R \sqsubseteq S) </latex> | + | * <latex> C \sqsubseteq D </latex> |
| - | * lub <latex> C \equiv D (R \equiv S) </latex> | + | * <latex> R \sqsubseteq S </latex> |
| - | * Definicje to równości, które po leweje stronie mają pojęcie atomiczne | + | * <latex> C \equiv D </latex> |
| + | * <latex> R \equiv S </latex> | ||
| + | * Definicje to równości, które po lewej stronie mają pojęcie atomiczne | ||
| Semantyka: | Semantyka: | ||
| * funkcja interpretacji <latex> \mathcal{I} </latex> mapuje każde pojecie na podzbiór dziedziny | * funkcja interpretacji <latex> \mathcal{I} </latex> mapuje każde pojecie na podzbiór dziedziny | ||
| - | * interpretacja //spełnia// aksjomat <latex> C \sqsubseteq D (R \sqsubseteq S) </latex> jeżeli: <latex> C^{\mathcal{I}} \subseteq D^{\mathcal{I}} </latex> lub <latex> R^{\mathcal{I}} \subseteq S^{\mathcal{I}} </latex> | + | * interpretacja //spełnia// aksjomat <latex> C \sqsubseteq D </latex> jeżeli: <latex> C^{\mathcal{I}} \subseteq D^{\mathcal{I}} </latex>; analogicznie w przypadku relacji <latex> R \sqsubseteq S </latex> |
| - | * interpretacja //I// spełnia definicję <latex> C \equiv D (R \equiv S) </latex> jeżeli: <latex> C^{\mathcal{I}} = D^{\mathcal{I}} </latex> lub <latex> R^{\mathcal{I}} = S^{\mathcal{I}} </latex> | + | * interpretacja //I// spełnia definicję <latex> C \equiv D </latex> jeżeli: <latex> C^{\mathcal{I}} = D^{\mathcal{I}} </latex>; analogicznie w przypadku relacji <latex> R \equiv S </latex> |
| * interpretacja //spełnia terminologię (TBox)// jeżeli spełnia wszystkie jej aksjomaty. Mówimy wtedy, że I //jest modelem// T. | * interpretacja //spełnia terminologię (TBox)// jeżeli spełnia wszystkie jej aksjomaty. Mówimy wtedy, że I //jest modelem// T. | ||
