Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_hml_rules:owl [2008/04/28 16:34] miw |
pl:miw:miw08_hml_rules:owl [2008/05/19 12:09] miw |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| - | **OWL - Web Ontology Language** jest językiem ze składnią opartą na XML, a semantyką opartą na tzw. logice deskrypcyjnej (ang. description logics). Stanowi on rozszerzenie RDF (ang. Resource Description Framework). Służy do reprezentacji i przetwarzania danych w sieci WWW. OWL umożliwia opisywanie danych w postaci ontologii i budowanie w ten sposób tzw. Semantycznego Internetu. OWL posiada trzy podjęzyki o wzrastającej ekspresyjności: OWL Lite, OWL DL, and OWL Full. | ||
| - | Zapis w języku OWL składa się z definicji ontologicznych metadanych (container), definicji | ||
| - | relacji binarnych, pojęć, przykładów pojęć oraz aksjomatów definiujących omówione dodatkowe | ||
| - | właściwości pojęć i relacji. | ||
| - | |||
| - | Ponieważ OWL posiada pewne ograniczenia - nie można uchwycić złożonych relacji pomiędzy zdefiniowanymi właściwościami (chociażby ogólnie znany przykład "uncle") - powstała idea rozszerzenia OWL'a o pewne formy regułowe przy jednoczesnym zachowaniu maksymalnej kompatybilności z istniejącą składnią i semantyką OWL. | ||
| - | |||
| - | Rozszerzony język był początkowo nazwany ORL (OWL Rules Language), lecz obecnie jest bardziej znany jako SWRL (Semantic Web Rules Language). | ||
| - | |||
| - | Obecnie istnieje propozycja języka SWRL - Semantic Web Rule Language (początkowo nazwany ORL - OWL Rules Language) opartego na połączeniu podjęzyków OWL DL i OWL Lite języka OWL z fragmentami języka RuleML (Rule Markup Language). Propozycja ta rozszerza zbiór aksjomatów zapisanych w języku OWL tak, aby obejmował reguły mające postać klauzul. Pozwala to łączyć takie reguły z bazą wiedzy zapisaną w języku OWL. Proponowane reguły mają postać implikacji pomiędzy poprzednikiem (ciałem) i nastpnikiem (nagłówkiem). Poprzednik i następnik mogą być zbudowane z koniunkcji atomów, pojedynczego atomu albo być puste. (Wiadomo, że regułę zawierającą koniunkcję w następniku można przekształcić w zestaw reguł zawierających tylko jeden atom w następniku). Reguła ma nastpujące znaczenie: jeżli warunki podane w poprzedniku zachodzą, to warunki podane w następniku także muszą zachodzić. Pusty poprzednik jest traktowany jako trywialnie prawdziwy, a pusty następnik jako trywialnie fałszywy. Atomy w regułach mogą być postaci C(x), P(x,y), sameAs(x,y) lub differentFrom(x,y), gdzie C jest deskrypcją pojęcia języka OWL, P jest wasnocią, a x,y są albo zmiennymi, albo indywiduami, albo wartościami danych. | ||
| - | |||
| - | * Overview w języku polskim: http://www.rax.pl/tlumaczenia/OWL-Web-Ontology-Language-Overview/index.htm | ||
| - | * Overview w języku angielskim: http://www.w3.org/TR/2004/REC-owl-features-20040210/ | ||
| - | |||
| - | [[https://ai.ia.agh.edu.pl/wiki/pl:miw:miw08_hml_rules|Powrót]] | ||
