Inference Logic – I3

I3 Inference Logic

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)

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

URI: https://ontome.net/ns/crminf/I3

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

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 Human-Made Thing 3 CIDOC CRM version 6.2 E89 - E28
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)

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
I3 Inference Logic (is a E1 CRM Entity) crmdig:L4 has preferred label E62 String CRMdig version 3.2
I3 Inference Logic (is a E1 CRM Entity) crmdig:L53 is not uniquely identified by E62 String CRMdig version 3.2
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) crm-sup:P24 has identity defining type (is identity defining type) E55 Type SDHSS CIDOC CRM supplement – 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 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
I3 Inference Logic (is a E77 Persistent Item) sdh:P22 has quantifiable quality (is quantifiable quality of) C28 Quantifiable Quality SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing
I3 Inference Logic (is a E89 Propositional Object) crm:P67 refers to (is referred to by) E1 CRM Entity CIDOC CRM version 6.2
I3 Inference Logic (is a E89 Propositional Object) crm:P129 is about (is subject of) E1 CRM Entity CIDOC CRM version 6.2
I3 Inference Logic (is a E89 Propositional Object) crm:P148 has component (is component of) E89 Propositional Object CIDOC CRM version 6.2
I3 Inference Logic (is a S15 Observable Entity) crmsci: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 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 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
E2 Temporal Entity sdh:P1 involves 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
D29 Annotation Object crmdig:L43 annotates (is annotated by) I3 Inference Logic (is a E1) CRMdig version 3.2
C14 Holding of a Right or Obligation sdh-so:P8 is subjection of (is subject to) I3 Inference Logic (is a E77) Social, legal and economic life (SDHSS) ongoing
C16 Legal Conceptual Object Creation sdh-so:P25 is legal creation of (was created by) I3 Inference Logic (is a E28) Social, legal and economic life (SDHSS) ongoing
C19 Legal Integration sdh-so:P27 is integration of (is integrated by) I3 Inference Logic (is a E1) Social, legal and economic life (SDHSS) ongoing
C5 Step sdh-int:P14 foresees the use of specific object (is foreseen for) I3 Inference Logic (is a E71) Intellectual and Literary Life – ongoing (SDHSS)
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 Connotation sdh-so:P52 is legal connotation of (has legal connotation) I3 Inference Logic (is a E77) Social, legal and economic life (SDHSS) 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) Social, legal and economic life (SDHSS) 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) Intellectual and Literary Life – ongoing (SDHSS)

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