Axiomy, normalizovaná ontologie
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
O souborech cookie na této stránce
Soubory cookie používáme pro funkční účely, pro shromažďování a analýzu informací o výkonu a používání stránky.