Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

Both sides previous revision Poprzednia wersja
Nowa wersja
Poprzednia wersja
pl:miw:2009:miw09_owl_rules_2 [2009/09/11 23:47]
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 306: Linia 312:
   * źródło: [[http://​sunsite.informatik.rwth-aachen.de/​Publications/​CEUR-WS/​Vol-188/​sub21.pdf]]   * ź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 336: 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]]
pl/miw/2009/miw09_owl_rules_2.1252705649.txt.gz · ostatnio zmienione: 2019/06/27 15:57 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0