The upper structure of the KBpedia Knowledge Ontology (KKO) is informed by the triadic logic and universal categories of Charles Sanders Peirce. This trichotomy, also the basis for his views on semiosis (or the nature of signs), was in Peirce's view the most primitive or reduced manner by which to understand and categorize things, concepts and ideas (discussed further below the table).
Here is the upper structure of KKO with its 171 concepts:
level 1 | level 2 | level 3 | level 4 | level 5 | level 6 | level 7 |
Monads [1ns] |
|
|
|
|
|
|
|
FirstMonads [1ns] |
|
|
|
||
|
|
Suchness [1ns] |
|
|
|
|
|
|
|
Accidental [1ns] |
|
|
|
|
|
|
Inherent [2ns] |
|
|
|
|
|
|
Relational [3ns] |
|
|
|
|
|
Thisness [2ns] |
|
|
|
|
|
|
|
Chance [1ns] |
|
|
|
|
|
|
Being [2ns] |
|
|
|
|
|
|
Form [3ns] |
|
|
|
|
|
Pluralness [3ns] |
|
|
|
|
|
|
|
Absolute [1ns] |
|
|
|
|
|
|
|
Inclusive [1ns] |
|
|
|
|
|
|
Exclusive [2ns] |
|
|
|
|
|
|
Difference [3ns] |
|
|
|
|
|
SimpleRelative [2ns] |
|
|
|
|
|
|
Conjugative [3ns] |
|
|
|
|
DyadicMonads [2ns] |
|
|
|
||
|
|
Attributives [1ns] |
|
|
|
|
|
|
|
Oneness [1ns] |
|
|
|
|
|
|
|
Identity [1ns] |
|
|
|
|
|
|
Real [2ns] |
|
|
|
|
|
|
|
Matter [1ns] | |
|
|
|
|
|
SubstantialForm [2ns] | |
|
|
|
|
|
AccidentalForm [3ns] | |
|
|
|
|
Fictional [3ns] |
|
|
|
|
|
Otherness [2ns] |
|
|
|
|
|
|
Inherence [3ns] |
|
|
|
|
|
|
|
Quality [1ns] |
|
|
|
|
|
|
Negation [2ns] |
|
|
|
|
|
|
Intrinsic [3ns] |
|
|
|
|
Relatives [2ns] |
|
|
|
|
|
|
|
Concurrents [1ns] |
|
|
|
|
|
|
Opponents [2ns] |
|
|
|
|
|
|
Conjunctives [3ns] |
|
|
|
|
|
|
|
Quantity [1ns] |
|
|
|
|
|
|
|
Values [1ns] | |
|
|
|
|
|
|
Numbers [1ns] |
|
|
|
|
|
|
Multitudes [2ns] |
|
|
|
|
|
|
Magnitudes [3ns] |
|
|
|
|
|
Discrete [2ns] | |
|
|
|
|
|
Complex [3ns] | |
|
|
|
|
Subsumption [2ns] |
|
|
|
|
|
|
Connective [3ns] |
|
|
|
|
|
|
|
Unary [1ns] | |
|
|
|
|
|
Binary [2ns] | |
|
|
|
|
|
Conditional [3ns] | |
|
|
Indicatives [3ns] |
|
|
|
|
|
|
|
Iconic [1ns] |
|
|
|
|
|
|
Indexical [2ns] |
|
|
|
|
|
|
Associative [3ns] |
|
|
|
|
|
|
|
Denotative [1ns] |
|
|
|
|
|
|
Similarity [2ns] |
|
|
|
|
|
|
Contiguity [3ns] |
|
|
|
TriadicMonads [3ns] |
|
|
|
||
|
|
Representation [1ns] |
|
|||
|
|
|
Icon [1ns] |
|
|
|
|
|
|
Index [2ns] |
|
|
|
|
|
|
Symbol [3ns] |
|
|
|
|
|
Mediation [2ns] |
|
|
|
|
|
|
Mentation [3ns] |
|
|
|
|
Particulars [2ns] |
|
|
|
|
|
|
|
MonadicDyads [1ns] |
|
|
|
||
|
|
MonoidalDyad [1ns] |
|
|
|
|
|
|
EssentialDyad [2ns] |
|
|
|
|
|
|
InherentialDyad [3ns] |
|
|||
|
Events [2ns] |
|
|
|
|
|
Spontaneous [1ns] |
||||||
|
|
Action [2ns] |
|
|
|
|
|
|
|
Exertion [1ns] |
|
|
|
|
|
|
Perception [2ns] |
|
|
|
|
|
|
Thought [3ns] |
|
|
|
|
|
Continuous [3ns] |
|
|
|
|
|
|
|
TriadicAction [1ns] |
|
|
|
|
|
|
Activities [2ns] |
|
|
|
|
|
|
Processes [3ns] |
|
|
|
|
Entities [3ns] |
|
|
|
|
|
|
|
SingleEntities [1ns] |
|
|
|
|
|
|
|
Phenomenal [1ns] |
|
|
|
|
|
|
States [2ns] |
|
|
|
Situations |
||||||
|
|
|
Continuants [3ns] |
|
|
|
Space |
||||||
Points [1ns] |
||||||
Areas [2ns] |
||||||
2D-dimensions |
||||||
SpaceRegions [3ns] |
||||||
3D-dimensions |
||||||
Time |
||||||
Instants [1ns] |
||||||
Intervals [2ns] |
||||||
Eternals [3ns] |
||||||
|
|
PartOfEntities [2ns] |
|
|
|
|
|
|
|
Members [1ns] |
|
|
|
|
|
|
Parts [2ns] |
|
|
|
|
|
|
FunctionalComponents [3ns] |
|
||
|
|
ComplexEntities [3ns] |
|
|
||
|
|
|
CollectiveStuff [1ns] |
|
|
|
|
|
|
MixedStuff [2ns] |
|
|
|
|
|
|
CompoundEntities [3ns] |
|
||
Generals [3ns] (== SuperTypes) |
|
|
|
|||
|
Constituents [1ns] |
|
|
|
||
|
|
NaturalPhenomena [1ns] |
|
|
||
|
|
SpaceTypes [2ns] |
|
|
|
|
|
|
|
Shapes [1ns] |
|
|
|
|
|
|
Places [2ns] |
|
|
|
|
|
|
|
LocationPlace |
|
|
|
|
|
|
AreaRegion |
|
|
|
|
|
Forms [3ns] |
|
|
|
|
|
TimeTypes [3ns] |
|
|
|
|
|
|
|
Times [1ns] |
|
|
|
|
|
|
EventTypes [2ns] |
|
|
|
|
|
|
ActivityTypes [3ns] |
|
|
|
Predications [2ns] | ||||||
AttributeTypes [1ns] | ||||||
IntrinsicAttributes [1ns] |
||||||
AdjunctualAttributes [2ns] |
||||||
ContextualAttributes [3ns] |
||||||
RelationTypes [2ns] | ||||||
DirectRelations [1ns] |
||||||
CopulativeRelations [2ns] |
||||||
ActionTypes |
||||||
MediativeRelations [3ns] |
||||||
SituationTypes |
||||||
RepresentationTypes [3ns] |
||||||
Denotatives [1ns] |
||||||
Indexes [2ns] |
||||||
Associatives [3ns] |
||||||
|
Manifestations [3ns] |
|
|
|
||
|
|
NaturalMatter [1ns] |
|
|
|
|
|
|
|
AtomsElements [1ns]
|
|
||
|
|
|
NaturalSubstances [2ns] |
|
||
|
|
|
Chemistry [3ns] |
|
|
|
|
|
OrganicMatter [2ns] |
|
|
|
|
|
|
|
OrganicChemistry [1ns] |
|
||
|
|
|
|
BiologicalProcesses |
|
|
|
|
|
LivingThings [2ns] |
|
|
|
|
|
|
|
Prokaryotes [1ns] |
|
|
|
|
|
|
Eukaryotes [2ns] |
|
|
|
|
|
|
|
ProtistsFungus [1ns] | |
|
|
|
|
|
Plants [2ns] | |
|
|
|
|
|
Animals [3ns] | |
|
|
|
|
Diseases [3ns] |
|
|
|
|
|
Agents [3ns] |
|
|
|
|
|
|
|
Persons [1ns] |
|
|
|
|
|
|
Organizations [2ns] |
|
|
|
|
|
|
Geopolitical [3ns] |
|
|
|
|
Symbolic [3ns] |
|
|
|
|
|
|
|
Information [1ns] |
|
|
|
|
|
|
|
AVInfo [1ns] |
|
|
|
|
|
|
|
VisualInfo | |
|
|
|
|
|
AudioInfo | |
|
|
|
|
WrittenInfo [2ns] |
|
|
|
|
|
|
StructuredInfo [3ns] |
|
|
|
|
|
Artifacts [2ns] |
|
|
|
|
|
|
|
FoodDrink |
|
|
|
|
|
|
Drugs |
|
|
|
|
|
|
Products |
|
|
|
|
|
|
|
PrimarySectorProducts [1ns] | |
|
|
|
|
|
SecondarySectorProducts [2ns] | |
|
|
|
|
|
TertiarySectorServices [3ns] | |
|
|
|
|
Facilities |
|
|
|
|
|
Systems [3ns] |
|
|
|
|
|
|
|
ConceptualSystems [1ns]
|
||
|
|
|
|
|
Concepts [1ns] | |
|
|
|
|
|
TopicsCategories [2ns] | |
|
|
|
|
|
LearningProcesses [3ns] | |
|
|
|
|
SocialSystems [2ns] |
|
|
|
|
|
|
|
FinanceEconomy | |
|
|
|
|
|
Society | |
|
|
|
|
Methodeutic [3ns] |
|
|
InquiryMethods [1ns] |
||||||
KnowledgeDomains [2ns] |
||||||
EmergentKnowledge [3ns] |
The three constituents of Peirce's trichotomy, which are keyed into the table entries above, are what he called simply the Three Categories, or the universal categories. These three categories can be roughly summarized as:
Understanding, inquiry and knowledge require this irreducible structure. Connections, meaning and communication depend on all three components, standing in relation to one another and subject to interpretation by multiple agents. (Traditional classification schemes more often have a dyadic or dichotomous nature, which does not support the richer views of context and interpretation inherent in the Peircean view.)
Of course, some Peircean scholars may rightfully see these explanations as a bit of a cartoon, and a possible injustice to his lifetime of work. For more than 100 years philosophers and logicians have tried to plumb Peirce's insights and writings. But we can apply his triadic logic to achieve a logical, coherent approach to categorization and knowledge representation.
Peirce argues persuasively that how we perceive and communicate things requires this irreducible triadic structure. The symbolic nature of Thirdness means that communication and understanding is a continuous process of refinement, getting us closer to the truth, but never fully achieving it. Thirdness includes a social and imprecise mode of communication and discovery, conducted by us and other agents separate from the things and phenomena being observed. Though it is a fallibilistic process, it is one that also lends itself to rigor and methods, in a constant quest for truth. The scientific method is a premier example of Thirdness in action.
What constitutes the potentials, realized particulars, and generalizations that may be drawn from a query or investigation is contextual in nature. That is why the mindset of Peirce's triadic logic is a powerful guide to how to think about and organize the things and ideas in our world. It provides a universal context for relating different knowledge bases and sources of information to one another, which is the express purpose of KKO. Peirce's triadic logic and views on categorization are fractal in nature. We can apply this triadic logic to any level of information granularity.
Thus, KKO applies this mindset to organizing its knowledge graph. At each level in the KKO upper structure, we strive to organize each category according to the ideas of Firstness (1ns), Secondness (2ns) and Thirdness (3ns), as shown in the simplified KKO tree above. Also note that most of the reference concepts (RCs) in KKO are organized under the Generals (3ns) branch. A type is an embodiment of a general, and that is why all of KKO's SuperTypes (typologies) reside there.
The KKO upper structure may be downloaded and inspected in
greater detail. Use the non-working kko-demo.n3
file if you wish to see the linkage to the universal
categories in your ontology browser. Periodic discussions of Peirce and the KKO
structure may be found on Mike Bergman's blog.