Senso Comune

Logica Senso Comune 1.5

Da Senso Comune.

Immagine:SC_logica_1_5.gif

Indice

Classifier

Abstract Particular denoting a class of n-uples of Particulars


subClasses: { Attribute Concept Relation }

id : String[1,1]

thats an [incredible|unbeleivable|amazing] [picture|pic|photo] =-=

Attribute

Relation of a Concept with values in the space of numbers, strings, etc


superClass: Classifier

subClasses: { StringAttribute NumericAttribute }

domain : Concept [1,1]

StringAttribute

Attribute that brings Concepts related with Strings


superClass: Attribute

value : String[1,1]

NumericAttribute

Attribute that brings Concepts related with Numbers


superClass: Attribute

value : Integer[1,1]

Concept

Unary relation

DL Concept


superClass: Classifier

subClasses: { ConjunctiveConcept DisjunctiveConcept ComplementaryConcept RelationalConcept }

ConjunctiveConcept

Concept conjunction

DL conjunctive constructor


superClass: Concept

conjunct : Concept [2,*]

DisjunctiveConcept

Concept disjunction


superClass: Concept

disjunct : Concept [2,*]

ComplementaryConcept

Complement of a given Concept

DL negated Concept


superClass: Concept

complement : Concept [1,1]

RelationalConcept

Concept denoting individuals that are in a given Relation with individuals of a given Concept (qualifier)

DL Qualified Existential


superClass: Concept

qualifier : Concept [1,1]

association : Relation [1,1]

Relation

Binary relation

DL Role


superClass: Classifier

domain : Concept [1,1]

functional : Boolean[1,1]

range : Concept [1,1]

inclusion

association name : included

inverted association name : inclusive

association member1 : Classifier [1,1]

association member2 : Classifier [1,1]

disjointness

association name : disjoint1

inverted association name : disjoint2

association member1 : Classifier [1,1]

association member2 : Classifier [1,1]

inversion

association name : direct

inverted association name : inverse

association member1 : Relation [1,1]

association member2 : Relation [1,1]

MediaWiki