DUL Grounding
Every fnbr: microframe is anchored in DUL (DOLCE+DnS Ultralite). The anchoring uses three nested classification axes. Understanding how they relate is the key to the whole model.
Three axes
| Axis | Question it answers | Values | Faces |
|---|---|---|---|
| Semantic category | What does this relation mean to a user? | 13 (Formal, Telic, Causal โฆ) | the WebTool UI |
| DUL family | Which DUL relation does it group under? | 9 (Classification, Sequence, Description โฆ) | querying & inference |
| Grounding kind | How is it wired to DUL? | 2 (property / description) | derived from the grounding edge โ not a stored column |
They nest: grounding kind is the coarsest cut, DUL family the middle, semantic category the finest, user-facing one. A microframe has exactly one value on each axis โ but only category, DUL family, and the GL quale are stored per microframe (as rel_hastype links to type instances). Grounding kind is not stored; it is read off what the microframe's grounding edge points at (see below).
Grounding kind: the coarsest cut
The four qualia were built to describe a single object's intrinsic profile. When the inventory was grounded in DUL, about half the relations fit a DUL object property directly; the other half kept needing two or three properties at once, or a property plus a role. That resistance was the signal: those relations do not hold between two individuals โ they denote a situation type that classifies its participants. In DUL terms they are Descriptions, not properties.
Property-grounded
Holds directly between two individuals; grounded as a sub-property of a DUL object property.
- DUL parent: a
dul:-prefixed object-property microframe (dul:hasPart,dul:hasLocation,dul:hasPreconditionโฆ) - Edge: a
rel_inheritancelink to thatdul:microframe (conceptuallyrdfs:subPropertyOf) - Domain / Range: the two endpoints of the relation
- Examples:
is_made_of,has_as_colour,has_as_origin,has_cause
Taxonomy, mereology, location, quality, and plain causation are property-grounded. Parthood is a property โ reifying it would be overkill.
Description-grounded
Denotes a situation type โ a reified concept that defines roles and classifies the entities filling them; grounded as a specialization of a DUL class.
- DUL parent: a DUL class frame (
dul_class_plan,dul_class_norm,dul_class_diagnosis,dul_class_role,dul_class_concept,dul_class_description) - Edge: a
rel_inheritancelink to that class frame (conceptuallyrdf:type/dul:specializes) - Domain / Range: the Roles the Description defines; concrete LUs are classified by these roles in a Situation
- Examples:
object_of_the_activity(adul:Plan),is_regulated_by(adul:Norm),has_diagnostic(adul:Diagnosis)
Telic, the creation senses of Agentive, Role, Social, and Experiential are description-grounded. A Telic is a Plan defining a purpose role; an Agentive creation is a Plan with creator and created-entity roles. A property has exactly two endpoints; a Description defines any number of roles โ which is why the composite qualia (constitutively_uses, agentively_uses) can only be Descriptions.
For the database. There is no
grounding_kindcolumn. A microframe carries one kind of grounding edge โ arel_inheritancelink โ and the grounding kind is implicit in what that edge targets: adul:-prefixed object-property microframe (property-grounded) or adul_class_*frame such asdul_class_plan(description-grounded). The classification form stores only the semantic category, the DUL family, and the GL quale (asrel_hastypetype-instance links); grounding kind is derived from the edge, not persisted.
DUL family: the middle cut
The DUL family names which DUL relation a microframe groups under. The eight property families correspond to native DUL/DOLCE relation roots; the ninth, Description (stored label DescriptiveContext), collects every description-grounded microframe (subdivided by the DUL class it reifies).
A tenth family, SocialDependence, is defined in typ_microframe_dul_family but is used only on the DUL side โ by the microframes dul:acts_for and dul:acts_through. No fnbr: microframe currently groups under it, so it does not appear in the fnbr: inventory below; the "nine families" above count only those the fnbr: set uses.
Classification
Taxonomic backbone โ is-a and instance-of.
DUL roots: dul:specializes ยท dul:isClassifiedBy.
Microframes: instance_of ยท subtype_of.
Mereology
Partโwhole: parthood, membership, material constitution.
DUL roots: dul:hasPart ยท dul:hasMember ยท dul:hasConstituent.
Microframes: contains ยท has_as_member ยท has_building_part ยท includes ยท is_derived_from ยท is_made_of.
Quality
Reified qualities and measurement (QualityโRegion pattern).
DUL roots: dul:hasQuality ยท dul:isParametrizedBy ยท dul:parametrizes.
Microframes: has_as_attribute ยท has_as_colour ยท is_idiosyncrasy_of ยท measured_by ยท quantifies.
Location
Conventional or habitual location (not momentary position).
DUL roots: dul:hasLocation ยท dul:isLocationOf.
Microframes: has_as_a_resident ยท has_as_typical_location ยท has_as_origin ยท is_the_workplace_of ยท lives_in.
Participation
How an entity takes part in an event.
DUL roots: dul:isParticipantIn ยท dul:hasParticipant.
Microframes: is_affected_by_agentive ยท is_affected_by_event.
Sequence
Conditional ordering. DUL models causation through pre/post-conditions, so general causation lives here.
DUL roots: dul:hasPrecondition ยท dul:hasPostcondition.
Microframes: causes_emotion ยท causes_infection ยท causes_naturally ยท causes_reaction ยท has_as_effect ยท has_causal_origin ยท has_cause ยท has_influence ยท produces_naturally ยท resulting_state ยท results_from.
Semiotic
Aboutness / reference between an information object and its subject.
DUL roots: dul:isAbout.
Microframes: has_informational_origin.
Association
Catch-all root; a placeholder to be specialised when the relation is understood.
DUL roots: dul:associatedWith.
Microframes: related_to.
Description
Every description-grounded microframe. Stored in the WebTool under the family label DescriptiveContext (typ_microframe_dul_family, idType 43) โ "Description" here is the doc shorthand; the subdivision by DUL class below is conceptual and is not itself a stored value. Subdivided by the DUL class reified:
| DUL class | Reifies | Microframes |
|---|---|---|
dul:Concept |
a classifying concept/parameter | is_the_ability_of ยท is_the_habit_of |
dul:Description |
a generic situation descriptor | has_experiential_agentive ยท constitutively_uses ยท has_feeling ยท has_kinship ยท is_follower_of_religion ยท typical_of |
dul:Diagnosis |
a diagnostic description | has_diagnostic |
dul:Norm |
a normative description | is_regulated_by ยท is_vice_of |
dul:Plan |
a goal/purpose defining tasks & roles | agentively_causes ยท agentively_uses ยท has_adversarial_telic ยท has_agentive_cause ยท has_as_agent ยท has_as_creator ยท has_as_originator ยท has_indirect_telic ยท has_intentional_cause ยท has_progressive_agentive ยท is_locus_activity ยท is_purpose_of_agent ยท is_purpose_of_instrument ยท is_resolved_by ยท object_of_the_activity ยท used_as |
dul:Role |
a role an entity plays | has_as_instrument ยท is_the_activity_of ยท used_by |
How the axes line up
Category and grounding are independent: most categories are uniformly one grounding kind, but four are mixed โ exactly where a user category spans both an intrinsic relation and a situation type. Those mixed rows are the useful diagnostics.
Category names are the doc shorthand (see TQR ยง Semantic Categories for the stored UI labels); Description in the DUL-families column is the stored DescriptiveContext family.
| Semantic category | Grounding | DUL families used |
|---|---|---|
| Formal | mixed | Classification ยท Description |
| Mereological | mixed | Description ยท Mereology |
| Spatial | property | Location |
| Quality | property | Quality |
| Telic | description | Description |
| Agentive | mixed | Description ยท Participation |
| Causal | property | Mereology ยท Participation ยท Sequence |
| Natural | mixed | Description ยท Sequence |
| Experiential | description | Description |
| Role | description | Description |
| Social | description | Description |
| Semiotic | property | Semiotic |
| General | property | Association |
The Causal / Agentive split
A direct result of the grounding model: causation and agency separate, where the earlier scheme merged them.
- Causal (property-grounded, family Sequence) โ general causation, no agent:
has_cause,has_as_effect,results_from,has_influence. Modelled as a pre/post-condition between events. - Agentive (description-grounded, family Description โ
dul:Plan) โ genuine creation:has_as_agent(root),has_as_creator,has_intentional_cause.
The test: is an agent positing the outcome (Agentive โ Plan), or does the effect merely follow from a condition (Causal โ postcondition property)?