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/04 19:19] ikaf [Kursy] |
pl:dydaktyka:krr:lab_dl [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| 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 138: | Linia 138: | ||
| - Wyznacz rozszerzenie powyższych pojęć w interpretacji I (sprawdź czy/kto w podanej interpretacji zalicza się do tych grup). | - Wyznacz rozszerzenie powyższych pojęć w interpretacji I (sprawdź czy/kto w podanej interpretacji zalicza się do tych grup). | ||
| - Zapisz następujące pojęcia w postaci aksjomatów (postaci <latex>A \sqsubseteq B</latex>) języka <latex>ALC</latex>: | - Zapisz następujące pojęcia w postaci aksjomatów (postaci <latex>A \sqsubseteq B</latex>) języka <latex>ALC</latex>: | ||
| - | - Ci, którzy nie mają męskich przyjaciół, nie mają zwierząt domoych. | + | - Ci, którzy nie mają męskich przyjaciół, nie mają zwierząt domowych. |
| - Wszyscy mężczyźni są albo w związku małżeńskim albo mają nie-męskiego przyjaciela. | - Wszyscy mężczyźni są albo w związku małżeńskim albo mają nie-męskiego przyjaciela. | ||
| - Czy te aksjomaty są prawdziwe w danej interpretacji? | - Czy te aksjomaty są prawdziwe w danej interpretacji? | ||
| Linia 149: | Linia 149: | ||
| * relacje (atomiczne) ⇔ predykaty binarne | * relacje (atomiczne) ⇔ predykaty binarne | ||
| * pojęcia ⇔ formuły z jedną wolną zmienną | * pojęcia ⇔ formuły z jedną wolną zmienną | ||
| - | * Formuły logiki opisowej można intuicyjnie interpretować poprzez analogię do algabry zbiorów | + | * Formuły logiki opisowej można intuicyjnie interpretować poprzez analogię do algebry zbiorów |
| ^ Przykład użycia ^ Składnia DL ^ Składnia FOL ^ Algebra zbiorów ^ | ^ Przykład użycia ^ Składnia DL ^ Składnia FOL ^ Algebra zbiorów ^ | ||
| 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. | ||
| Linia 376: | Linia 378: | ||
| Niektóre z nich są zoptymalizowane pod kątem konkretnych języków DL (np. takich na których opierają się warianty języka ontologii OWL ). | Niektóre z nich są zoptymalizowane pod kątem konkretnych języków DL (np. takich na których opierają się warianty języka ontologii OWL ). | ||
| - | Lista dostępnych silników wnioskujących dostępna jest na stronie: [[http://www.cs.man.ac.uk/~sattler/reasoners.html|Prof. U. Sattler]] | + | Lista dostępnych silników wnioskujących dostępna jest na stronie: [[http://www.cs.man.ac.uk/~sattler/reasoners.html|Prof. U. Sattler]]. |
| Popularne narzędzia to m.in: | Popularne narzędzia to m.in: | ||
| * [[http://clarkparsia.com/pellet/download|Pellet]] | * [[http://clarkparsia.com/pellet/download|Pellet]] | ||
| Linia 391: | Linia 393: | ||
| - Pobierz silnik wnioskujący [[http://clarkparsia.com/pellet/download|Pellet]]. | - Pobierz silnik wnioskujący [[http://clarkparsia.com/pellet/download|Pellet]]. | ||
| - :!: Na borgu powinien być w ''/usr/local/pellet''. | - :!: Na borgu powinien być w ''/usr/local/pellet''. | ||
| - | - Uruchom go wpisując w konsoli ''pellet.sh help'' i zapoznaj się z dostępnymi opcjami. | + | - Uruchom go wpisując w konsoli ''pellet.sh help'' i zapoznaj się z dostępnymi opcjami. (''/usr/local/pellet/pellet.sh'') |
| - | - Uruchom ''pellet.sh consistency <ontology>'' gdzie ''<ontology>'' jest bazą wiedzy ''people+pets.owl'' umieszczoną w katalogu ''examples''. | + | - Uruchom ''pellet.sh consistency <ontology>'' gdzie ''<ontology>'' jest bazą wiedzy ''people+pets.owl'' umieszczoną w katalogu ''examples/data''. |
| - Jakie są rezultaty? | - Jakie są rezultaty? | ||
| - Uruchom ''pellet.sh classify <ontology>'' dla powyższej ontologii ''peopl+pets.owl'' | - Uruchom ''pellet.sh classify <ontology>'' dla powyższej ontologii ''peopl+pets.owl'' | ||
