nazwa unikalna założenie - Unique name assumption
Unikalną nazwę założeniem jest uproszczenie założenie poczynione w niektórych ontologii języka i logiki opisowej . W logice z unikalną nazwą założeniu, różne nazwy odnoszą się zawsze do różnych podmiotów w świecie.
Standardowy język ontologii OWL nie robi tego założenia, ale zapewnia wyraźne konstrukcje wyrazić czy dwie nazwy oznaczają te same lub różne podmioty.
-
owl:sameAs
jest własnością OWL, która twierdzi, że dwa imiona lub identyfikatorów (np URI) odnoszą się do tej samej osoby lub indywidualnej. -
owl:differentFrom
jest własnością OWL, która twierdzi, że dwa imiona lub identyfikatory (np URI) odnoszą się do różnych osób lub podmiotów.
Zobacz też
Referencje
Ta logika kondensatorem artykuł jest en . Można źródło Wikipedia rozszerza ją . |