fixed and exemplified relations between Item and Document

dini-ag-kim · Jul 8, 2013 · 003e8f1 · 003e8f1
1 parent 14b5d5e
commit 003e8f1
Show file tree

Hide file tree

Showing 2 changed files with 130 additions and 60 deletions.
diff --git a/holding.md b/holding.md
@@ -117,112 +117,147 @@ To relate an [Item] to a [Chronology] use [ecpo:hasChronology] or [ecpo:hasChron
 
 # Object properties
 
-## narrowerExemplar
+## Relations between Documents and Items
+
+``` {.ditaa}
+
+     +--------+      exemplar      +------------+
+     |  Item  |<-------------------|  Document  |
+     |        |------------------->|            |
+     +--------+     exemplarOf     +------------+
+        | ^                                  |
+        | |                                  |
+        | |       broaderExemplar            |
+        | +-----------------------------+    | dct:hasPart
+        +-----------------------------+ |    |
+                 broaderExemplarOf    | |    | 
+                                      | |    |
+                                      v |    v
+     +--------+      exemplar      +------------+
+     |  Item  |<-------------------|  Document  |
+     |        |------------------->|            |
+     +--------+     exemplarOf     +------------+
+                                      | ^    |
+                                      | |    |
+                 narrowerExemplar     | |    | 
+        +-----------------------------+ |    | dct:hasPart
+        | ------------------------------+    |
+        | |     narrowerExemplarOf           | 
+        | |                                  |
+        v |                                  v
+     +--------+      exemplar      +------------+
+     |  Item  |<-------------------|  Document  |
+     |        |------------------->|            |
+     +--------+     exemplarOf     +------------+
+
+```
+
+### narrowerExemplar
 
 [narrowerExemplar]: #narrowerexemplar
 
 Relates an Item to a Document which is partly exemplified by the Item.
 
-	holding:narrowerExemplar a owl:ObjectProperty ;
-		rdfs:label "narrower exemplar"@en ;
-		rdfs:comment "Relates an Item to a Document which is partly exemplified by the Item."@en ;
-		rdfs:domain frbr:Item ;
-		rdfs:range bibo:Document ;
-		owl:inverseOf holding:narrowerExemplarOf .
+    holding:narrowerExemplar a owl:ObjectProperty ;
+        rdfs:label "narrower exemplar"@en ;
+        rdfs:comment "Relates an Item to a Document which is partly exemplified by the Item."@en ;
+        rdfs:domain frbr:Item ;
+        rdfs:range bibo:Document ;
+        owl:inverseOf holding:narrowerExemplarOf .
 
 ## narrowerExemplarOf
 
 [narrowerExemplarOf]: #narrowerexemplarof
 
 Relates a Document to an Item that is an exemplar of a part of the Document.
 
-	holding:narrowerExemplarOf a owl:ObjectProperty ;
-		rdfs:label "narrower exemplar of"@en ;
-		rdfs:comment "Relates a Document to an Item that is an exemplar of a part of the Document."@en ;
-		rdfs:domain bibo:Document ;
-		rdfs:range frbr:Item ;
-		owl:inverseOf holding:narrowerExemplar .
+    holding:narrowerExemplarOf a owl:ObjectProperty ;
+        rdfs:label "narrower exemplar of"@en ;
+        rdfs:comment "Relates a Document to an Item that is an exemplar of a part of the Document."@en ;
+        rdfs:domain bibo:Document ;
+        rdfs:range frbr:Item ;
+        owl:inverseOf holding:narrowerExemplar .
 
 ## broaderExemplar
 
 [broaderExemplar]: #broaderexemplar
 
 Relates a Document to an Item that contains an exemplar of the Document as part.
 
-	holding:broaderExemplar a owl:ObjectProperty ;
-		rdfs:label "broader exemplar"@en ;
-		rdfs:comment "Relates a Document to an Item that contains an exemplar of the Document as part."@en ;
-		rdfs:domain bibo:Document ;
-		rdfs:range frbr:Item ;
-		owl:inverseOf holding:broaderExemplarOf .
-	
+    holding:broaderExemplar a owl:ObjectProperty ;
+        rdfs:label "broader exemplar"@en ;
+        rdfs:comment "Relates a Document to an Item that contains an exemplar of the Document as part."@en ;
+        rdfs:domain bibo:Document ;
+        rdfs:range frbr:Item ;
+        owl:inverseOf holding:broaderExemplarOf .
+    
 
 ## broaderExemplarOf
 
 [broaderExemplarOf]: #broaderexemplarof
 
 Relates an Item to a Document which is partly exemplified by the Item.
 
-	holding:broaderExemplarOf a owl:ObjectProperty ;
-		rdfs:label "broader exemplar of"@en ;
-		rdfs:comment "Relates an Item to a Document which is partly exemplified by the Item."@en ;
-		rdfs:domain frbr:Item ;
-		rdfs:range bibo:Document ;
-		owl:inverseOf holding:broaderExemplar .
+    holding:broaderExemplarOf a owl:ObjectProperty ;
+        rdfs:label "broader exemplar of"@en ;
+        rdfs:comment "Relates an Item to a Document which is partly exemplified by the Item."@en ;
+        rdfs:domain frbr:Item ;
+        rdfs:range bibo:Document ;
+        owl:inverseOf holding:broaderExemplar .
 
 ## exemplar
 
 [exemplar]: #exemplar
 
 Relates a Document to an Item that is an exemplar of the Document. This property is similar to frbr:exemplar but does not refer to the class frbr:Manifestation.
 
-	holding:exemplar a owl:ObjectProperty ;
-		rdfs:label "has exemplar"@en ;
-		rdfs:comment "Relates a Document to an Item that is an exemplar of the Document. This property is similar to frbr:exemplar but does not refer to the class frbr:Manifestation."@en ;
-		rdfs:domain bibo:Document ;		
-		rdfs:range frbr:Item ;
-		owl:inverseOf holding:exemplarOf .
+    holding:exemplar a owl:ObjectProperty ;
+        rdfs:label "has exemplar"@en ;
+        rdfs:comment "Relates a Document to an Item that is an exemplar of the Document. This property is similar to frbr:exemplar but does not refer to the class frbr:Manifestation."@en ;
+        rdfs:domain bibo:Document ;        
+        rdfs:range frbr:Item ;
+        owl:inverseOf holding:exemplarOf .
 
 ## exemplarOf
 
 [exemplarOf]: #exemplarof
 
 Relates an Item to the Document that is exemplified by the Item.
 
-	holding:exemplarOf a owl:ObjectProperty ;
-		rdfs:label "is examplar of"@en ;
-		rdfs:comment "Relates an Item to the Document that is exemplified by the Item."@en ;
-		rdfs:domain frbr:Item ;
-		rdfs:range bibo:Document ;
-		owl:inverseOf holding:exemplar .
+    holding:exemplarOf a owl:ObjectProperty ;
+        rdfs:label "is examplar of"@en ;
+        rdfs:comment "Relates an Item to the Document that is exemplified by the Item."@en ;
+        rdfs:domain frbr:Item ;
+        rdfs:range bibo:Document ;
+        owl:inverseOf holding:exemplar .
 
 ## heldBy
 
 [heldBy]: #heldby
 
 Relates an Item to an Institution that holds the Item.
 
-	holding:heldBy a owl:ObjectProperty ;
-		rdfs:label "held by"@en ;
-		rdfs:comment "Relates an Item to an Institution that holds the Item."@en ;
-		rdfs:domain frbr:Item ;
-		rdfs:range foaf:Organization ;
-		owl:inverseOf holding:holds ;
-		rdfs:subPropertyOf holding:collectedBy .	
+    holding:heldBy a owl:ObjectProperty ;
+        rdfs:label "held by"@en ;
+        rdfs:comment "Relates an Item to an Institution that holds the Item."@en ;
+        rdfs:domain frbr:Item ;
+        rdfs:range foaf:Organization ;
+        owl:inverseOf holding:holds ;
+        rdfs:subPropertyOf holding:collectedBy .    
 
 ## holds
 
 [holds]: #holds
 
 Relates an Institution to an Item which the Institution holds.
 
-	holding:holds a owl:ObjectProperty ;
-		rdfs:label "holds"@en ;
-		rdfs:comment "Relates an Institution to an Item which the Institution holds."@en ;
-		rdfs:domain foaf:Organization ;
-		rdfs:range frbr:Item ;
-		rdfs:subPropertyOf holding:inCollection ;
-		owl:inverseOf holding:heldBy .
+    holding:holds a owl:ObjectProperty ;
+        rdfs:label "holds"@en ;
+        rdfs:comment "Relates an Institution to an Item which the Institution holds."@en ;
+        rdfs:domain foaf:Organization ;
+        rdfs:range frbr:Item ;
+        rdfs:subPropertyOf holding:inCollection ;
+        owl:inverseOf holding:heldBy .
 
 # Datatype Properties
 

diff --git a/overview.md b/overview.md
@@ -1,17 +1,52 @@
 # Overview
 
-## Relation between Item and Item
+## Examplar Relations between Documents and Items
+
 ``` {.ditaa}
-                           +-----------+
-                   +-------+           +-------+
-narrowerExemplar / |       |   Item    |       | broaderExemplar /
-narrowerExemplarOf |       |           |       | broaderExemplarOf
-                   +------>|           |<------+
-                           +-----------+
+
+     +--------+      exemplar      +------------+
+     |  Item  |<-------------------|  Document  |
+     |        |------------------->|            |
+     +--------+     exemplarOf     +------------+
+        | ^                                  |
+        | |                                  |
+        | |       broaderExemplar            |
+        | +-----------------------------+    | dct:hasPart
+        +-----------------------------+ |    |
+                 broaderExemplarOf    | |    | 
+                                      | |    |
+                                      v |    v
+     +--------+      exemplar      +------------+
+     |  Item  |<-------------------|  Document  |
+     |        |------------------->|            |
+     +--------+     exemplarOf     +------------+
+                                      | ^    |
+                                      | |    |
+                 narrowerExemplar     | |    | 
+        +-----------------------------+ |    | dct:hasPart
+        | ------------------------------+    |
+        | |     narrowerExemplarOf           | 
+        | |                                  |
+        v |                                  v
+     +--------+      exemplar      +------------+
+     |  Item  |<-------------------|  Document  |
+     |        |------------------->|            |
+     +--------+     exemplarOf     +------------+
 
 ```
 
-## Relation between Item and Documents
+To give an example:
+
+* Given a book series (a `Document`), a full shelve of books of the series
+  (an `Item`) is an `exemplarOf` the series.
+* A book of the series (a `Document`) has a copy of the book (an `Item`) 
+  as `exemplar`.
+* The copy (an `Item`) is a
+  * a `narrowerExemplarOf` the series (as `Document`), and
+  * a `broaderExemplarOf` a single chapter of the book (as `Document`).
+
+## Relations between Items and descriptions
+
 ``` {.ditaa}
 +---------------------+    exemplarOf   +-------+    foaf:page    +-----------+
 |      Document       |<----------------+       +---------------->| Document  |