Tags / 2 quotes from 2 sources
#inference
Description Logic - Wikipedia, The Free Encyclopedia
Unique name assumption
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…
Medieval Semiotics (meier-oeser, Stephan)
Bacon classification of signs
Bacon presents a detailed classification of signs[24] by taking up, combining, and modifying elements of several prior sign typologies. The division of the two main classes of natural and given signs is taken from Augustine, the distinction between necessary and probable signs…