Title: Data Models for Conceptual Structures
1Data Models for Conceptual Structures
- Roger T. Hartley
- Heather D. Pfeiffer
2Basic CS Graph
3Definitional CP Graph
4CP Overlay Graph
5Complete CP Procedural Graph
6Small Example
- CS Graph example
- Simple CP overlay examples
- CP overlay across Definition Graphs
- CP Model
7PersonBirth is Graph
Person
Person
CHRC
BirthDate
Birth
PTIM
Date
Date
8Person is DefGraph
Person
CHRC
CHRC
Birth
Age
PTIM
Date
9BirthDate is OvGraph
Person
BirthDate
Date
10Now is DefGraph
DATE
Now
11ComputeNow is OvGraph
Now
Date
ComputeNow
12Age is OvGraph
Date
Birth
DiffDt
Age
PTIM
Date
13CurrentAge is PartModel
Person
CHRC
CHRC
BirthDate
DiffDt
Birth
Birth
CurrentAge
Date
Now
PTIM
PTIM
ComputeNow
Date
Date
14CGIF 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("")
15Data Model
- ADTs
- Definition of types and structures
- Operations on those types
16DTD 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
17Creation of Data Models
- Haskell Language
- By Hand using XmlSpy
18Haskell 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
19Haskell Simple Example
let sit Concept Sit Nil in (,Relation
AGT sit Concept Cat Literal Name Fred,
Relation LOC sit Concept Mat Nil)
20Haskell 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
21Haskell Example(With Co-references)
(,Relation AGT
DefConcept Sit x Nil
Concept Cat Literal Name Fred,
Relation LOC
BoundConcept x Concept
Mat Nil)
22Haskell Grammar(Part 1)
CG Node Node CG Node
Relation Concept
Actor Negation
23Haskell Grammar(Part 2)
Relation '(' TypeExp Arcs ')' Actor 'lt' id
Arcs '' Arcs 'gt' Negation '' '' CG
'' Concept '' TypeExp '' Referent ''
'' TypeExp '' id '' Referent ''
'' TypeExp ''
'' TypeExp '' id ''
'' ''
'' '' Referent ''
24Graph Data Model Types
- Pointer Type
- Adjacency List Type
- Adjacency Matrix Type
25Haskell XML Schema
26HaskellConcept XML Schema
27Haskell Concept Attribute
- Name - CoRef
- Type - xsstring
- Use - optional
28Haskell Relation XML Schema
29Haskell Actor XML Schema
30Graph Tuple XML Schema
31Graph Tuple Concept XML Schema
32Graph Tuple Concept Attribute
- Name - uniquecon
- Type - xsID
- Use - required
33Graph RCC Tuple XML Schema
34Graph ACC Tuple XML Schema
35Graph Pair Lists XML Schema