CRMinf version 1.0
DOCX export options
Quantification
First Order Logic
Example of what will be added to the properties in the document
Quantification:
In First Order Logic:
one to many (0,n:0,1)
P1(x,y) ⇒ C1(x)
P1(x,y) ⇒ C2(y)
P1(x,y) ⇒ P2(x,y)
CRMinf version 1.0
Description:
CRMinf version 1.0 ; extension of CIDOC CRM version 7.1.2
Draft version - October 2023.
Status:
Reference namespaces:
Contributors:
Version:
Description
Description
CRMinf version 1.0 ; extension of CIDOC CRM version 7.1.2
Draft version - October 2023.
Contributors
Martin Doerr, Christian-Emil Ore, Pavlos Fafalios, Athina Kritsotaki, Stephen Stead and others. Currently maintained by: Paverprime Ltd, FORTHIdentification
Base URI: http://www.cidoc-crm.org/extensions/crminf/
Project of belonging: CRMinf
Version info
1.0Namespace published and available since: 2023-10-31
Namespaces to which this ongoing namespace refers
| Namespace |
|---|
| CIDOC CRM version 7.1.3 |
|
CRMsci version 2.0
Referenced:
|
Labels
| Label | Language | Last updated |
|---|---|---|
| CRMinf version 1.0 * | en | 2024-09-16 |
* : Standard label for this language
Versions
CRMinf version 1.0 is a published namespace.
Root namespace: CRMinf: An Extension of CIDOC-CRM to support argumentation
Other published versions
Classes
| Identifier | Class | Last updated |
|---|---|---|
| I12 | Adopted Belief | 2024-09-16 |
| I1 | Argumentation | 2024-09-16 |
| I2 | Belief | 2024-09-16 |
| I7 | Belief Adoption | 2024-09-16 |
| I6 | Belief Value | 2024-09-16 |
| I17 | Categorical Hypothesis Building | 2024-09-16 |
| I3 | Inference Logic | 2024-09-16 |
| I5 | Inference Making | 2024-09-16 |
| I13 | Intended Meaning Belief | 2024-09-16 |
| I16 | Meaning Comprehension | 2024-09-16 |
| I4 | Proposition Set | 2024-09-16 |
| I15 | Provenance Assessment | 2024-09-16 |
| I14 | Provenance Belief | 2024-09-16 |
| I10 | Provenance Statement | 2024-09-16 |
| I11 | Situation | 2024-09-16 |
Properties
Relations
Filter by
| Source | Relation | Target | Last updated |
|---|---|---|---|
| Adopted Belief – I12 | rdfs:subClassOf | Belief – I2 | 2024-09-16 |
| adopted interpretation (was concluded by) – J13 | rdfs:subPropertyOf | concluded that (was concluded by) – J2 | 2024-09-17 |
| applied (was applied by) – J3 | rdfs:subPropertyOf | used specific object (was used for) – P16 | 2024-09-17 |
| Argumentation – I1 | rdfs:subClassOf | Activity – E7 | 2024-09-16 |
| assumed meaning (was assumed by) – J15 | rdfs:subPropertyOf | used as premise (was premise for) – J1 | 2024-09-17 |
| assumed provenance (was assumed by) – J18 | rdfs:subPropertyOf | is based on evidence from (is evidence for) – J7 | 2024-09-17 |
| Belief Adoption – I7 | rdfs:subClassOf | Argumentation – I1 | 2024-09-16 |
| Belief Value – I6 | rdfs:subClassOf | Primitive Value – E59 | 2024-09-16 |
| Belief – I2 | rdfs:subClassOf | Temporal Entity – E2 | 2024-09-16 |
| Categorical Hypothesis Building – I17 | rdfs:subClassOf | Inference Making – I5 | 2024-09-16 |
| concluded provenance (was assessed by) – J21 | rdfs:subPropertyOf | concluded that (was concluded by) – J2 | 2024-09-17 |
| concluded that (was concluded by) – J2 | rdfs:subPropertyOf | starts before or with the start of (starts after or with the start of) – P175 | 2024-09-17 |
| concluded that (was concluded by) – J2 | rdfs:subPropertyOf | ends before the end of (ends after the end of) – P185 | 2024-09-17 |
| Data Evaluation – S6 | rdfs:subClassOf | Inference Making – I5 | 2024-09-16 |
| Inference Logic – I3 | rdfs:subClassOf | Propositional Object – E89 | 2024-09-16 |
| Inference Making – I5 | rdfs:subClassOf | Argumentation – I1 | 2024-09-16 |
| Inference Making – I5 | rdfs:subClassOf | Attribute Assignment – E13 | 2024-09-16 |
| Intended Meaning Belief – I13 | rdfs:subClassOf | Belief – I2 | 2024-09-16 |
| interpreted meaning as (was interpretation by) – J23 | rdfs:subPropertyOf | concluded that (was concluded by) – J2 | 2024-09-17 |
| interpreted meaning of (was interpreted by) – J22 | rdfs:subPropertyOf | used specific object (was used for) – P16 | 2024-09-17 |
| is about the provenance of (has provenance claim) – J20 | rdfs:subPropertyOf | is about (is subject of) – P129 | 2024-09-17 |
| is based on evidence from (is evidence for) – J7 | rdfs:subPropertyOf | used specific object (was used for) – P16 | 2024-09-17 |
| Meaning Comprehension – I16 | rdfs:subClassOf | Argumentation – I1 | 2024-09-16 |
| Observation – S4 | rdfs:subClassOf | Argumentation – I1 | 2024-09-16 |
| Proposition Set – I4 | rdfs:subClassOf | Information Object – E73 | 2024-09-16 |
List of mismatches with reference namespaces
Entities listed here are not correctly associated with your reference namespaces.
They are displayed in red in your ongoing namespace. They may not be available in the version of the selected space.
Or you may not have selected any version of a reference namespace.
Please make the necessary corrections before proceeding.
Comments
No comment found.