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: https://ontome.net/ns/crminf/I3_Inference_Logic
OntoME URI: https://ontome.net/ontology/c472
Labels
Label  Language  Last updated  View details  Comments 

Inference Logic *  en  20210610  0 
* : Standard label for this language
Namespace
Namespace  Last updated 

CRMinf version 0.7  20210507 
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 HumanMade Thing  3  CIDOC CRM version 6.2  E89  E28 
E71 ManMade 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 sameas (is sameas)  I3 Inference Logic (is a E1)  CRMdig version 3.2.1 
E1 CRM Entity  sdh:P10 timeindependent 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 
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 ManMade 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  sdhso:P8 is subjection of (is subject to)  I3 Inference Logic (is a E77)  SDHSS Social, legal and economic life ongoing 
C16 [Deprecated] Legal Conceptual Object Creation  sdhso:P25 is legal creation of (was created by)  I3 Inference Logic (is a E28)  SDHSS Social, legal and economic life ongoing 
C19 Legal Integration  sdhso:P27 is integration of (is integrated by)  I3 Inference Logic (is a E1)  SDHSS Social, legal and economic life ongoing 
C5 Step  sdhint:P14 foresees the use of specific object (is foreseen for)  I3 Inference Logic (is a E71)  SDHSS Intellectual and Literary 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  sdhso:P52 is legal connotation of (has legal connotation)  I3 Inference Logic (is a E77)  SDHSS Social, legal and economic life ongoing 
C23 Identification  crmsup:P18 is identification of (has identification)  I3 Inference Logic (is a E1)  SDHSS CIDOC CRM supplement – ongoing 
C29 Legal Quality Acquisition  sdhso: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  sdhint:P22 has dedicatory object (is dedicatory object of)  I3 Inference Logic (is a E77)  SDHSS Intellectual and Literary Life ongoing 
Profiles using this class
Label  Version  Status  Last updated 

Silknow working profile  1  Ongoing  20210610 
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.