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/03 12:39] ikaf [3.5 Wsparcie narzędziowe] |
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 390: | Linia 392: | ||
| __**Ćwiczenie 9**__: | __**Ćwiczenie 9**__: | ||
| - Pobierz silnik wnioskujący [[http://clarkparsia.com/pellet/download|Pellet]]. | - Pobierz silnik wnioskujący [[http://clarkparsia.com/pellet/download|Pellet]]. | ||
| - | - Uruchom go wpisując w konsoli ''pellet.sh help'' i zapoznaj się z dostępnymi opcjami. | + | - :!: Na borgu powinien być w ''/usr/local/pellet''. |
| - | - Uruchom ''pellet.sh consistency <ontology>'' gdzie ''<ontology>'' jest bazą wiedzy ''people+pets.owl'' umieszczoną w katalogu ''examples''. | + | - 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/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'' | ||
| - Jakie są rezultaty? | - Jakie są rezultaty? | ||
| + | |||
| + | ===== Materiały ===== | ||
| + | ==== Wykłady, prezentacje ==== | ||
| + | * [[http://www.inf.unibz.it/~franconi/dl/course/|DL Course]] by Enrico Franconi | ||
| + | * **[[http://www.inf.unibz.it/~franconi/dl/course/slides/prop-DL/propositional-dl.pdf|Propositional Description Logics]]** :!: | ||
| + | * [[http://www.inf.unibz.it/~franconi/dl/course/slides/kbs/kbs.pdf|Knowledge Bases in Description Logics]] | ||
| + | * [[http://www.inf.unibz.it/~franconi/dl/course/slides/logic/fol/fol-2.pdf|DL reasoning, FOL etc.]] | ||
| + | |||
| + | * [[http://www.cse.iitd.ac.in/~kkb/DL-1.pdf|DL Tutorial]] | ||
| + | |||
| + | * [[http://www.cs.man.ac.uk/~horrocks/Slides/IJCAR-tutorial/Print/p1-introduction.pdf|Description Logics—Basics, Applications, and More]] | ||
| + | |||
| + | * [[http://www.cs.put.poznan.pl/jjozefowska/wyklady/ai/Ontologie.pdf|Ontologie, Logiki deskrypcyjne]] | ||
| + | * [[http://www.cs.man.ac.uk/~horrocks/Slides/index.html|Horrock's Presentations]] | ||
| + | * [[http://www.inf.unibz.it/~franconi/dl/course/slides/db/db.pdf|DL and DB]] | ||
| + | |||
| + | * [[http://www.obitko.com/tutorials/ontologies-semantic-web/description-logics.html|DL]] by Obitko | ||
| + | * [[http://www.obitko.com/tutorials/ontologies-semantic-web/syntax-and-semantics.html|Syntax & Semantics]] | ||
| + | * [[http://www.obitko.com/tutorials/ontologies-semantic-web/translation-to-fopl.html|Translation to FOPL]] | ||
| + | * [[http://www.obitko.com/tutorials/ontologies-semantic-web/reasoning.html|Reasoning]] | ||
| + | |||
| + | * [[http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdf|Introduction to DL]] (handbook) | ||
| + | |||
| + | ==== Kursy ==== | ||
| + | * [[http://www.inf.unibz.it/~franconi/dl/course/|DL Course]] by Enrico Franconi | ||
| + | * [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/|by I.Horrocks]] | ||
| + | * Lectures: | ||
| + | * {{http://www.cs.man.ac.uk/%7Ehorrocks/Teaching/cs646/Slides/pt2-dlintro.pdf|Intro to DL}} | ||
| + | * {{http://www.cs.man.ac.uk/%7Ehorrocks/Teaching/cs646/Slides/pt3-dlreasoning.pdf|DL reasoning}} | ||
| + | * Labs: | ||
| + | * DL reasoning: [[http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning/|HTML]], {{http://www.cs.man.ac.uk/~horrocks/Teaching/cs646/Labs/dlreasoning.pdf|PDF}} | ||
| + | * [[http://www.cs.man.ac.uk/%7Ehorrocks/Teaching/cs646/Exams/dlreasoning2/|Exam]] - zadania z DL | ||
| + | * [[http://www.cs.man.ac.uk/~rector/modules/CS646/|Rector]] | ||
| + | * Lectures: [[http://www.cs.man.ac.uk/~rector/modules/CS646/Lecture-Handouts/|Handouts]] | ||
| + | * Lab: [[http://www.cs.man.ac.uk/~rector/modules/CS646/Lab-Handouts/|Handouts]] | ||
| + | * [[http://www.dcs.bbk.ac.uk/~michael/sw/sw.html|SemWeb course in London]], 2012 | ||
| + | |||
| + | ==== Narzędzia ==== | ||
| + | * [[http://www.cs.man.ac.uk/~horrocks/FaCT/|FaCT]] | ||
| + | * [[http://www.sts.tu-harburg.de/%7Er.f.moeller/racer/|Racer]] | ||
| + | * [[http://www.sts.tu-harburg.de/%7Er.f.moeller/racer/Racer-1-9-2-beta-Release-Notes/release-notes-1-9-2se3.html#x4-70003.2|RacerPorter]] GUI | ||
| + | * [[http://blipkit.wordpress.com/2010/11/27/posh-the-prolog-owl-shell/|POSH: the prolog OWL shell]] | ||
| + | * [[http://code.google.com/p/dlmodel/|DL model]] | ||
| + | * [[http://db-tom.cs.uwaterloo.ca/AssertionRetrieval/pages/kbgen.jsp|CARE]] - online | ||
| + | * [[http://www.cs.man.ac.uk/~sattler/reasoners.html|More reasoners]] | ||
