Senso Comune

Ontologia Senso Comune 1.4

Da Senso Comune.

Immagine:SC_ontologia_1_4.gif


Indice

Thing

Any possible thing that can be identified and named.

OWL:Thing


subClasses: { Quality Particular }

identifier : String[1,1]

Quality

Entities whose existence and identity depends on some specific Particular (e.g. shapes, colors, sizes, sounds, smells). There are not Qualities of Qualities (of Qualities, ...).

DOLCE:quality


superClass: Thing

subClasses: { PhysicalQuality AbstractQuality }

substrate : Particular [1,1]

region : Region [1,1]

PhysicalQuality

superClass: Quality

subClasses: { TemporalLocation SpatialLocation }

substrate : PhysicalParticular [1,1]

(subsets substrate owned by Quality)

region : PhysicalRegion [1,1]

(subsets region owned by Quality)

TemporalLocation

superClass: PhysicalQuality

region : Time [1,1]

(subsets region owned by PhysicalQuality)

SpatialLocation

superClass: PhysicalQuality

region : Space [1,1]

(subsets region owned by PhysicalQuality)

AbstractQuality

superClass: Quality

subClasses: { Amount }

region : AbstractRegion [1,1]

(subsets region owned by Quality)

substrate : AbstractParticular [1,1]

(subsets substrate owned by Quality)

Amount

superClass: AbstractQuality

value : Number [1,1]

(subsets region owned by AbstractQuality)

substrate : Set [1,1]

Particular

DOLCE: endurant or perdurant

Independent thing either physical or abstract.


superClass: Thing

subClasses: { PhysicalParticular AbstractParticular }

quality : Quality [0,*]

whole : Particular [0,1]

part : Particular [0,*]

PhysicalParticular

Particular with spatio-temporal qualities

DOLCE: spatio-temporal-particular


superClass: Particular

subClasses: { Event Entity }

Event

Temporal entity, i.e. any entity with temporal parts, e.g. processes, actions, states, etc.


DOLCE: perdurant


superClass: PhysicalParticular

subClasses: { Process State }

phase : Event [0,*]

(subsets part owned by Particular)

continuance : Event [1,1]

(subsets whole owned by Particular)

participant : Entity [0,*]

time : TemporalLocation [1,1]

(subsets quality owned by Particular)

space : SpatialLocation [1,1]

(subsets quality owned by Particular)

Process

superClass: Event

State

Events whose parts have the same properties


superClass: Event

Entity

Particulars without temporal parts, with a proper spatial localization, e.g.: substances, physical objects, etc.

DOLCE: physical-endurant, social-individual.


superClass: PhysicalParticular

subClasses: { Substance Object }

part : Entity [0,*]

(subsets part owned by Particular)

whole : Entity [1,1]

(subsets whole owned by Particular)

Substance

Non sortal entities


superClass: Entity

Object

Sortal entities


superClass: Entity

AbstractParticular

Non-physical entities, i.e. particulars without spatial or temporal qualities: descriptions, concepts, collections, information objects, etc., as well as numbers, values, propositions. DOLCE: non-physical-objects OR abstracts.


superClass: Particular

subClasses: { Region Set }

Region

superClass: AbstractParticular

subClasses: { AbstractRegion PhysicalRegion }

AbstractRegion

superClass: Region

subClasses: { Number }

Number

superClass: AbstractRegion

PhysicalRegion

superClass: Region

subClasses: { Space Time }

Space

superClass: PhysicalRegion

Time

superClass: PhysicalRegion

Set

Any denumerable unsorted collection of definite, distinct instances of Thing.


superClass: AbstractParticular

subClasses: { Relation Tuple }

member : Thing [0,*]

cardinality : Amount [1,1]

(subsets quality owned by Particular)

Relation

superClass: Set

member : Tuple [0,*]

(subsets member owned by Set)

arity : Amount [1,1]

Tuple

superClass: Set

membership

association name : collections

inverted association name : collections

association member1 : AbstractParticular [0,*]

association member2 : AbstractParticular [0,*]

inherence

association name : substrate

inverted association name : quality

association member1 : Particular [1,1]

association member2 : Quality [0,*]

parthood

association name : part

inverted association name : whole

association member1 : Particular [0,*]

association member2 : Particular [0,1]

participation

association name : participant

inverted association name : participant

association member1 : Entity [1,1]

association member2 : Entity [1,1]

MediaWiki