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