Inference Making – I5
I5 Inference Making
Subclass of:
Scope note:
This class comprises the action of making honest propositions and statements about particular states of affairs in reality or in possible realities or categorical descriptions of reality by using inferences from other statements based on hypotheses and any form of formal or informal logic. It includes evaluations, calculations, and interpretations based on mathematical formulations and propositions.
It is characterized by the use of an existing I2 Belief as the premise that together with a set of I3 Inference Logic draws a further I2 Belief as a conclusion.
Documenting instances of I5 Inference Making primarily enables tracing the dependency of knowledge from conclusion to premise through subsequent inferences, possibly back toprimary evidence, so that the range of influence of knowledge revision at any intermediate stage of complex inference chains on current convictions can be narrowed down by query. The explicit reference to the applied inference logic further allows scholars or scientists to assess if
they can or would follow the documented argument. The class is not intended to promote the use of computationally decidable systems of logic as replacements of scholarly justifications of arguments, even though it allows for documenting the use of decidable logic, if that was deemed adequate for the problem at hand. Principles of scholarly justifications of arguments are also regarded as kinds of inference logic.
Examples:
In First Order Logic:
- I5(x) ⇒ I1(x)
Scope notes
Show | Scope note | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
This class comprises the action of making honest propositions and statements about particular states of affairs in reality or in possible realities or categorical descriptions of reality by using inferences from other statements based on hypotheses and any form of formal or informal logic. It includes evaluations, calculations, and interpretations based on mathematical formulations and propositions. It is characterized by the use of an existing I2 Belief as the premise that together with a set of I3 Inference Logic draws a further I2 Belief as a conclusion. Documenting instances of I5 Inference Making primarily enables tracing the dependency of knowledge from conclusion to premise through subsequent inferences, possibly back toprimary evidence, so that the range of influence of knowledge revision at any intermediate stage of complex inference chains on current convictions can be narrowed down by query. The explicit reference to the applied inference logic further allows scholars or scientists to assess ifthey can or would follow the documented argument. The class is not intended to promote the use of computationally decidable systems of logic as replacements of scholarly justifications of arguments, even though it allows for documenting the use of decidable logic, if that was deemed adequate for the problem at hand. Principles of scholarly justifications of arguments are also regarded as kinds of inference logic. | en | CRMinf version 0.7 | 0 |
Examples
Show | Example | Language | Namespace | View details | Comments |
---|---|---|---|---|---|
My classification and dating of this bowl | en | CRMinf version 0.7 | 0 |
Additional notes
Show | Notes | Type | Language | Namespace | View details | Comments |
---|
Identifier: I5
Official URI: https://ontome.net/ns/crminf/I5
OntoME URI: https://ontome.net/ontology/c474
Labels
Label | Language | Last updated | View details | Comments |
---|---|---|---|---|
Inference Making * | en | 2021-06-10 | 0 |
* : Standard label for this language
Namespace
Namespace | Last updated |
---|---|
CRMinf version 0.7 | 2021-05-07 |
Parent classes
Class | Class namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
---|---|---|---|---|---|---|---|
I1 Argumentation | CRMinf version 0.7 | CRMinf version 0.7 |
|
0 |
Ancestor classes
Class | Depth | Class namespace | Via |
---|---|---|---|
E1 CRM Entity | 7 | CIDOC CRM version 6.2 | I1 - E13 - E7 - E5 - E4 - E2 |
E1 CRM Entity | 7 | CIDOC CRM version 6.2 | I1 - E13 - E7 - E5 - E4 - E92 |
E1 CRM Entity | 8 | CIDOC CRM version 6.2 | I1 - E13 - C46 - C10 - C4 - C1 - E2 |
E1 CRM Entity | 8 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 - E5 - E4 - E2 |
E1 CRM Entity | 8 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 - E5 - E4 - E92 |
E1 CRM Entity | 8 | CIDOC CRM version 6.2 | I1 - E13 - E7 - E5 - E4 - E2 - S15 |
E1 CRM Entity | 8 | CIDOC CRM version 6.2 | I1 - E13 - E7 - E5 - E4 - E92 - C5 |
E1 CRM Entity | 9 | CIDOC CRM version 6.2 | I1 - E13 - C46 - C10 - C4 - C1 - E2 - S15 |
E1 CRM Entity | 9 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 - E5 - E4 - E2 - S15 |
E1 CRM Entity | 9 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 - E5 - E4 - E92 - C5 |
E2 Temporal Entity | 6 | CIDOC CRM version 6.2 | I1 - E13 - E7 - E5 - E4 |
E2 Temporal Entity | 7 | CIDOC CRM version 6.2 | I1 - E13 - C46 - C10 - C4 - C1 |
E2 Temporal Entity | 7 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 - E5 - E4 |
E4 Period | 5 | CIDOC CRM version 6.2 | I1 - E13 - E7 - E5 |
E4 Period | 6 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 - E5 |
E5 Event | 4 | CIDOC CRM version 6.2 | I1 - E13 - E7 |
E5 Event | 5 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 |
E7 Activity | 3 | CIDOC CRM version 6.2 | I1 - E13 |
E7 Activity | 4 | CIDOC CRM version 6.2 | I1 - E13 - C46 |
E13 Attribute Assignment | 2 | CIDOC CRM version 6.2 | I1 |
E92 Spacetime Volume | 6 | CIDOC CRM version 6.2 | I1 - E13 - E7 - E5 - E4 |
E92 Spacetime Volume | 7 | CIDOC CRM version 6.2 | I1 - E13 - C46 - E7 - E5 - E4 |
C1 Entity Quality | 6 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | I1 - E13 - C46 - C10 - C4 |
Thing | 8 | OntoME internal model - active version | I1 - E13 - E7 - E5 - E4 - E2 - E1 |
Thing | 8 | OntoME internal model - active version | I1 - E13 - E7 - E5 - E4 - E92 - E1 |
Thing | 9 | OntoME internal model - active version | I1 - E13 - C46 - C10 - C4 - C1 - E2 - E1 |
Thing | 9 | OntoME internal model - active version | I1 - E13 - C46 - E7 - E5 - E4 - E2 - E1 |
Thing | 9 | OntoME internal model - active version | I1 - E13 - C46 - E7 - E5 - E4 - E92 - E1 |
Thing | 9 | OntoME internal model - active version | I1 - E13 - E7 - E5 - E4 - E2 - S15 - E1 |
Thing | 9 | OntoME internal model - active version | I1 - E13 - E7 - E5 - E4 - E92 - C5 - E1 |
Thing | 10 | OntoME internal model - active version | I1 - E13 - C46 - C10 - C4 - C1 - E2 - S15 - E1 |
Thing | 10 | OntoME internal model - active version | I1 - E13 - C46 - E7 - E5 - E4 - E2 - S15 - E1 |
Thing | 10 | OntoME internal model - active version | I1 - E13 - C46 - E7 - E5 - E4 - E92 - C5 - E1 |
S15 Observable Entity | 7 | CRMsci version 1.2.3 | I1 - E13 - E7 - E5 - E4 - E2 |
S15 Observable Entity | 8 | CRMsci version 1.2.3 | I1 - E13 - C46 - C10 - C4 - C1 - E2 |
S15 Observable Entity | 8 | CRMsci version 1.2.3 | I1 - E13 - C46 - E7 - E5 - E4 - E2 |
C5 Abstract Region | 7 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | I1 - E13 - E7 - E5 - E4 - E92 |
C5 Abstract Region | 8 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | I1 - E13 - C46 - E7 - E5 - E4 - E92 |
C4 Intention | 5 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | I1 - E13 - C46 - C10 |
C10 Intentional Event | 4 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | I1 - E13 - C46 |
C46 Intentional Expression | 3 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | I1 - E13 |
Child and descendant classes
Class | Depth | Class namespace | Via |
---|
Related classes
Relation | Class | Class namespace | Justification | Relation defined in | View details | Edit | Delete | Comments |
---|
Outgoing properties (this class is domain)
Domain | Property identifier | Range | Namespace |
---|---|---|---|
I5 Inference Making | crminf:J1 used as premise (was premise for) | I2 Belief | CRMinf version 0.7 |
I5 Inference Making | crminf:J3 applies (was applied by) | I3 Inference Logic | CRMinf version 0.7 |
Outgoing properties (inherited from ancestors)
Incoming properties (this class is range)
Domain | Property identifier | Range | Namespace |
---|
Incoming properties (inherited from ancestors)
Domain | Property identifier | Range | Namespace |
---|---|---|---|
E1 CRM Entity | crmdig:L54 is same-as (is same-as) | I5 Inference Making (is a E1) | CRMdig version 3.2.1 |
E1 CRM Entity | sdh:P10 time-independent entity association | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E1 CRM Entity | sdh:P18 is identifying component of range class (range class has identity defining component) | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E1 CRM Entity | sdh:P2 domain class has identity defining component (is identity defining component of domain class) | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E2 Temporal Entity | sdh:P1 involves | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E2 Temporal Entity | crm:P114 is equal in time to | I5 Inference Making (is a E2) | CIDOC CRM version 6.2 |
E2 Temporal Entity | crm:P115 finishes (is finished by) | I5 Inference Making (is a E2) | CIDOC CRM version 6.2 |
E2 Temporal Entity | crm:P116 starts (is started by) | I5 Inference Making (is a E2) | CIDOC CRM version 6.2 |
E2 Temporal Entity | crm:P117 occurs during (includes) | I5 Inference Making (is a E2) | CIDOC CRM version 6.2 |
E2 Temporal Entity | crm:P118 overlaps in time with (is overlapped in time by) | I5 Inference Making (is a E2) | CIDOC CRM version 6.2 |
E2 Temporal Entity | crm:P119 meets in time with (is met in time by) | I5 Inference Making (is a E2) | CIDOC CRM version 6.2 |
E2 Temporal Entity | crm:P120 occurs before (occurs after) | I5 Inference Making (is a E2) | CIDOC CRM version 6.2 |
E2 Temporal Entity | sdh:P5 is part of (has part) | I5 Inference Making (is a E2) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E4 Period | crm:P9 consists of (forms part of) | I5 Inference Making (is a E4) | CIDOC CRM version 6.2 |
E5 Event | crmsci:O13 triggers (is triggered by) | I5 Inference Making (is a E5) | CRMsci version 1.2.3 |
E5 Event | sdh:P8 effects (result from) | I5 Inference Making (is a C1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E5 Event | sdh:P9 ends (is ended by) | I5 Inference Making (is a C1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
E7 Activity | crm:P134 continued (was continued by) | I5 Inference Making (is a E7) | CIDOC CRM version 6.2 |
E7 Activity | crm:P15 was influenced by (influenced) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E7 Activity | crm:P17 was motivated by (motivated) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E7 Activity | crm:P20 had specific purpose (was purpose of) | I5 Inference Making (is a E5) | CIDOC CRM version 6.2 |
E13 Attribute Assignment | crm:P140 assigned attribute to (was attributed by) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E13 Attribute Assignment | crm:P141 assigned (was assigned by) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E16 Measurement | crm:P39 measured (was measured by) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E17 Type Assignment | crm:P41 classified (was classified by) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E24 Physical Man-Made Thing | crm:P62 depicts (is depicted by) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E31 Document | crm:P70 documents (is documented in) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E32 Authority Document | crm:P71 lists (is listed in) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E36 Visual Item | crm:P138 represents (has representation) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E83 Type Creation | crm:P136 was based on (supported type creation) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E89 Propositional Object | crm:P129 is about (is subject of) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E89 Propositional Object | crm:P67 refers to (is referred to by) | I5 Inference Making (is a E1) | CIDOC CRM version 6.2 |
E92 Spacetime Volume | crm:P10 falls within (contains) | I5 Inference Making (is a E92) | CIDOC CRM version 6.2 |
E92 Spacetime Volume | crm:P132 overlaps with | I5 Inference Making (is a E92) | CIDOC CRM version 6.2 |
E92 Spacetime Volume | crm:P133 is separated from | I5 Inference Making (is a E92) | CIDOC CRM version 6.2 |
E93 Presence | crm:P166 was a presence of (had presence) | I5 Inference Making (is a E92) | CIDOC CRM version 6.2 |
F29 Recording Event | frbroo:R20 recorded (was recorded through) | I5 Inference Making (is a E2) | FRBRoo version 2.4 |
F35 Nomen Use Statement | frbroo:R38 refers to thema (is thema of) | I5 Inference Making (is a E1) | FRBRoo version 2.4 |
F40 Identifier Assignment | frbroo:R45 assigned to (was assigned by) | I5 Inference Making (is a E1) | FRBRoo version 2.4 |
F51 Pursuit | frbroo:R59 had typical subject (was typical subject of) | I5 Inference Making (is a E1) | FRBRoo version 2.4 |
F52 Name Use Activity | frbroo:R63 named (was named by) | I5 Inference Making (is a E1) | FRBRoo version 2.4 |
C11 Appellation in a Language | sdh:P11 is appellation for language of (has appellation for language) | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
S4 Observation | crmsci:O16 observed value (value was observed by) | I5 Inference Making (is a E1) | CRMsci version 1.2.3 |
S4 Observation | crmsci:O8 observed (was observed by) | I5 Inference Making (is a S15) | CRMsci version 1.2.3 |
S6 Data Evaluation | crmsci:O11 described (was described by) | I5 Inference Making (is a S15) | CRMsci version 1.2.3 |
S21 Measurement | crmsci:O24 measured (was measured by) | I5 Inference Making (is a S15) | CRMsci version 1.2.3 |
S22 Segment of Matter | crmsci:O23 is defined by (defines) | I5 Inference Making (is a E92) | CRMsci version 1.2.3 |
D2 Digitization Process | crmdig:L60 documents | I5 Inference Making (is a E1) | CRMdig version 3.2.1 |
D29 Annotation Object | crmdig:L43 annotates (is annotated by) | I5 Inference Making (is a E1) | CRMdig version 3.2.1 |
C15 Participation | sdh-so:P11 is participation in (has participation) | I5 Inference Making (is a E5) | SDHSS Social, legal and economic life ongoing |
C2 Intentional Situation | sdh:P33 interprets (is interpreted by) | I5 Inference Making (is a E5) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C2 Intentional Situation | sdh:P51 is interpretation of (is interpreted by) | I5 Inference Making (is a C10) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C19 Legal Integration | sdh-so:P27 is integration of (is integrated by) | I5 Inference Making (is a E1) | SDHSS Social, legal and economic life ongoing |
C25 Intentional Collective | sdh:P36 has manifestation in (is manifestation of) | I5 Inference Making (is a E4) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C4 Intention | sdh:P43 has setting (is setting for) | I5 Inference Making (is a E5) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C30 Connotation | sdh:P39 is connotation of (has connotation) | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C23 Identification | crm-sup:P18 is identification of (has identification) | I5 Inference Making (is a E1) | SDHSS CIDOC CRM supplement – ongoing |
C9 Intentional Entity | sdh:P7 has intention (is intention of) | I5 Inference Making (is a C4) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C8 Intentional Composition | sdh:P53 has intentional component (is component of) | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C8 Intentional Composition | sdh:P54 is intentional component of (has intentional component) | I5 Inference Making (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C10 Intentional Event | sdh:P3 effects (is the result of) | I5 Inference Making (is a C4) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C10 Intentional Event | sdh:P4 ends (is ended by) | I5 Inference Making (is a C4) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
C35 Actor's quality in relation to an event | sdh-so:P57 is quality in relation to (has related actor's quality) | I5 Inference Making (is a E5) | SDHSS Social, legal and economic life ongoing |
C35 Actor's quality in relation to an event | sdh-so:P60 is quality in relation to intentional event (has related actor's quality) | I5 Inference Making (is a C10) | SDHSS Social, legal and economic life ongoing |
Profiles using this class
Label | Version | Status | Last updated |
---|---|---|---|
Silknow working profile | 1 | Ongoing | 2021-06-10 |
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
Vincent Alamercery
Equivalent to S5 Inference Making (to be implemented)
on January 23, 2019 16:41