Inference Logic – I3

Scope Notes

Show Scope note Language Namespace
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

Examples

Show Example Language Namespace
Use of a typology en WIP
Use of parallels en WIP

Additional notes

Show Notes Language Namespace

Labels

Label Language Last updated
Inference Logic en 2019-01-23

Namespace

Namespace URI Last updated
http://www.ics.forth.gr/isl/CRMinf/0/7/ 2019-01-25

Parent classes (Inference Logic – I3 rdfs:subclassOf this class)

Class identifier Explanation Root namespace View association
Propositional Object – E89 http://www.cidoc-crm.org/cidoc-crm/base/

Ancestor classes

Class identifier Depth Root namespace
E1 CRM Entity 6 CIDOC CRM
E1 CRM Entity 7 CIDOC CRM
E28 Conceptual Object 2 CIDOC CRM
E70 Thing 4 CIDOC CRM
E71 Man-Made Thing 3 CIDOC CRM
E77 Persistent Item 5 CIDOC CRM
Thing Thing 7 The OWL 2 SCHEMA vocabulary(OWL 2)
Thing Thing 8 The OWL 2 SCHEMA vocabulary(OWL 2)
S15 Observable Entity 6 CRMsci: An Extension of CIDOC-CRM to support scientific observation

Childs and descendant classes

Class identifier Depth Root namespace

Equivalent classes

Class identifier Root namespace

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) geovP2 is mentioned in E28 Conceptual Object Geovistory ongoing
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 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 Man-Made Thing) P102 has title E35 Title CIDOC-CRM version 6.2
I3 Inference Logic (is a E71 Man-Made 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 Thing Thing) topObjectProperty Thing Thing The OWL 2 SCHEMA vocabulary(OWL 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 geovP2 is mentioned in Inference Logic – I3 (is a E28 Conceptual Object) Geovistory ongoing
E2 Temporal Entity histP1 involves Inference Logic – I3 (is a E77 Persistent Item) Data for History ontology, v.0.1 ongoing
E5 Event P12 occurred in the presence of Inference Logic – I3 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E7 Activity P15 was influenced by Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E7 Activity P16 used specific object Inference Logic – I3 (is a E70 Thing) CIDOC-CRM version 6.2
E7 Activity P17 was motivated by Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E7 Activity P19 was intended use of Inference Logic – I3 (is a E71 Man-Made Thing) CIDOC-CRM version 6.2
E13 Attribute Assignment P140 assigned attribute to Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E13 Attribute Assignment P141 assigned Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E16 Measurement P39 measured Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E17 Type Assignment P41 classified Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E24 Physical Man-Made Thing P62 depicts Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E31 Document P70 documents Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E32 Authority Document P71 lists Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E36 Visual Item P138 represents Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E63 Beginning of Existence P92 brought into existence Inference Logic – I3 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E64 End of Existence P93 took out of existence Inference Logic – I3 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E65 Creation P94 has created Inference Logic – I3 (is a E28 Conceptual Object) CIDOC-CRM version 6.2
E70 Thing P130 shows features of Inference Logic – I3 (is a E70 Thing) CIDOC-CRM version 6.2
E81 Transformation P123 resulted in Inference Logic – I3 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E81 Transformation P124 transformed Inference Logic – I3 (is a E77 Persistent Item) CIDOC-CRM version 6.2
E83 Type Creation P136 was based on Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E89 Propositional Object P129 is about Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
E89 Propositional Object P148 has component Inference Logic – I3 (is a E89 Propositional Object) CIDOC-CRM version 6.2
E89 Propositional Object P67 refers to Inference Logic – I3 (is a E1 CRM Entity) CIDOC-CRM version 6.2
histC1 Persistent item condition or characteristic histP4 pertainsTo Inference Logic – I3 (is a E77 Persistent Item) Data for History ontology, v.0.1 ongoing
histC2 Geographical localisation histP12 isLocationOf Inference Logic – I3 (is a E1 CRM Entity) Data for History ontology, v.0.1 ongoing
Thing Thing topObjectProperty Inference Logic – I3 (is a Thing Thing) The OWL 2 SCHEMA vocabulary(OWL 2)
F31 Performance R66 included performed version of Inference Logic – I3 (is a E89 Propositional Object) FRBRoo version 2.4
F35 Nomen Use Statement R38 refers to thema Inference Logic – I3 (is a E1 CRM Entity) FRBRoo version 2.4
F40 Identifier Assignment R45 assigned to Inference Logic – I3 (is a E1 CRM Entity) FRBRoo version 2.4
F51 Pursuit R59 had typical subject Inference Logic – I3 (is a E1 CRM Entity) FRBRoo version 2.4
F52 Name Use Activity R63 named Inference Logic – I3 (is a E1 CRM Entity) FRBRoo version 2.4
histC10 Appellation for language histP9 isAppellationOf Inference Logic – I3 (is a E1 CRM Entity) Data for History ontology, v.0.1 ongoing
S4 Observation O16 observed value (value was observed by) Inference Logic – I3 (is a E1 CRM Entity) CRMsci version 1.2.3
S4 Observation O8 observed (was observed by) Inference Logic – I3 (is a S15 Observable Entity) CRMsci version 1.2.3
S6 Data Evaluation O11 described (was described by) Inference Logic – I3 (is a S15 Observable Entity) CRMsci version 1.2.3
S21 Measurement O24 measured (was measured by) Inference Logic – I3 (is a S15 Observable Entity) CRMsci version 1.2.3
socE Bond socP6 to Inference Logic – I3 (is a E77 Persistent Item) CRMsoc version 0.1
D2 Digitization Process L60 documents Inference Logic – I3 (is a E1 CRM Entity) CRMdig version 3.2
D29 Annotation Object L43 annotates Inference Logic – I3 (is a E1 CRM Entity) CRMdig version 3.2

Profiles using this class

Label Start date End date Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments