There are two features of Description Logic that are not shared by most other data description formalisms: DL does not make the Unique Name Assumption (UNA) or the Closed World Assumption (CWA). Not having UNA means that two concepts with different names may be allowed by some inference to be shown to be equivalent.

« Unique name assumption »

A quote saved on July 2, 2013.


Top related keywords - double-click to view: