• Zostało także nałożone ograniczenie na definiowanie pojęć poprzez nakładanie więzów na relacje. Możliwe jest tworzenie prostych więzów licznościowych o wartościach 0 i 1.
• Zaletą tej warstwy jest łatwość
• Zrozumienia- dla użytkowników
• Implementacji- dla twórców narzędzi
• Wadą jest brak możliwości formułowanie ekstensjonalnych definicji pojęć OWL DL (descritpion logie)
• Odpowiada semantycznie logikom deskrypcyjnym
• Zapewnia efektywne wnioskowanie
• Możliwe jest tworzenie złożonych struktur pojęciowych poprzez nakładanie kilku rodzajów więzów na relację
• Ograniczenie: niemożność definiowana relacji zachodzących pomiędzy pojęciami, a jedynie pomiędzy przykładami pojęć
• Ultra pełnej kompatybilności z RDF
• Nie każdy poprawny dokument RDF jest poprawnym dokumentem OWL DL
• Każdy poprawny dokument OWL DL jest poprawnym dokumentem RDF OWL Fuli
• Zawiera pełne słownictwo OWL, które jest znacznie szerzej interpretowane niż w wersji OWL DL
• Posiada pełne możliwości zapewniane przez RDF
• W tej warstwie klasa może być traktowana równocześnie jako zbiór jednostek lub jednostka jako taka
• OWL Fuli nie zawiera ograniczeń występujących w innych warstwach, za ro nie ma normalnie zdefiniowanej semantyki oraz zagwarantowanej efektywności i rozstrzygalności
Kompatybilność pomiędzy dialektami
• Każda poprawna ontologia OWL Lite jest poprawną ontologią w OWL DL
• Każda poprawna ontologia OWL DL jest poprawną ontologią w OWL Fuli
• Każda poprawny wniosek w OWL Lite jest poprawnym wnioskiem w OWL DL
• Każda poprawny wniosek w OWL DL jest poprawnym wnioskiem w OWL Fuli Ważniejsze słownictwo OWL_
Słownictwo |
Znaczenie |
Class |
Klasa, definiuje grupę obiektów, które mają pewne właściwości |
Rdfs:subClassOf |
Podklasa, służy do tworzenia hierarchii klas |
Rdfs:Property |
Właściwość, są stosowane do określenia związków pomiędzy jednostkami lub z jednostek do typów danych |
Rdfs: subPropertyOf |
Służy do tworzenia hierarchii właściwości |
Rdfs:domain |
Dziedzina właściwości |
Rdfs: rangę |
Przeciwdziedzina właściwości |
lndividual |
Wystąpienie dalej klasy |
minCardinality |
Minimalna liczebność właściwości (0 lub 1) |
maxCardinality |
Maksymalna liczebność właściwości |