Top in Logics
The notion of top is also found in propositional calculus, corresponding to a formula which is true in every possible interpretation. Its meaning is similar in predicate calculus. In Description Logics top is used to refer to the set of all concepts. This is intuitively like the use of the top type in programming languages. For example, in the Web Ontology Language (OWL), which supports various Description Logics, top corresponds to the class owl:Thing, where all classes are subclasses of owl:Thing. (the bottom type or empty set corresponds to owl:Nothing).
Read more about this topic: Top Type
Famous quotes containing the words top and/or logics:
“The snow, which doth the top of Pindus strew,
Did never whiter shew,
Nor Jove himself, when he a swan would be
For love of Leda, whiter did appear:”
—Edmund Spenser (1552?–1599)
“When logics die,
The secret of the soil grows through the eye,
And blood jumps in the sun;
Above the waste allotments the dawn halts.”
—Dylan Thomas (1914–1953)