Proposition Set – I4

Scope Notes

Show Scope note Language Namespace
This class comprises the sets of formal, binary propositions that an I2 Belief is held about. It could be implemented as a named graph, a spreadsheet or any other structured data-set. Regardless of the specific syntax employed, the effective propositions it contains should be made up of unambiguous identifiers, concepts of a formal ontology and constructs of logic. en

Examples

Show Example Language Namespace
The Dragendorff Samian typology en WIP
Type 29 bowls are from the 1st Century AD (need to formulate as a set of CRM statements) en WIP

Additional notes

Show Notes Language Namespace

Labels

Label Language Last updated
Proposition Set en 2019-01-23

Namespace

Namespace URI Last updated
http://www.ics.forth.gr/isl/CRMinf/0/7/ 2019-01-25

Parent classes (Proposition Set – I4 rdfs:subclassOf this class)

Class identifier Explanation Root namespace View association
Information Object – E73 http://www.cidoc-crm.org/cidoc-crm/base/

Ancestor classes

Class identifier Depth Root namespace
E1 CRM Entity 6 CIDOC CRM
E1 CRM Entity 7 CIDOC CRM
E1 CRM Entity 8 CIDOC CRM
E28 Conceptual Object 3 CIDOC CRM
E70 Thing 4 CIDOC CRM
E70 Thing 5 CIDOC CRM
E71 Man-Made Thing 4 CIDOC CRM
E72 Legal Object 3 CIDOC CRM
E77 Persistent Item 5 CIDOC CRM
E77 Persistent Item 6 CIDOC CRM
E89 Propositional Object 2 CIDOC CRM
E90 Symbolic Object 2 CIDOC CRM
Thing Thing 7 The OWL 2 SCHEMA vocabulary(OWL 2)
Thing Thing 8 The OWL 2 SCHEMA vocabulary(OWL 2)
Thing Thing 9 The OWL 2 SCHEMA vocabulary(OWL 2)
S15 Observable Entity 6 CRMsci: An Extension of CIDOC-CRM to support scientific observation
S15 Observable Entity 7 CRMsci: An Extension of CIDOC-CRM to support scientific observation

Childs and descendant classes

Class identifier Depth Root namespace

Equivalent classes

Class identifier Root namespace

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
I4 Proposition Set (is a E1 CRM Entity) P1 is identified by E41 Appellation CIDOC-CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P2 has type E55 Type CIDOC-CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P3 has note E62 String CIDOC-CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P48 has preferred identifier E42 Identifier CIDOC-CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P137 exemplifies E55 Type CIDOC-CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) geovP2 is mentioned in E28 Conceptual Object Geovistory ongoing
I4 Proposition Set (is a E1 CRM Entity) L47 has comment E62 String CRMdig version 3.2
I4 Proposition Set (is a E1 CRM Entity) L4 has preferred label E62 String CRMdig version 3.2
I4 Proposition Set (is a E1 CRM Entity) L53 is not uniquely identified by E62 String CRMdig version 3.2
I4 Proposition Set (is a E28 Conceptual Object) P149 is identified by E75 Conceptual Object Appellation CIDOC-CRM version 6.2
I4 Proposition Set (is a E70 Thing) P43 has dimension E54 Dimension CIDOC-CRM version 6.2
I4 Proposition Set (is a E70 Thing) P101 had as general use E55 Type CIDOC-CRM version 6.2
I4 Proposition Set (is a E70 Thing) P130 shows features of E70 Thing CIDOC-CRM version 6.2
I4 Proposition Set (is a E71 Man-Made Thing) P102 has title E35 Title CIDOC-CRM version 6.2
I4 Proposition Set (is a E71 Man-Made Thing) P103 was intended for E55 Type CIDOC-CRM version 6.2
I4 Proposition Set (is a E72 Legal Object) P104 is subject to E30 Right CIDOC-CRM version 6.2
I4 Proposition Set (is a E72 Legal Object) P105 right held by E39 Actor CIDOC-CRM version 6.2
I4 Proposition Set (is a E73 Information Object) P165 incorporates E90 Symbolic Object CIDOC-CRM version 6.2
I4 Proposition Set (is a E89 Propositional Object) P67 refers to E1 CRM Entity CIDOC-CRM version 6.2
I4 Proposition Set (is a E89 Propositional Object) P129 is about E1 CRM Entity CIDOC-CRM version 6.2
I4 Proposition Set (is a E89 Propositional Object) P148 has component E89 Propositional Object CIDOC-CRM version 6.2
I4 Proposition Set (is a E90 Symbolic Object) P106 is composed of E90 Symbolic Object CIDOC-CRM version 6.2
I4 Proposition Set (is a Thing Thing) topObjectProperty Thing Thing The OWL 2 SCHEMA vocabulary(OWL 2)
I4 Proposition Set (is a S15 Observable Entity) O12 has dimension (is dimension of) E54 Dimension CRMsci version 1.2.3

Incoming properties (this class is range)

Domain Property identifier Range Namespace
I2 Belief J4 that I4 Proposition Set CRMinf version 0.7

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity geovP2 is mentioned in Proposition Set – I4 (is a E28 Conceptual Object) Geovistory ongoing
E2 Temporal Entity histP1 involves Proposition Set – I4 (is a E77 Persistent Item) Data for History ontology, v.0.1 ongoing
E5 Event P12 occurred in the presence of Proposition Set – I4 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E7 Activity P15 was influenced by Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E7 Activity P16 used specific object Proposition Set – I4 (is a E70 Thing) CIDOC-CRM version 6.2
E7 Activity P17 was motivated by Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E7 Activity P19 was intended use of Proposition Set – I4 (is a E71 Man-Made Thing) CIDOC-CRM version 6.2
E13 Attribute Assignment P140 assigned attribute to Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E13 Attribute Assignment P141 assigned Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E15 Identifier Assignment P142 used constituent Proposition Set – I4 (is a E90 Symbolic Object) CIDOC-CRM version 6.2
E16 Measurement P39 measured Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E17 Type Assignment P41 classified Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E18 Physical Thing P128 carries Proposition Set – I4 (is a E90 Symbolic Object) CIDOC-CRM version 6.2
E24 Physical Man-Made Thing P62 depicts Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E31 Document P70 documents Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E32 Authority Document P71 lists Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E36 Visual Item P138 represents Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E63 Beginning of Existence P92 brought into existence Proposition Set – I4 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E64 End of Existence P93 took out of existence Proposition Set – I4 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E65 Creation P94 has created Proposition Set – I4 (is a E28 Conceptual Object) CIDOC-CRM version 6.2
E70 Thing P130 shows features of Proposition Set – I4 (is a E70 Thing) CIDOC-CRM version 6.2
E73 Information Object P165 incorporates Proposition Set – I4 (is a E90 Symbolic Object) CIDOC-CRM version 6.2
E81 Transformation P123 resulted in Proposition Set – I4 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E81 Transformation P124 transformed Proposition Set – I4 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E83 Type Creation P136 was based on Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E89 Propositional Object P129 is about Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E89 Propositional Object P148 has component Proposition Set – I4 (is a E89 Propositional Object) CIDOC-CRM version 6.2
E89 Propositional Object P67 refers to Proposition Set – I4 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E90 Symbolic Object P106 is composed of Proposition Set – I4 (is a E90 Symbolic Object) CIDOC-CRM version 6.2
histC1 Persistent item condition or characteristic histP4 pertainsTo Proposition Set – I4 (is a E77 Persistent Item) Data for History ontology, v.0.1 ongoing
histC2 Geographical localisation histP12 isLocationOf Proposition Set – I4 (is a E1 CRM Entity) Data for History ontology, v.0.1 ongoing
Thing Thing topObjectProperty Proposition Set – I4 (is a Thing Thing) The OWL 2 SCHEMA vocabulary(OWL 2)
F13 Identifier R8 consists of Proposition Set – I4 (is a E90 Symbolic Object) FRBRoo version 2.4
F31 Performance R66 included performed version of Proposition Set – I4 (is a E89 Propositional Object) FRBRoo version 2.4
F35 Nomen Use Statement R38 refers to thema Proposition Set – I4 (is a E1 CRM Entity) FRBRoo version 2.4
F40 Identifier Assignment R45 assigned to Proposition Set – I4 (is a E1 CRM Entity) FRBRoo version 2.4
F51 Pursuit R59 had typical subject Proposition Set – I4 (is a E1 CRM Entity) FRBRoo version 2.4
F52 Name Use Activity R63 named Proposition Set – I4 (is a E1 CRM Entity) FRBRoo version 2.4
histC10 Appellation for language histP9 isAppellationOf Proposition Set – I4 (is a E1 CRM Entity) Data for History ontology, v.0.1 ongoing
S4 Observation O16 observed value (value was observed by) Proposition Set – I4 (is a E1 CRM Entity) CRMsci version 1.2.3
S4 Observation O8 observed (was observed by) Proposition Set – I4 (is a S15 Observable Entity) CRMsci version 1.2.3
S6 Data Evaluation O11 described (was described by) Proposition Set – I4 (is a S15 Observable Entity) CRMsci version 1.2.3
S21 Measurement O24 measured (was measured by) Proposition Set – I4 (is a S15 Observable Entity) CRMsci version 1.2.3
socE Bond socP6 to Proposition Set – I4 (is a E77 Persistent Item) CRMsoc version 0.1
D2 Digitization Process L60 documents Proposition Set – I4 (is a E1 CRM Entity) CRMdig version 3.2
D29 Annotation Object L43 annotates Proposition Set – I4 (is a E1 CRM Entity) CRMdig version 3.2

Profiles using this class

Label Start date End date Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments