Difference between revisions of "Concept"
Jump to navigation
Jump to search
| Line 2: | Line 2: | ||
In [[PKC]], we will try to use [[Semantic Mediawiki]]'s [https://www.semantic-mediawiki.org/wiki/Help:Concepts concept feature], to programmatically represent '''concepts''', specifically, concepts that are related to mathematics and scientific principles. | In [[PKC]], we will try to use [[Semantic Mediawiki]]'s [https://www.semantic-mediawiki.org/wiki/Help:Concepts concept feature], to programmatically represent '''concepts''', specifically, concepts that are related to mathematics and scientific principles. | ||
=Semantic MediaWiki= | =Semantic MediaWiki= | ||
Latest revision as of 17:05, 28 January 2022
A concept is a kind of resource, and it is defined here as an synonym of the term:idea, and mathematically represented as a Kan extension[1].
In PKC, we will try to use Semantic Mediawiki's concept feature, to programmatically represent concepts, specifically, concepts that are related to mathematics and scientific principles.
Semantic MediaWiki
Semantic MediaWiki has a mechanism to encode concepts.
References
- ↑ Lehner, Marina (2014). "All Concepts are Kan Extensions":Kan Extensions as the Most Universal of the Universal Constructions (PDF) (Bachelor). local page: Harvard College. Retrieved June 28, 2021.