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 a typology
Use of parallels
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  0 
Examples
Show  Example  Language  Namespace  View details  Comments 

Use of a typology  en  WIP  0  
Use of parallels  en  WIP  0 
Additional notes
Show  Notes  Language  Namespace  View details  Comments 

Identifier : I3
Labels
Label  Language  Last updated  View details  Comments 

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

CRMinf version 0.7  20191204 
Parent classes
Class  Justification  Relation namespace  View association 

E89 Propositional Object 

CRMinf version 0.7 
Ancestor classes
Class  Depth  Class namespace 

E1 CRM Entity  6  CIDOC CRM version 6.2 
E1 CRM Entity  7  CIDOC CRM version 6.2 
E28 Conceptual Object  2  CIDOC CRM version 6.2 
E70 Thing  4  CIDOC CRM version 6.2 
E71 ManMade Thing  3  CIDOC CRM version 6.2 
E77 Persistent Item  5  CIDOC CRM version 6.2 
Thing  7  OntoME internal model  active version 
Thing  8  OntoME internal model  active version 
S15 Observable Entity  6  CRMsci version 1.2.3 
Childs and descendant classes
Class  Depth  Class namespace 

Related classes
Relation  Class  Justification  Relation namespace  View details 

Outgoing properties (this class is domain)
Domain  Property identifier  Range  Namespace 

Outgoing properties (inherited from ancestors)
Domain  Property identifier  Range  Namespace 

I3 Inference Logic (is a E1 CRM Entity)  P1 is identified by  E41 Appellation  CIDOC CRM version 6.2 
I3 Inference Logic (is a E1 CRM Entity)  P2 has type  E55 Type  CIDOC CRM version 6.2 
I3 Inference Logic (is a E1 CRM Entity)  P3 has note  E62 String  CIDOC CRM version 6.2 
I3 Inference Logic (is a E1 CRM Entity)  P48 has preferred identifier  E42 Identifier  CIDOC CRM version 6.2 
I3 Inference Logic (is a E1 CRM Entity)  P137 exemplifies  E55 Type  CIDOC CRM version 6.2 
I3 Inference Logic (is a E1 CRM Entity)  L47 has comment  E62 String  CRMdig version 3.2 
I3 Inference Logic (is a E1 CRM Entity)  L4 has preferred label  E62 String  CRMdig version 3.2 
I3 Inference Logic (is a E1 CRM Entity)  L53 is not uniquely identified by  E62 String  CRMdig version 3.2 
I3 Inference Logic (is a E1 CRM Entity)  geovP7 existence is deduced from  geovC7 Data entity  Geovistory ongoing 
I3 Inference Logic (is a E1 CRM Entity)  geovP12 same as  E1 CRM Entity  Geovistory ongoing 
I3 Inference Logic (is a E1 CRM Entity)  geovP13 derived from  E1 CRM Entity  Geovistory ongoing 
I3 Inference Logic (is a E1 CRM Entity)  histP31 timeindependent entity association  E1 CRM Entity  CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing 
I3 Inference Logic (is a E1 CRM Entity)  geovP14 tagged by (tags)  geovC11 Tag  Geovistory ongoing 
I3 Inference Logic (is a E28 Conceptual Object)  P149 is identified by  E75 Conceptual Object Appellation  CIDOC CRM version 6.2 
I3 Inference Logic (is a E70 Thing)  P43 has dimension  E54 Dimension  CIDOC CRM version 6.2 
I3 Inference Logic (is a E70 Thing)  P101 had as general use  E55 Type  CIDOC CRM version 6.2 
I3 Inference Logic (is a E70 Thing)  P130 shows features of  E70 Thing  CIDOC CRM version 6.2 
I3 Inference Logic (is a E71 ManMade Thing)  P102 has title  E35 Title  CIDOC CRM version 6.2 
I3 Inference Logic (is a E71 ManMade Thing)  P103 was intended for  E55 Type  CIDOC CRM version 6.2 
I3 Inference Logic (is a E89 Propositional Object)  P67 refers to  E1 CRM Entity  CIDOC CRM version 6.2 
I3 Inference Logic (is a E89 Propositional Object)  P129 is about  E1 CRM Entity  CIDOC CRM version 6.2 
I3 Inference Logic (is a E89 Propositional Object)  P148 has component  E89 Propositional Object  CIDOC CRM version 6.2 
I3 Inference Logic (is a S15 Observable Entity)  O12 has dimension (is dimension of)  E54 Dimension  CRMsci version 1.2.3 
Incoming properties (this class is range)
Domain  Property identifier  Range  Namespace 

I5 Inference Making  J3 applies  I3 Inference Logic  CRMinf version 0.7 
Incoming properties (inherited from ancestors)
Domain  Property identifier  Range  Namespace 

E1 CRM Entity  geovP12 same as  I3 Inference Logic (is a E1 CRM Entity)  Geovistory ongoing 
E1 CRM Entity  geovP13 derived from  I3 Inference Logic (is a E1 CRM Entity)  Geovistory ongoing 
E1 CRM Entity  histP31 timeindependent entity association  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing 
E2 Temporal Entity  histP1 involves  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing 
E2 Temporal Entity  histP30 has identity defining component  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing 
E5 Event  P12 occurred in the presence of  I3 Inference Logic (is a E77 Persistent Item)  CIDOC CRM version 6.2 
E7 Activity  P15 was influenced by  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E7 Activity  P16 used specific object  I3 Inference Logic (is a E70 Thing)  CIDOC CRM version 6.2 
E7 Activity  P17 was motivated by  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E7 Activity  P19 was intended use of  I3 Inference Logic (is a E71 ManMade Thing)  CIDOC CRM version 6.2 
E13 Attribute Assignment  P140 assigned attribute to  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E13 Attribute Assignment  P141 assigned  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E16 Measurement  P39 measured  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E17 Type Assignment  P41 classified  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E24 Physical ManMade Thing  P62 depicts  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E31 Document  P70 documents  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E32 Authority Document  P71 lists  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E36 Visual Item  P138 represents  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E63 Beginning of Existence  P92 brought into existence  I3 Inference Logic (is a E77 Persistent Item)  CIDOC CRM version 6.2 
E64 End of Existence  P93 took out of existence  I3 Inference Logic (is a E77 Persistent Item)  CIDOC CRM version 6.2 
E65 Creation  P94 has created  I3 Inference Logic (is a E28 Conceptual Object)  CIDOC CRM version 6.2 
E70 Thing  P130 shows features of  I3 Inference Logic (is a E70 Thing)  CIDOC CRM version 6.2 
E73 Information Object  geovP2 mentions  I3 Inference Logic (is a E1 CRM Entity)  Geovistory ongoing 
E81 Transformation  P123 resulted in  I3 Inference Logic (is a E77 Persistent Item)  CIDOC CRM version 6.2 
E81 Transformation  P124 transformed  I3 Inference Logic (is a E77 Persistent Item)  CIDOC CRM version 6.2 
E83 Type Creation  P136 was based on  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E89 Propositional Object  P129 is about  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
E89 Propositional Object  P148 has component  I3 Inference Logic (is a E89 Propositional Object)  CIDOC CRM version 6.2 
E89 Propositional Object  P67 refers to  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM version 6.2 
histC1 Timerelated Persistent Item Characteristic  histP4 pertains to  I3 Inference Logic (is a E77 Persistent Item)  CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing 
histC2 Timerelated geographical localisation  histP12 is location of  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing 
F31 Performance  R66 included performed version of  I3 Inference Logic (is a E89 Propositional Object)  FRBRoo version 2.4 
F35 Nomen Use Statement  R38 refers to thema  I3 Inference Logic (is a E1 CRM Entity)  FRBRoo version 2.4 
F40 Identifier Assignment  R45 assigned to  I3 Inference Logic (is a E1 CRM Entity)  FRBRoo version 2.4 
F51 Pursuit  R59 had typical subject  I3 Inference Logic (is a E1 CRM Entity)  FRBRoo version 2.4 
F52 Name Use Activity  R63 named  I3 Inference Logic (is a E1 CRM Entity)  FRBRoo version 2.4 
histC10 Name use in a language  histP9 is appellation for language of (has appellation for language)  I3 Inference Logic (is a E1 CRM Entity)  CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing 
S4 Observation  O16 observed value (value was observed by)  I3 Inference Logic (is a E1 CRM Entity)  CRMsci version 1.2.3 
S4 Observation  O8 observed (was observed by)  I3 Inference Logic (is a S15 Observable Entity)  CRMsci version 1.2.3 
S6 Data Evaluation  O11 described (was described by)  I3 Inference Logic (is a S15 Observable Entity)  CRMsci version 1.2.3 
S21 Measurement  O24 measured (was measured by)  I3 Inference Logic (is a S15 Observable Entity)  CRMsci version 1.2.3 
socE Bond  socP4 to  I3 Inference Logic (is a E77 Persistent Item)  CRMsoc version 0.1 ongoing 
geovC1 [Geovistory] Digital  geovP11 refers to  I3 Inference Logic (is a E1 CRM Entity)  Geovistory ongoing 
D2 Digitization Process  L60 documents  I3 Inference Logic (is a E1 CRM Entity)  CRMdig version 3.2 
D29 Annotation Object  L43 annotates  I3 Inference Logic (is a E1 CRM Entity)  CRMdig version 3.2 
geovC7 Data entity  geovP8 corresponds to  I3 Inference Logic (is a E1 CRM Entity)  Geovistory ongoing 
C1 Conference  P2 is organized by  I3 Inference Logic (is a E1 CRM Entity)  OntoME sandbox Test namespace ongoing 
Profiles using this class
Label  Start date  End date  Last updated 

Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.