Description Logic - Wikipedia, The Free Encyclopedia / quote 2 of 3

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 inference to be shown to be equivalent.

Saved 2 July 2013 / en.wikipedia.org ↗

#assumption #inference #concept

Related / other sources, sharing tags

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…

Medieval Semiotics (meier-oeser, Stephan) #elements #signifying #inference

A principle of intellectual integrity

Identify all of the assumptions upon which you base your theoretical commitments, then state these assumptions as clearly as possible, and finally examine…

Beyond Zero and One (Andrew Smart) #assumption #thinking #technology #brain

Citations are insufficient evidence of impact

The assumption of our research is that citations themselves are an insufficient evidence of impact.

The Diggicore Project: Aggregating And Mining The World Of Open Access Articles #evidence #citations #impact #research #assumption

Judging a paper without reading it

The use of the current research publications performance metrics (citations, altmetrics, webometris, etc) is, in our opinion, based on a false premise that…

A New Semantic Similarity Based Measure For Assessing Research Publication’s Contribution #use #assumption #impact

Leap-of-faith assumptions and the minimum viable product

To apply the scientific method to a startup, we need to identify which hypotheses to test. I call the riskiest elements of a startup’s plan, the parts on…

The Lean Startup (Eric Ries) #hypothesis #prototype #startups #assumption

Logic and mathematics

Logic itself rests upon assumptions to which nothing in the world of reality corresponds. For example, the correspondence of certain things to one another and…

Human, All Too Human: A Book For Free Spirits #science #logic #things #assumption