Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:2009:miw09_prolog_sbvr:prezentacja [2009/07/06 19:49] jsi08 |
pl:miw:2009:miw09_prolog_sbvr:prezentacja [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 28: | Linia 28: | ||
| ===== SBVR jako semantyka ===== | ===== SBVR jako semantyka ===== | ||
| - | Rozdzielenie znaczenia pojęcia od jego reprezentacji. SBVR jest standardem umożliwiającym powiązaniem znaczenia i reprezentacji. \\ \\ | + | Rozdzielenie znaczenia pojęcia od jego reprezentacji. SBVR jest standardem umożliwiającym powiązanie znaczenia i reprezentacji. \\ \\ |
| - | Pociąga to za sobą brak standardowej notacji SBVR. Równouprawnione są wszystkie notacje zgodne ze specyfikacją (np Structured English, język Polski - odpowiednio sformalizowany, język diagramów), które można dodefiniować. \\ \\ | + | Pociąga to za sobą brak standardowej notacji SBVR. Równouprawnione są wszystkie notacje zgodne ze specyfikacją (np Structured English, język polski - odpowiednio sformalizowany, język diagramów), które można dodefiniować. \\ \\ |
| Specyfikacja SBVR napisana za pomocą Structured English. \\ | Specyfikacja SBVR napisana za pomocą Structured English. \\ | ||
| Linia 41: | Linia 41: | ||
| ===== SBVR Structured English c.d. ===== | ===== SBVR Structured English c.d. ===== | ||
| * {{:pl:miw:2009:miw09_prolog_sbvr:pliki:fonts:keyword.gif?65|Czcionka 'keyword'}} - w ten sposób wyróżniane są symbole językowe za pomocą, których konstruuje się zdania i reguły. Przykłady: kwantyfikacje (each, exactly one), operatory logiczne (and,or ), operatory logiki modalnej (it is necessary, it is permitted). | * {{:pl:miw:2009:miw09_prolog_sbvr:pliki:fonts:keyword.gif?65|Czcionka 'keyword'}} - w ten sposób wyróżniane są symbole językowe za pomocą, których konstruuje się zdania i reguły. Przykłady: kwantyfikacje (each, exactly one), operatory logiczne (and,or ), operatory logiki modalnej (it is necessary, it is permitted). | ||
| + | |||
| + | ===== Reguły w SBVR ===== | ||
| + | {{:pl:miw:2009:miw09_prolog_sbvr:pliki:SBVR_voc_constr.gif?700}} | ||
| + | |||
| + | Tworzenie reguł według specyfikacji SBVR: | ||
| + | * zdefiniować termy np. car, driver, itp | ||
| + | * na podstawie istniejących termów zdefiniować verb concepts np car has driver | ||
| + | ===== Reguły w SBVR c.d.===== | ||
| + | * na podstawie istniejących faktów poprzez dodanie przyimków, kwantyfikatorów i operatorów modalnych np. It is obligatory that each car has a driver | ||
| + | |||
| + | Reguły strukturalne oraz operatywne (wymagające poziomu przestrzegania). | ||
| + | |||
| + | ===== Istniejące narzędzie zgodne z SBVR ===== | ||
| + | * SBeaVeR - Open source, nie została jeszcze napisana w pełni funkcjonalna wersja | ||
| + | * RuleXpress firmy RuleArts - w pełni komercyjny produkt, posiada graficzny edytor reguł | ||
| + | |||
| + | Żadne z tych narzędzi nie posiada funkcji parsowania reguł i ich rozbioru logicznego. Istnieją jeszcze inne narzędzia o których wspominają autorzy SBVR, aczkolwiek posiadają one cząstkowe nawiązania do standardu. | ||
| + | |||
| + | ===== Kolorowanie reguł ===== | ||
| + | W ramach projektu udało się stworzyć program w języku Prolog, który na wejściu otrzymuje słownik (w znaczeniu term --> czcionka) oraz napis do przetworzenia, a na wyjściu produkuje plik html zawierający napis z wejścia opatrzony odpowiednimi tagami tak, by po otwarciu przez przeglądarkę wyglądał jak Structured English. | ||
| + | |||
| + | |||
| + | |||
