Both sides previous revision
Poprzednia wersja
Nowa wersja
|
Poprzednia wersja
|
pl:miw:2009:miw09_prolog_sbvr:prezentacja [2009/07/06 20:15] jsi08 |
pl:miw:2009:miw09_prolog_sbvr:prezentacja [2019/06/27 15:50] (aktualna) |
| |
===== 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. \\ |
| |
* zdefiniować termy np. car, driver, itp | * zdefiniować termy np. car, driver, itp |
* na podstawie istniejących termów zdefiniować verb concepts np car has driver | * 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 | * 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). | 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. |
| |
| |
| |