data models for conceptual structures
DESCRIPTION
Data Models for Conceptual Structures. Roger T. Hartley Heather D. Pfeiffer. Basic CS Graph. Definitional CP Graph. CP Overlay Graph. Complete CP Procedural Graph. Small Example. CS Graph example Simple CP overlay examples CP overlay across Definition Graphs CP Model. - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Data Models for Conceptual Structures](https://reader036.vdocument.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.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/2.jpg)
Basic CS Graph
![Page 3: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/3.jpg)
Definitional CP Graph
![Page 4: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/4.jpg)
CP Overlay Graph
![Page 5: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/5.jpg)
Complete CP Procedural Graph
![Page 6: Data Models for Conceptual Structures](https://reader036.vdocument.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.vdocument.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.vdocument.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.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/9.jpg)
BirthDate is OvGraph
Person
Date
BirthDate
![Page 10: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/10.jpg)
Now is DefGraph
DATE
Now
![Page 11: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/11.jpg)
ComputeNow is OvGraph
Date
Now
ComputeNow
![Page 12: Data Models for Conceptual Structures](https://reader036.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.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.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/25.jpg)
Haskell XML Schema
![Page 26: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/26.jpg)
HaskellConcept
XML Schema
![Page 27: Data Models for Conceptual Structures](https://reader036.vdocument.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.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/28.jpg)
Haskell Relation
XML Schema
![Page 29: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/29.jpg)
Haskell Actor XML
Schema
![Page 30: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/30.jpg)
Graph Tuple XML Schema
![Page 31: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/31.jpg)
Graph Tuple
Concept XML
Schema
![Page 32: Data Models for Conceptual Structures](https://reader036.vdocument.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.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/33.jpg)
Graph RCC Tuple XML Schema
![Page 34: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/34.jpg)
Graph ACC Tuple XML Schema
![Page 35: Data Models for Conceptual Structures](https://reader036.vdocument.in/reader036/viewer/2022070410/5681465b550346895db37a67/html5/thumbnails/35.jpg)
Graph Pair Lists XML
Schema