Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:2009:miw09_owl_rules_2 [2009/06/15 03:12] jsi08 |
pl:miw:2009:miw09_owl_rules_2 [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | ====== Opis ====== | + | ~~ODT~~ |
| - | Mariusz Sokołowski <mmarsokol@gmail.com> | + | ====== MIW 2009 OWL_Rules ====== |
| - | Opis projektu ze strony [[pl:miw:2009:miw2009_tematy#owl_rules|miw2009_tematy]]: | + | **Zrealizował**: [[mmarsokol@gmail.com|Mariusz Sokołowski]] (4RI) |
| - | ==== OWL_Rules ==== | + | |
| + | :!: 8-o | ||
| How decision rules can be represented, encoded in [[http://www.w3.org/2004/OWL|OWL]] | How decision rules can be represented, encoded in [[http://www.w3.org/2004/OWL|OWL]] | ||
| rules in description logic, description logic programs, swrl? | rules in description logic, description logic programs, swrl? | ||
| + | |||
| + | |||
| + | ====== Prezentacja ====== | ||
| + | [[pl:miw:2009:miw09_owl_rules_2:prezentacja|Prezentacja wyników projektowych]]. | ||
| + | |||
| + | |||
| + | |||
| + | |||
| ====== Spotkania ====== | ====== Spotkania ====== | ||
| - | ===== 20090319 ===== | + | [[pl:miw:2009:miw09_owl_rules_2:spotkania|Notatki ze spotkań projektowych]]. |
| - | * reguły w owl! | + | |
| - | ===== 20090312 ===== | ||
| - | * [[hekate:semweb:dl_intro|poczytac o DL]] | ||
| - | * wstępna klasteryzacja | ||
| - | ===== 20090225 ===== | ||
| - | * wyszukać materiały dostępne w sieci i poczytać | ||
| ====== Projekt ====== | ====== Projekt ====== | ||
| + | |||
| + | |||
| + | |||
| ====== Sprawozdanie ====== | ====== Sprawozdanie ====== | ||
| Linia 269: | Linia 275: | ||
| - | Reguły F-Logic są regułami Logic Programming na atomach F-Logic. | + | Reguły F-Logic są regułami Logic Programming na atomach F-Logic. |
| + | |||
| + | **Składnia F-Logic** | ||
| + | |||
| + | Alfabet języka F-Logic składa się ze zbioru F symboli funkcji, pełniących rolę konstruktorów obiektów. 'Id-term'y są złożone z konstruktorów i zmiennych i są interpretowane jako elementy świata. | ||
| + | Niech o, c, d, d<sub>1</sub>, ... , d<sub>n</sub>, p, v, v<sub>1</sub>, v<sub>n</sub> będą id-term lub literałami. Zauważmy, że URL jako podklasa klasy string może wskazywać obiekty. | ||
| + | |||
| + | Na przykład: | ||
| + | “foo:bla#john”:“foo:meta#Person”[“foo:meta#name”!“John”; | ||
| + | “foo:meta#livesIn”!!(“geo://de/Berlin”:“geo:meta#City”)]. | ||
| + | jest poprawnym fragmentem języka F-Logic. | ||
| + | |||
| + | Atom 'is-a' jest wyrażeniem postaci o : c (obiekt o jest składnikiem klasy c), lub c :: d (klasa c jest podklasą klasy d). | ||
| + | |||
| + | Reguła F-Logic jest logiczną regułą h ← b na atomach F-Logic, np. asercje 'is-a' i obiektowe atomy. F-Logic program jest zbiorem reguł. Semantyka reguł F-Logic jest zdefiniowana przez struktury Herbrand'a, gdzie świat składa się z podstawowych id-term'ów. H-struktura jest zbiorem podstawowych atomów F-Logic, opisujących obiektowy świat, więc musi spełniać kilka domykających aksjomatów związanych z ogólnymi, zorientowanymi obiektowo właściwościami. | ||
| + | |||
| + | **Aksjomaty F-Logic** | ||
| + | |||
| + | Zbiór H (może być nieskończony) podstawowych atomów jest H-strukturą jeśli dla dowolnych u, u<sub>0</sub>, . . . , u<sub>n</sub> i u<sub>m</sub> ze zbioru H zachodzą następujące warunki: | ||
| + | |||
| + | * u :: u ∈ H (zwrotność podklas), | ||
| + | * jeśli u<sub>1</sub> :: u<sub>2</sub> ∈ H i u<sub>2</sub> :: u<sub>3</sub> ∈ H to u<sub>1</sub> :: u<sub>3</sub> ∈ H (przenośność podklas), analogicznie, jeśli u<sub>1</sub> : u<sub>2</sub> ∈ H i u<sub>2</sub> :: u<sub>3</sub> ∈ H to u<sub>1</sub> : u<sub>3</sub> ∈ H, | ||
| + | * jeśli u<sub>1</sub> :: u<sub>2</sub> ∈ H i u<sub>2</sub> :: u<sub>1</sub> ∈ H to u<sub>1</sub> = u<sub>2</sub> ∈ H (niecykliczność podklas), | ||
| + | * jeśli dla podstawowych id-term'ów u i u′ (u ≠ u′) takich, że u<sub>0</sub>[u<sub>m</sub>→u] ∈ H i u<sub>0</sub>[u<sub>m</sub>→u′] ∈ H, to u = u′ (niepowtarzalność skalarnych właściwości). | ||
| + | |||
| + | Dla zbioru M podstawowych atomów, α(M) oznacza domknięcie zbioru M. | ||
| + | |||
| + | Dobre programy F-Logic są analizowane z dołu-do-góry przez operator zawierania α, typu T<sub>p</sub>, dostarczając minimalne semantyki modelowe. | ||
| + | |||
| + | |||
| + | |||
| ---- | ---- | ||
| + | ==== What reasoning support for Ontology and Rules? ==== | ||
| + | * źródło: [[http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-188/sub21.pdf]] | ||
| + | Jako, że jest to niemożliwe, żeby mieć równocześnie rozstrzygalność, kompletność i ekspresyjność, wymagane właściwości aplikacji muszą być dokładnie określone, ze względu na możliwości i ograniczenia metody wnioskowania, w celu wybrania jak najlepszego języka. Użyteczne jest wyjaśnienie, które właściwości są przewidywane pod ograniczeniami DLP, kiedy silnik reguł produkcyjnych np. Jess i mechanizm wnioskujący języka DL np. Racer są używane oddzielnie. Jeżeli DLP nie jest wystarczający i jest potrzebna ekspresyjność OWL DL, to dobrym rozwiązaniem jest rozszerzenie OWL DL bezpiecznymi regułami Datalog (¬∨), językiem SWRL lub FOL, zależnie od przewidywanej ekspresywności i obliczeniowych własności. | ||
| + | ---- | ||
| - | ====== Prezentacja ====== | ||
| ====== Materiały ====== | ====== Materiały ====== | ||
| ==== OWL Rules: ==== | ==== OWL Rules: ==== | ||
| Linia 303: | Linia 343: | ||
| ==== inne: ==== | ==== inne: ==== | ||
| - | * [[hekate:semweb:dl_intro|Description Logics and OWL in the Semantic Web]] | + | * [[hekate:dl_intro|Description Logics and OWL in the Semantic Web]] |
| * [[http://www.ruleml.org/|RuleML]] | * [[http://www.ruleml.org/|RuleML]] | ||
| * [[http://www.w3.org/TR/owl-xmlsyntax/|OWL Web Ontology Language - XML Presentation Syntax]] | * [[http://www.w3.org/TR/owl-xmlsyntax/|OWL Web Ontology Language - XML Presentation Syntax]] | ||
