KKO Upper Structure

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:

  • Firstness [1ns] — these are possibilities or potentials, the basic forces or qualities that combine together or interact in various ways to enable the real things we perceive in the world, such as matter, life and ideas. These are the unrealized building blocks, or elements, the essences or attributes or possible juxtapositions. The are not divisible, what Peirce called indecomposables, since they are integral qualities or ideas in themselves
  • Secondness [2ns] — these are the particular realized things or concepts in the world, what we can perceive, point to and describe. As instantiated, they are actuals. A particular is also known as an event, entity, instance or individual
  • Thirdness [3ns] — these are the laws, habits, regularities and continuities that may be generalized from particulars or possibilities. All generals — what are also known as classes, kinds or types — belong to this category. The process of finding and deriving these generalities also leads to new insights or emergent properties, which continue to fuel knowledge discovery. Insights arising from Thirdness enable us to further explore and understand things, and is a driving force for further categorization.

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.