Data Models for Conceptual Structures

1
Data Models for Conceptual Structures

• Roger T. Hartley
• Heather D. Pfeiffer

2
Basic CS Graph
3
Definitional CP Graph
4
CP Overlay Graph
5
Complete CP Procedural Graph
6
Small Example

• CS Graph example
• Simple CP overlay examples
• CP overlay across Definition Graphs
• CP Model

7
PersonBirth is Graph
Person
Person
CHRC
BirthDate
Birth
PTIM
Date
Date
8
Person is DefGraph
Person
CHRC
CHRC
Birth
Age
PTIM
Date
9
BirthDate is OvGraph
Person
BirthDate
Date
10
Now is DefGraph
DATE
Now
11
ComputeNow is OvGraph
Now
Date
ComputeNow
12
Age is OvGraph
Date
Birth
DiffDt
Age
PTIM
Date
13
CurrentAge is PartModel
Person
CHRC
CHRC
BirthDate
DiffDt
Birth
Birth
CurrentAge
Date
Now
PTIM
PTIM
ComputeNow
Date
Date
14
CGIF for Conceptual Structures

• CGCG (Concept Relation Actor
  SpecialContext Comment)
• ConceptConcept "" Type(1)? CorefLinks?,
  Referent? Comment? "
• RelationRelation "(" Type(N) Arc Comment?
  ")"
• ActorActor "lt" Type(N) Arc "" Arc
  Comment? "gt"
• SpecialContextSpecialContext Negation
  "" SpecialConLabel ""CG ""
• CommentComment DelimitedStr("")

15
Data Model

• ADTs
• Definition of types and structures
• Operations on those types

16
DTD Structure
lt!ELEMENT cg (concept relation actor
specialcontext cgcomment)gt lt!ELEM
ENT concept (contypelabel?, (coreflinks
referent
((coreflinks, referent) (referent,
coreflinks)))?,concomment?)gt lt!ELEMENT
relation (reltypelabel, arc, relcomment?)gt lt!ELE
MENT actor (reltypelabel, arc,(actorcomment)?)gt
lt!ELEMENT specialcontext (negation
(specialconlabel, cg))gt lt!ELEMENT
cgcomment (PCDATA)gt
17
Creation of Data Models

• Haskell Language
• By Hand using XmlSpy

18
Haskell Data Model(Basic CS Constructs)
type CG (CNode, RNode)type Label
Stringdata CNode Concept Label Referentdata
RNode Relation Label InArcs OutArctype InArcs
CNodetype OutArc CNode data Referent Nil
Literal Literal Graph CG data Literal
LitString String Name String Marker String
19
Haskell Simple Example
let sit Concept Sit Nil in (,Relation
AGT sit Concept Cat Literal Name Fred,
Relation LOC sit Concept Mat Nil)
20
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 CNodetype
OutArc CNode data Referent Nil Literal
Literal Graph CG data Literal LitString
String Name String Marker String
21
Haskell Example(With Co-references)
(,Relation AGT
DefConcept Sit x Nil
Concept Cat Literal Name Fred,
Relation LOC
BoundConcept x Concept
Mat Nil)
22
Haskell Grammar(Part 1)
CG Node Node CG Node
Relation Concept
Actor Negation
23
Haskell Grammar(Part 2)
Relation '(' TypeExp Arcs ')' Actor 'lt' id
Arcs '' Arcs 'gt' Negation '' '' CG
'' Concept '' TypeExp '' Referent ''
'' TypeExp '' id '' Referent ''
'' TypeExp ''
'' TypeExp '' id ''
'' ''
'' '' Referent ''
24
Graph Data Model Types

• Pointer Type
• Adjacency List Type
• Adjacency Matrix Type

25
Haskell XML Schema
26
HaskellConcept XML Schema
27
Haskell Concept Attribute

• Name - CoRef
• Type - xsstring
• Use - optional

28
Haskell Relation XML Schema
29
Haskell Actor XML Schema
30
Graph Tuple XML Schema
31
Graph Tuple Concept XML Schema
32
Graph Tuple Concept Attribute

• Name - uniquecon
• Type - xsID
• Use - required

33
Graph RCC Tuple XML Schema
34
Graph ACC Tuple XML Schema
35
Graph Pair Lists XML Schema