Inference Logic – I3
I3 Inference Logic
Subclass of:
Scope note:
This class comprises the rules used as inputs to I5 Inference Making.
In this context the term “logic” is used in the most general sense of the Greek term, and not in the mathematical sense only. Examples are the direct application of formal logic, mathematical theories and calculus, formal or informal default reasoning based on default values associated with categories, probabilistic reasoning based mathematical models and assumed or observed frequencies for certain categories, application of theoretical socialmodels and comparisons with “cultural parallels”, etc. An instance of Inference Logic could also be a reference to the exact software release of a Bayesian reasoner, a rule such as “later layers are on top of earlier layers”, or even a term like “social intuition”, if this is scholarly acceptable. (after Doerr, Kritsotaki and Boutsika 2011). Indeed anything that is scientifically or academically acceptable as a method for drawing conclusions may be included for instance human pattern recognition.
A particular instance of I3 Inference Logic would be the algorithm implemented in a particular revision of a software package.
Instances of I3 Inference Logic not only comprise the method of reasoning, but also the set of categorical laws or axioms used in the argumentation. Often both are inextricably interwoven, for instance in a software implementation.
Examples:
Use of parallels
Use of a typology
In First Order Logic:
- I3(x) ⇒ E89(x)
Incoming properties:
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This class comprises the rules used as inputs to I5 Inference Making. In this context the term “logic” is used in the most general sense of the Greek term, and not in the mathematical sense only. Examples are the direct application of formal logic, mathematical theories and calculus, formal or informal default reasoning based on default values associated with categories, probabilistic reasoning based mathematical models and assumed or observed frequencies for certain categories, application of theoretical socialmodels and comparisons with “cultural parallels”, etc. An instance of Inference Logic could also be a reference to the exact software release of a Bayesian reasoner, a rule such as “later layers are on top of earlier layers”, or even a term like “social intuition”, if this is scholarly acceptable. (after Doerr, Kritsotaki and Boutsika 2011). Indeed anything that is scientifically or academically acceptable as a method for drawing conclusions may be included for instance human pattern recognition. A particular instance of I3 Inference Logic would be the algorithm implemented in a particular revision of a software package. Instances of I3 Inference Logic not only comprise the method of reasoning, but also the set of categorical laws or axioms used in the argumentation. Often both are inextricably interwoven, for instance in a software implementation. | en | CRMinf version 0.7 | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| Use of parallels | en | CRMinf version 0.7 | 0 | ||
| Use of a typology | en | CRMinf version 0.7 | 0 |
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|
Identifier: I3
Official URI: http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic
OntoME URI: https://ontome.net/ontology/c472
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| Inference Logic * | en | 2021-06-10 | 0 |
* : Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CRMinf version 1.0 | 2024-09-16 |
| CRMinf version 0.7 | 2021-05-07 |
Parent classes
| Class | Class namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|---|---|---|---|---|---|---|
| E89 Propositional Object | CIDOC CRM version 6.2 | CRMinf version 0.7 |
|
0 |
Ancestor classes
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| E1 CRM Entity | 6 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 - E77 |
| E1 CRM Entity | 7 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 - E77 - S15 |
| E28 Conceptual Object | 2 | CIDOC CRM version 6.2 | E89 |
| E70 Thing | 4 | CIDOC CRM version 6.2 | E89 - E28 - E71 |
| E71 Man-Made Thing | 3 | CIDOC CRM version 6.2 | E89 - E28 |
| E77 Persistent Item | 5 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 |
| Thing | 7 | OntoME internal model - active version | E89 - E28 - E71 - E70 - E77 - E1 |
| Thing | 8 | OntoME internal model - active version | E89 - E28 - E71 - E70 - E77 - S15 - E1 |
| S15 Observable Entity | 6 | CRMsci version 1.2.3 | E89 - E28 - E71 - E70 - E77 |
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 |
|---|
Outgoing properties (inherited from ancestors)
Incoming properties (this class is range)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| I5 Inference Making | crminf:J3 applies (was applied by) | I3 Inference Logic | CRMinf version 0.7 |
Incoming properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| E1 CRM Entity | crmdig:L54 is same-as (is same-as) | I3 Inference Logic (is a E1) | CRMdig version 3.2.1 |
| E1 CRM Entity | sdh:P10 time-independent entity association | I3 Inference Logic (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) | I3 Inference Logic (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) | I3 Inference Logic (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E1 CRM Entity | sdh:P70 same resource in the world as (same as) | I3 Inference Logic (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E1 CRM Entity | sdh:P71 could be the same entity as (inverse of could be the same entity as) | I3 Inference Logic (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E2 Temporal Entity | sdh:P1 involves (is involved in) | I3 Inference Logic (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E5 Event | crm:P12 occurred in the presence of (was present at) | I3 Inference Logic (is a E77) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P15 was influenced by (influenced) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P16 used specific object (was used for) | I3 Inference Logic (is a E70) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P17 was motivated by (motivated) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P19 was intended use of (was made for) | I3 Inference Logic (is a E71) | CIDOC CRM version 6.2 |
| E13 Attribute Assignment | crm:P140 assigned attribute to (was attributed by) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E13 Attribute Assignment | crm:P141 assigned (was assigned by) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E16 Measurement | crm:P39 measured (was measured by) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E17 Type Assignment | crm:P41 classified (was classified by) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E24 Physical Man-Made Thing | crm:P62 depicts (is depicted by) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E31 Document | crm:P70 documents (is documented in) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E32 Authority Document | crm:P71 lists (is listed in) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E36 Visual Item | crm:P138 represents (has representation) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E63 Beginning of Existence | crm:P92 brought into existence (was brought into existence by) | I3 Inference Logic (is a E77) | CIDOC CRM version 6.2 |
| E64 End of Existence | crm:P93 took out of existence (was taken out of existence by) | I3 Inference Logic (is a E77) | CIDOC CRM version 6.2 |
| E65 Creation | crm:P94 has created (was created by) | I3 Inference Logic (is a E28) | CIDOC CRM version 6.2 |
| E70 Thing | crm:P130 shows features of (features are also found on) | I3 Inference Logic (is a E70) | CIDOC CRM version 6.2 |
| E81 Transformation | crm:P123 resulted in (resulted from) | I3 Inference Logic (is a E77) | CIDOC CRM version 6.2 |
| E81 Transformation | crm:P124 transformed (was transformed by) | I3 Inference Logic (is a E77) | CIDOC CRM version 6.2 |
| E83 Type Creation | crm:P136 was based on (supported type creation) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E89 Propositional Object | crm:P129 is about (is subject of) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| E89 Propositional Object | crm:P148 has component (is component of) | I3 Inference Logic (is a E89) | CIDOC CRM version 6.2 |
| E89 Propositional Object | crm:P67 refers to (is referred to by) | I3 Inference Logic (is a E1) | CIDOC CRM version 6.2 |
| F31 Performance | frbroo:R66 included performed version of (had a performed version through) | I3 Inference Logic (is a E89) | FRBRoo version 2.4 |
| F35 Nomen Use Statement | frbroo:R38 refers to thema (is thema of) | I3 Inference Logic (is a E1) | FRBRoo version 2.4 |
| F40 Identifier Assignment | frbroo:R45 assigned to (was assigned by) | I3 Inference Logic (is a E1) | FRBRoo version 2.4 |
| F51 Pursuit | frbroo:R59 had typical subject (was typical subject of) | I3 Inference Logic (is a E1) | FRBRoo version 2.4 |
| F52 Name Use Activity | frbroo:R63 named (was named by) | I3 Inference Logic (is a E1) | FRBRoo version 2.4 |
| C11 Appellation in a Language | sdh:P11 is appellation for language of (has appellation for language) | I3 Inference Logic (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) | I3 Inference Logic (is a E1) | CRMsci version 1.2.3 |
| S4 Observation | crmsci:O8 observed (was observed by) | I3 Inference Logic (is a S15) | CRMsci version 1.2.3 |
| S6 Data Evaluation | crmsci:O11 described (was described by) | I3 Inference Logic (is a S15) | CRMsci version 1.2.3 |
| S21 Measurement | crmsci:O24 measured (was measured by) | I3 Inference Logic (is a S15) | CRMsci version 1.2.3 |
| D2 Digitization Process | crmdig:L60 documents | I3 Inference Logic (is a E1) | CRMdig version 3.2.1 |
| D29 Annotation Object | crmdig:L43 annotates (is annotated by) | I3 Inference Logic (is a E1) | CRMdig version 3.2.1 |
| C14 Holding of a Right or Obligation | sdh-so:P8 is subjection of (is subject to) | I3 Inference Logic (is a E77) | SDHSS Social, legal and economic life ongoing |
| C3 Epistemic Situation | sdh:P91 involves (is involved in) | I3 Inference Logic (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C19 Legal Integration | sdh-so:P27 is integration of (is integrated by) | I3 Inference Logic (is a E1) | SDHSS Social, legal and economic life ongoing |
| C5 Step | sdh-int:P14 foresees the use of specific object (is foreseen for) | I3 Inference Logic (is a E71) | SDHSS - Propositions, Texts, Intellectual Life ongoing |
| C23 Use | sdh:P31 has purpose (is purpose of) | I3 Inference Logic (is a E89) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C23 Use | sdh:P32 is use of (is used by) | I3 Inference Logic (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C4 Intention | sdh:P34 has content (is content of) | I3 Inference Logic (is a E89) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C30 Connotation | sdh:P39 is connotation of (has connotation) | I3 Inference Logic (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C27 Legal Fact | sdh-so:P52 is legal connotation of (has legal connotation) | I3 Inference Logic (is a E77) | SDHSS Social, legal and economic life ongoing |
| C23 Identification | crm-sup:P18 is identification of (has identification) | I3 Inference Logic (is a E1) | SDHSS CIDOC CRM supplement – ongoing |
| C29 Legal Quality Acquisition | sdh-so:P43 is acquisition by (acquires) | I3 Inference Logic (is a E77) | SDHSS Social, legal and economic life ongoing |
| C8 Intentional Composition | sdh:P53 has intentional component (is component of) | I3 Inference Logic (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) | I3 Inference Logic (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C12 Dedication | sdh-int:P22 has dedicatory object (is dedicatory object of) | I3 Inference Logic (is a E77) | SDHSS - Propositions, Texts, Intellectual Life ongoing |
| C38 Presence of a Thing | sdh-so:P75 is presence of (is concerned by) | I3 Inference Logic (is a E70) | SDHSS Social, legal and economic life ongoing |
| C60 Thing Involved in an Epistemic Situation | sdh:P79 is involvement of (has involvement) | I3 Inference Logic (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C66 Involvement of a Thing | sdh:P85 concerned object (is involved in) | I3 Inference Logic (is a E70) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
Profiles using this class
| Label | Version | Status | Last updated |
|---|---|---|---|
| Silknow working profile | 1 | Ongoing | 2023-10-25 |
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.