View Triples for http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic

In-coming triples
Subject	Predicate	Object	Graph	Adapter
http://www.cidoc-crm.org/extensions/crminf/J3i_was_applied_by	http://www.w3.org/2000/01/rdf-schema#domain	http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/J3_applied	http://www.w3.org/2000/01/rdf-schema#range	http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend

Out-going triples
Subject	Predicate	Object	Graph	Adapter
http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/2002/07/owl#Class	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.w3.org/2000/01/rdf-schema#subClassOf	http://www.cidoc-crm.org/cidoc-crm/E89_Propositional_Object	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.w3.org/2000/01/rdf-schema#comment	"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 social models 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: - Dating using a reference typology - Use of parallels In First Order Logic: - I3(x) ⇒ E89(x) "@en	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.w3.org/2000/01/rdf-schema#label	"I3 Inference Logic"@en	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.w3.org/2004/02/skos/core#notation	"I3"	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I3_Inference_Logic	http://www.w3.org/2004/02/skos/core#prefLabel	"Inference Logic"@en	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend