Inference Logic – I3
- Summary
- Identification
- Definition
- Properties
- Namespaces
- Hierarchy
- Relations
- Profiles
- Graph
- Comments 0
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
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.
| 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
Example
Use of parallels
Example
Use of a typology
Additional notes
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 0.7 | 2021-05-07 |
| CRMinf version 1.0 | 2024-09-16 |
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 |
JustificationSubclass of: E89 Propositional Object |
0 |
Ancestor classes
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| E28 Conceptual Object | 2 | CIDOC CRM version 6.2 | E89 |
| E71 Man-Made Thing | 3 | CIDOC CRM version 6.2 | E89 - E28 |
| E70 Thing | 4 | CIDOC CRM version 6.2 | E89 - E28 - E71 |
| E77 Persistent Item | 5 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 |
| E1 CRM Entity | 6 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 - E77 |
| S15 Observable Entity | 6 | CRMsci version 1.2.3 | E89 - E28 - E71 - E70 - E77 |
| E1 CRM Entity | 7 | CIDOC CRM version 6.2 | E89 - E28 - E71 - E70 - E77 - S15 |
| 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 |
Child and descendant classes
Related classes
Outgoing properties (this class is domain)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| No data available in table | |||
Outgoing properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| I3 Inference Logic (is a E1 CRM Entity ) | crm:P1 is identified by (identifies) | E41 Appellation | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity ) | crm:P2 has type (is type of) | E55 Type | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity ) | crm:P3 has note | E62 String | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity ) | crm:P48 has preferred identifier (is preferred identifier of) | E42 Identifier | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity ) | crm:P137 exemplifies (is exemplified by) | E55 Type | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E1 CRM Entity ) | crmdig:L47 has comment | E62 String | CRMdig version 3.2.1 |
| I3 Inference Logic (is a E1 CRM Entity ) | crmdig:L4 has preferred label | E62 String | CRMdig version 3.2.1 |
| I3 Inference Logic (is a E1 CRM Entity ) | crmdig:L53 is not uniquely identified by | E62 String | CRMdig version 3.2.1 |
| I3 Inference Logic (is a E1 CRM Entity ) | sdh:P70 same resource in the world as (same as) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | sdh:P2 domain class has identity defining component (is identity defining component of domain class) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | sdh:P10 time-independent entity association | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | sdh:P18 is identifying component of range class (range class has identity defining component) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | crm-sup:P20 same as external identifier (same as) | E42 Identifier | SDHSS CIDOC CRM supplement – ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | sdh:P63 has preferred type (is preferred type of) | E55 Type | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | crm-sup:P28 same as URI [owl:sameAs] (same as) | C30 Uniform Resource Identifier (URI) | SDHSS CIDOC CRM supplement – ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | crmdig:L54 is same-as (is same-as) | E1 CRM Entity | CRMdig version 3.2.1 |
| I3 Inference Logic (is a E1 CRM Entity ) | crmdig:L55 has inventory no | E62 String | CRMdig version 3.2.1 |
| I3 Inference Logic (is a E1 CRM Entity ) | sdh:P67 has kind (is kind of) | C50 Kind | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I3 Inference Logic (is a E1 CRM Entity ) | sdh:P71 could be the same entity as (inverse of could be the same entity as) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I3 Inference Logic (is a E28 Conceptual Object ) | crm:P149 is identified by (identifies) | E75 Conceptual Object Appellation | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E70 Thing ) | crm:P43 has dimension (is dimension of) | E54 Dimension | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E70 Thing ) | crm:P101 had as general use (was use of) | E55 Type | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E70 Thing ) | crm:P130 shows features of (features are also found on) | E70 Thing | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E71 Man-Made Thing ) | crm:P102 has title (is title of) | E35 Title | CIDOC CRM version 6.2 |
| I3 Inference Logic (is a E71 Man-Made Thing ) | crm:P103 was intended for (was intention of) | E55 Type | CIDOC CRM version 6.2 |
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 |
|---|---|---|---|
| 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 |
| C12 Dedication | sdh-int:P22 has dedicatory object (is dedicatory object of) | I3 Inference Logic (is a E77) | SDHSS - Propositions, Texts, Intellectual Life ongoing |
| 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 |
| 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 |
| C23 Identification | crm-sup:P18 is identification of (has identification) | I3 Inference Logic (is a E1) | SDHSS CIDOC CRM supplement – 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 |
| C27 Legal Fact | sdh-so:P52 is legal fact of (has legal fact) | I3 Inference Logic (is a E77) | SDHSS Social, legal and economic life 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
| 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 |
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.