Hledej Zobraz: Univerzity Kategorie Rozšířené vyhledávání

12 659   projektů
0 nových

Axiomy, normalizovaná ontologie

«»
Přípona
.pdf
Typ
přednášky
Stažené
1 x
Velikost
7,5 MB
Jazyk
český
ID projektu
6836
Poslední úprava
26.10.2015
Zobrazeno
727 x
Autor:
blackmagic
Facebook icon Sdílej na Facebooku
Detaily projektu
Popis:
DISJUNKTNOST TŘÍD

- Třídy dovolují strukturovat problémovou doménu do skupin charakteristických určitými vlastnostmi
- Tyto vlastnosti odlišují jednu třídu od druhé (a potažmo i jedince v těchto třídách)
- V Protégé neplatí princip UNA - překrývají-li se vlastnosti tříd, chápou se tyto třídy jako ten samý pojem (byť mají jiný název)

- Aby nedocházelo k vzájemnému překrytí pojmů, které jsou od sebe navzájem různé, je třeba zavést mezi nimi disjunktnost
- Disjunktnost zajistí vzájemnou nerovnost 
- V praxi zavedení disjunkce mezi třídami vyžaduje důkladné zvážení, zda je opodstatněná

Klíčová slova:

disjunktnost

definiční obor

návrhové vzory

omezení

axiomy



Obsah:
  • Disjunktnost tříd
    Definiční obor, obor hodnot
    Omezení „some“ a „only“
    Návrhové vzory