Data Models for Conceptual Structures
description
Transcript of Data Models for Conceptual Structures
![Page 1: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/1.jpg)
Data Models for Conceptual Structures
Roger T. Hartley
Heather D. Pfeiffer
![Page 2: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/2.jpg)
Basic CS Graph
![Page 3: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/3.jpg)
Definitional CP Graph
![Page 4: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/4.jpg)
CP Overlay Graph
![Page 5: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/5.jpg)
Complete CP Procedural Graph
![Page 6: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/6.jpg)
Small Example
• CS Graph example
• Simple CP overlay examples
• CP overlay across Definition Graphs
• CP Model
![Page 7: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/7.jpg)
PersonBirth is Graph
Person
Date
BirthDate
Person
CHRC
Birth
Date PTIM
![Page 8: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/8.jpg)
Person is DefGraph
Person
CHRC
CHRC
Age
Birth
Date PTIM
![Page 9: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/9.jpg)
BirthDate is OvGraph
Person
Date
BirthDate
![Page 10: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/10.jpg)
Now is DefGraph
DATE
Now
![Page 11: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/11.jpg)
ComputeNow is OvGraph
Date
Now
ComputeNow
![Page 12: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/12.jpg)
Age is OvGraph
Birth
Date PTIM
Age
Date
DiffDt
![Page 13: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/13.jpg)
CurrentAge is PartModel
Person
CHRCCHRC
CurrentAge
Birth
Date PTIM
BirthDate
Birth
Date PTIM
DiffDt
Date
Now ComputeNow
![Page 14: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/14.jpg)
CGIF for Conceptual Structures• CG
CG ::= (Concept | Relation | Actor | SpecialContext | Comment)*
• ConceptConcept ::= "[" Type(1)? {CorefLinks?, Referent?} Comment? "]“
• RelationRelation ::= "(" Type(N) Arc* Comment? ")"
• ActorActor ::= "<" Type(N) Arc* "|" Arc* Comment? ">"
• SpecialContextSpecialContext ::= Negation | "[" SpecialConLabel ":"CG "]"
• CommentComment ::= DelimitedStr(";")
![Page 15: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/15.jpg)
Data Model
ADTs Definition of types and structures Operations on those types
![Page 16: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/16.jpg)
DTD Structure
<!ELEMENT cg (concept | relation | actor | specialcontext | cgcomment)*>
<!ELEMENT concept (contypelabel?, (coreflinks | referent | ((coreflinks, referent) | (referent, coreflinks)))?,concomment?)>
<!ELEMENT relation (reltypelabel, arc*, relcomment?)>
<!ELEMENT actor (reltypelabel, arc*,(actorcomment)?)>
<!ELEMENT specialcontext (negation | (specialconlabel, cg))>
<!ELEMENT cgcomment (#PCDATA)>
![Page 17: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/17.jpg)
Creation of Data Models
• Haskell Language
• By Hand – using XmlSpy
![Page 18: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/18.jpg)
Haskell Data Model(Basic CS Constructs)
type CG = ([CNode], [RNode])type Label = Stringdata CNode = Concept Label Referentdata RNode = Relation Label InArcs OutArctype InArcs = [CNode]type OutArc = CNodedata Referent = Nil | Literal Literal | Graph CGdata Literal = LitString String | Name String | Marker String
![Page 19: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/19.jpg)
Haskell Simple Example
let sit = Concept “Sit” Nil in
([],[Relation “AGT” [sit] Concept “Cat” Literal Name “Fred”,
Relation “LOC” [sit] Concept “Mat” Nil])
![Page 20: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/20.jpg)
Haskell Data Model(Add Co-references)
type CG = ([CNode], [RNode])type Label = Stringtype CoRef = String data CNode = Concept Label Referent | DefConcept Label CoRef Referent | BoundConcept CoRefdata RNode = Relation Label InArcs OutArctype InArcs = [CNode]type OutArc = CNodedata Referent = Nil | Literal Literal | Graph CGdata Literal = LitString String | Name String | Marker String
![Page 21: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/21.jpg)
Haskell Example(With Co-references)
([],[Relation “AGT”
[DefConcept “Sit” “x” Nil]
Concept “Cat” Literal Name “Fred”,
Relation “LOC”
[BoundConcept “x”]
Concept “Mat” Nil])
![Page 22: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/22.jpg)
Haskell Grammar(Part 1)
CG : Node
| Node CG
Node : Relation
| Concept
| Actor
| Negation
![Page 23: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/23.jpg)
Haskell Grammar(Part 2)
Relation: '(' TypeExp Arcs ')'
Actor : '<' id Arcs '|' Arcs '>'
Negation: '~' '[' CG ']'
Concept : '[' TypeExp ':' Referent ']'
| '[' TypeExp '*' id ':' Referent ']'
| '[' TypeExp ']'
| '[' TypeExp '*' id ']'
| '[' ']'
| '[' ':' Referent ']'
![Page 24: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/24.jpg)
Graph Data Model Types
• Pointer Type
• Adjacency List Type
• Adjacency Matrix Type
![Page 25: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/25.jpg)
Haskell XML Schema
![Page 26: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/26.jpg)
HaskellConcept
XML Schema
![Page 27: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/27.jpg)
Haskell Concept Attribute
• Name - CoRef
• Type - xs:string
• Use - optional
![Page 28: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/28.jpg)
Haskell Relation
XML Schema
![Page 29: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/29.jpg)
Haskell Actor XML
Schema
![Page 30: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/30.jpg)
Graph Tuple XML Schema
![Page 31: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/31.jpg)
Graph Tuple
Concept XML
Schema
![Page 32: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/32.jpg)
Graph Tuple Concept Attribute
• Name - uniquecon
• Type - xs:ID
• Use - required
![Page 33: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/33.jpg)
Graph RCC Tuple XML Schema
![Page 34: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/34.jpg)
Graph ACC Tuple XML Schema
![Page 35: Data Models for Conceptual Structures](https://reader036.fdocuments.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/35.jpg)
Graph Pair Lists XML
Schema