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) |
| |
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> |
- 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? |
* 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 ^ |
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. |
| |
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]] |
- 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'' |