C OGUI T UTORIAL
The Vocabulary
T HE V OCABULARY
Basic Model
T HE VOCABULARY – THE M ODEL
|
The vocabulary is composed of two partially y p p y ordered sets:
1. a set of concepts and
2 t f l ti f it (th it i th b
2. a set of relations of any arity (the arity is the number of arguments of the relation)
3. a set of individual markers (“*” the generic marker)
|
The three sets are pair wise disjoint.
T HE V OCABULARY – THE M ODEL
|
The partial order represents a specialization p p p relation: t ≤ t’ is read: t is a specialization of t
If t d t’ t t ≤ t’
y If t and t’ are concepts, t ≤ t’ means:
every instance of the concept t is also an instance of the concept t’
y If t and t’ are relations, then
| these relations have the same arityt ese e at o s a e t e sa e a ty k, and , a d
| t ≤ t’ means:
if t holds between k entities, then t’ also holds between these k if t holds between k entities, then t also holds between these k entities
T HE VOCABULARY – THE M ODEL
|
Set of concept types: hierarchy of concept types p yp y p yp
|
Set of relation types: hierarchy of relation types
|
The hierarchies can be visualized by their Hasse diagrams (t ≤ t’ if there is a path up from t to t’)
|
A hierarchy is not necessarily a tree!
|
A hierarchy is not necessarily a tree!
H IERARCHY EXAMPLE FOR CONCEPTS AND
RELATIONS
T HE V OCABULARY
Extensions to the Basic Model
E XTENDING THE VOCABULARY (1)
|
Banned concept types: the concept types cannot p yp p yp have a common subtype (disjointness)
| Example: Something cannot be a Man and a Woman at the same time.
E XTENDING THE VOCABULARY (2)
|
Relation symbol signatures: a signature will specify: y g g p y
y The arity of the relation
y The maximal concept type of each of its arguments
E ample parentOf(Ad lt H man) means that the relation
| Example: parentOf(Adult, Human) means that the relation parentOf is a binary relation and that the first argument is of maximal type Adult and the second argument is of maximal type Humanyp
|
The partial order defined on relations has to
conform to the partial order defined on the concept
conform to the partial order defined on the concept
types of the relations’ signatures.
V OCABULARY
Editing Vocabulary with Cogui
COGUI
C OGUI – OPEN COGXML FILE : EITHER LOCAL
FILE OR BY URL
C OGUI – OPEN AN EXISTING PROJECT : THE
PROJECT WINDOW ON THE LEFT HAND SIDE
C OGUI – V OCABULARY : CONCEPTS ,
RELATIONS , NESTINGS AND INDIVIDUALS
V OCABULARY
1. Concept Hierarchy
C
OGUI– C
ONCEPTH
IERARCHY:
VISUALISE BOTH THE THREE VIEW ON LEFT HAND SIDE AND GRAPH ON RIGHT HAND SIDEC
OGUI– C
ONCEPTH
IERARCHY DISPLAY:
CHANGETHE DISPLAY OF THE HIERARCHY
(
WHICH IS NOT NECESSARILY A TREE)
C OGUI – C ONCEPT H IERARCHY DISPLAY :
CHANGE THE DISPLAY IN THE GRAPH VIEW
C
OGUI– C
ONCEPTH
IERARCHY DISPLAY:
ZOOM IN AND OUT OF THE GRAPH FOR BETTER VIEWC
OGUI– C
ONCEPTH
IERARCHY DISPLAY:
TO ARRANGE GRAPH CORRESPONDING TO SPRING LAYOUT START THE LAYOUT AND DO NOT FORGET TO STOP IT(
THE ACTIVE BUTTON STAYS RED)
TO STOP IT
(
THE ACTIVE BUTTON STAYS RED)
C OGUI – C ONCEPT H IERARCHY DISPLAY :
USING ZOOM AFTER SPRING LAYOUT VIEW
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
WHENTHE EDITION BUTTON IS ON THE GRAPH VIEW CAN BE USED ALSO FOR EDITING GRAPHS
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
WHENEDITION IS ON A CONCEPT TYPE CAN BE ADDED USING THE GRAPH VIEW
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
WHENEDITION IS ON RIGHT CLICK ON THE NEWLY INTRODUCED NODE FOR MORE ACTIONS
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
TO ADD THE SPECIALISATION RELATION,
WHEN EDITION ISO O S O C O
ON
,
PUT THE MOUSE ON THE CENTER OF THE NEW CONCEPT NODE AND DRAG IT TO LINK IT TO THE DESIRED CONCEPTDESIRED CONCEPT
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
THENEWLY ADDED CONCEPT NODE AND THE
SPECIALISATION RELATION APPEAR IN BOTH VIEWS
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
TODELETE A NODE IN GRAPH VIEW WHEN EDITION IS DELETE A NODE IN GRAPH VIEW
,
WHEN EDITION IS ON,
RIGHT CLICK ON NODE AND SELECT DELETEC
OGUI– C
ONCEPTH
IERARCHY EDITION:
THECONCEPT HIERARCHY CAN BE EQUALLY EDITED IN THE TREE VIEW
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
TO ADD A NEW SUBCONCEPT TYPE FOR A CONCEPT TYPE IN TREE VIEW RIGHT CLICK ON THE NODE AND SELECT INSERT CONCEPT TYPEINSERT CONCEPT TYPE
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
THENEWLY ADDED CONCEPT TYPE IN THE HIERARCHY IS ALSO VISIBLE IN GRAPH VIEW
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
TO STOPEDITING GRAPHS IN THE GRAPH EDITOR SELECT EDITION OFF
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
WHENEDITION IS OFF WE CANNOT ADD A NEW CONCEPT TYPE USING THE GRAPH EDITOR
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
WHENEDITION IS OFF WE CAN STILL EDIT THE GRAPHS USING THE TREE VIEW
C OGUI - C YCLES IN THE HIERARCHY :
INTRODUCE A NEW CONCEPT IN HIERARCHY
C
OGUI- C
YCLES IN THE HIERARCHY:
INTRODUCE A NEW CONCEPT IN HIERARCHY AND LINK IT INHIERARCHY
C
OGUI- C
YCLES IN THE HIERARCHY:
INTRODUCE A NEW CONCEPT IN HIERARCHY AND LINK IT INHIERARCHY AND ADD A NEW EDGE TO CREATE A CYCLE
C
OGUI- C
YCLES IN THE HIERARCHY:
INTRODUCE A NEW CONCEPT IN HIERARCHY AND LINK IT INHIERARCHY AND ADD A NEW EDGE TO CREATE A CYCLE
C OGUI - C YCLES IN THE HIERARCHY : CAN BE
VISUALISED IN THE TREE VIEW AT INFINITY
C
OGUI- C
YCLES IN THE HIERARCHY:
THE TREE DISPLAY IN THE GRAPH EDITOR IS NOT AVAILABLEC
OGUI- C
YCLES IN THE HIERARCHY:
THE TREELAYOUT IN THE GRAPH EDITOR IS NOT AVAILABLE SO ATTENTION WHEN USING THE SPRING LAYOUT
E XTENDING THE V OCABULARY
1. Banned Types
C OGUI – C ONCEPT H IERARCHY EDITION :
BANNED TYPES
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
BANNEDTYPES
–
RIGHT CLICK ON THE AREA BENEATH BANNED TYPES AND CLICK ADDC OGUI C ONCEPT H IERARCHY EDITION : C OGUI – C ONCEPT H IERARCHY EDITION :
BANNED TYPES – SELECT THE TYPES
C OGUI C ONCEPT H IERARCHY EDITION : C OGUI – C ONCEPT H IERARCHY EDITION :
BANNED TYPES – SELECT THE TYPES
C
OGUI– C
ONCEPTH
IERARCHY EDITION:
BANNEDTYPES
–
THE BANNED TYPES WILL APPEAR IN THE LISTV OCABULARY
2. Relation Hierarchy
C OGUI –R ELATION H IERARCHY
C
OGUI– R
ELATION HIERARCHY CAN BE VISUALISED BOTH USING THE TREE VIEW AND THE GRAPH VIEWC
OGUI–
THE GRAPH VIEW FOR THE RELATION HIERARCHY PROPOSES THE SAME DISPLAYFUNCTIONALITIES AS FOR CONCEPTS
C
OGUI–
THE GRAPH VIEW FOR THE RELATIONHIERARCHY PROPOSES THE SAME FUNCTIONALITY FOR THE EDITION MODE
E XTENDING THE V OCABULARY
2. Relation signatures
C OGUI – THE RELATION TYPES HAVE A
SIGNATURE
C OGUI – TO CHANGE THE SIGNATURE OF A
RELATION TYPE RIGHT CLICK AND SELECT EDIT
C
OGUI–
TO CHANGE THE SIGNATURE OF ARELATION TYPE RIGHT CLICK AND SELECT EDIT SIGNATURE THEN CHOOSE THE CONCEPT TYPE
C
OGUI–
TO CHANGE THE SIGNATURE OF ARELATION TYPE RIGHT CLICK AND SELECT EDIT SIGNATURE THEN CHOOSE THE CONCEPT TYPE IN THE PROPOSED HIERARCHY
C
OGUI–
TO INSERT A NEW RELATION TYPE RIGHT CLICK IN THE HIERARCHY THEN SELECT INSERT RELATION TYPEC
OGUI–
TO INSERT A NEW RELATION TYPE RIGHT CLICK IN THE HIERARCHY THEN SELECT INSERT RELATION TYPE THEN EDIT ITS SIGNATUREC
OGUI–
THE RELATION HIERARCHY RESPECTS THE CONCEPT HIERARCHY FOR ITS SIGNATUREC
OGUI–
THE RELATION HIERARCHY RESPECTS THE CONCEPT HIERARCHY FOR ITS SIGNATUREC OGUI – CHOOSING AN INVALID SIGNATURE
C OGUI – CHOOSING AN INVALID SIGNATURE
C OGUI – VALIDATE THE VOCABULARY
C OGUI ALWAYS VALIDATE THE C OGUI – ALWAYS VALIDATE THE
VOCABULARY BEFORE USING IT
V OCABULARY
3. Individuals
C OGUI – INDIVIDUALS
E XTENDING THE V OCABULARY
3. Individual Typing