@prefix owl:	<http://www.w3.org/2002/07/owl#> .
@prefix dbpedia:	<http://dbpedia.org/resource/> .
dbpedia:Inference	owl:sameAs	<http://rdf.freebase.com/ns/guid.9202a8c04000641f80000000001d020c> .
@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
@prefix ns3:	<http://en.wikipedia.org/wiki/> .
dbpedia:Inference	foaf:page	ns3:Inference .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
dbpedia:Inference	rdfs:label	"Infer\u00E8ncia"@ca ,
		"Inferencia"@es ,
		"Inf\u00E9rence"@fr ,
		"Gevolgtrekking"@nl ,
		"Inferen\u0163\u0103"@ro ,
		"Inference"@en ,
		"Wnioskowanie"@pl ,
		"Schlussfolgerung"@de ,
		"\u63A8\u8AD6"@ja ,
		"Inferenza"@it ,
		"Infer\u00EAncia"@pt .
@prefix dbpprop:	<http://dbpedia.org/property/> .
dbpedia:Inference	dbpprop:abstract	"Gevolgtrekking is het trekken van conclusies alleen op basis van reeds bestaande kennis. Binnen de wetenschap wordt de gevolgtrekking in verschillende vakken bestudeerd: De cognitieve psychologie bestudeert menselijke gevolgtrekking ofwel hoe mensen conclusies trekken. De logica bestudeert de wetten van de logische gevolgtrekking. De statistiek heeft formele regels ontwikkeld om conclusies te trekken uit kwantitatieve data. In de kunstmatige intelligentie ontwikkelen wetenschappers geautomatiseerde besluitvormingssystemen."@nl ,
		"Wnioskowanie jest to jedna z najbardziej podstawowych odmian rozumowania obok sprawdzania, dowodzenia i wyja\u015Bniania. Wnioskowa\u0107 - za Kazimierzem Ajdukiewiczem - znaczy tyle co na podstawie uprzednio uznanych zda\u0144 (s\u0105d\u00F3w) dochodzi\u0107 do uznania nowego (dot\u0105d nie uznawanego) zdania (s\u0105du), lub wzmacnia\u0107 pewno\u015B\u0107 z jak\u0105 nowe zdanie uznajemy. Zdania uznawane, na podstawie kt\u00F3rych dochodzimy do uznania lub wzmocnienia pewno\u015Bci nowego zdania nazywane s\u0105 przes\u0142ankami, za\u015B zdanie na ich podstawie uznane nazywany jest wnioskiem (konkluzj\u0105). Pomi\u0119dzy przes\u0142ankami a konkluzj\u0105 nie musi zachodzi\u0107 jaki\u015B szczeg\u00F3lny stosunek, a zw\u0142aszcza jedno z nich nie musi by\u0107 racj\u0105 dla drugiego \u2013 wnioskowanie mo\u017Ce by\u0107: (a) pewne albo prawdopodobne; (b) poprawne albo niepoprawne. Mo\u017Cna m\u00F3wi\u0107 o jego nast\u0119puj\u0105cych odmianach: o wnioskowaniu inferencyjnym, w kt\u00F3rym oderwa\u0107 mo\u017Cna wniosek od przes\u0142anek, jako o: dedukcyjnym, kt\u00F3re przybiera postaci: wnioskowania z przes\u0142anek og\u00F3lnych o wniosku szczeg\u00F3\u0142owym wnioskowania, w kt\u00F3rym przes\u0142anka jest racj\u0105 dla wniosku, gdzie oderwa\u0107 mo\u017Cna wniosek od przes\u0142anek; o wnioskowaniu indukcyjnym (enumeracyjnym lub eliminacyjnym) jako o wnioskowaniu ze szczeg\u00F3\u0142u o og\u00F3le (schemat: przedmiot x posiada w\u0142asno\u015B\u0107 p, przedmiot x posiada w\u0142asno\u015B\u0107 p, przedmiot x posiada w\u0142asno\u015B\u0107 p, ... , przedmiot x posiada w\u0142asno\u015B\u0107 p, a zatem ka\u017Cde x jest p. wnioskowaniu redukcyjnym jako o wnioskowaniu ze szczeg\u00F3\u0142u o szczeg\u00F3le - tzw. wnioskowanie przez analogi\u0119 (o wnioskowaniu redukcyjnym jako o wnioskowaniu z nast\u0119pstwa o racji; o wnioskowaniu nieinferencyjnym, w kt\u00F3rym nie stwierdza si\u0119 zwi\u0105zku pomi\u0119dzy przes\u0142ankami a konkluzj\u0105 ."@pl ,
		"Inferen\u0163a este acea component\u0103 a unui proces logic care deriv\u0103 o concluzie dintr-o premiz\u0103, adic\u0103 extrage o consecin\u0163\u0103 necesar\u0103, o informa\u0163ie specific\u0103, dintr-o descriere de stare dat\u0103. Inferen\u0163a sau deduc\u0163ia este componenta esen\u0163ial\u0103 a unui ra\u0163ionament, ea analizeaz\u0103 con\u0163inutul informa\u0163ional ini\u0163ial disponibil, formulat \u00EEntr-o propozi\u0163ie sau lan\u0163 de propozi\u0163ii, cerceteaz\u0103 con\u0163inutul fiec\u0103rei propozi\u0163ii, eventualei rela\u0163ii interne sau cu alte propozi\u0163ii, caut\u0103 dependen\u0163e \u00EEntre predicatele caracterizante de stare ale fiec\u0103rei propozi\u0163ii, face leg\u0103turi corelante, adic\u0103 inferen\u0163iale, maxim de probabile sau necesare, \u00EEntre propozi\u0163ii sau predicatele unei propozi\u0163ii \u015Fi ob\u0163ine sau deriv\u0103 o informa\u0163ie suplimentar\u0103. Schema general\u0103 a procesului inferen\u0163ial este urm\u0103toarea: Dac\u0103 are loc starea sau rela\u0163ia 'A', atunci urmeaz\u0103 s\u0103 aib\u0103 loc situa\u0163ia sau rela\u0163ia 'B', sau dac\u0103 exist\u0103 sau se \u00EEnt\u00E2mpl\u0103 'A \u015Fi B', \u00EEn aceast\u0103 ordine, va exista sau se va \u00EEnt\u00E2mpla 'C'. Sau: 'Dac\u0103 A atunci B', 'dac\u0103 C atunci D', asta \u00EEnsem\u00E2nd c\u0103 dac\u0103 constat\u0103m 'starea A', va urma 'starea B', iar dac\u0103 constat\u0103m 'starea C', consecin\u0163a necesar\u0103 va fi 'starea D'. Sunt posibile o varietate de moduri inferen\u0163iale, dependent de tipul de premize \u015Fi de corelarea \u00EEntre premize. Inferen\u0163ele se fac at\u00E2t \u00EEn spa\u0163iul formal al logicii, sau matematicii, permi\u0163\u00E2nd demonstrarea diferitelor afirma\u0163ii, dar \u015Fi \u00EEn spa\u0163iul evenimentelor naturale. Un exemplu de inferen\u0163\u0103 \u00EEn spa\u0163iul natural ar fi: Dac\u0103 undeva \u00EEn largul m\u0103rii sau \u00EEn interior, dar \u00EEn apropierea \u0163\u0103rmului, a avut loc un cutremur cu o anume magnitudine, baza\u0163i pe observa\u0163iile anterioare \u015Fi pe corelarea cauzal\u0103 \u00EEntre evenimente, putem infera urm\u0103toarele: Va apare un val de cutremur numit \u015Fi tsunami, cu o anume amplitidine, adic\u0103 \u00EEn\u0103l\u0163ime \u015Fi viteza de propagare, care poate invada o anume linie de \u0163\u0103rm joas\u0103, poate produce inunda\u0163ii fulger\u0103toare, masive \u015Fi distrugeri catrastrofale. \u00CEn consecin\u0163\u0103 imediat ce se \u00EEnregistreaz\u0103 cutremurul va trebui declan\u015Fat\u0103 o alarm\u0103 de aten\u0163ionare care s\u0103 pun\u0103 \u00EEn alert\u0103 \u015Fi s\u0103 evacueze sau preg\u0103teasc\u0103 pe cei care pot suferi consecin\u0163ele valului creat."@ro ,
		"Als Schlussfolgerung bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten: Eine Schlussfolgerung ist erstens ein sprachliches Gebilde, das aus einer Reihe von Aussagen einerseits, den Pr\u00E4missen oder Annahmen (zum Beispiel wissenschaftliche Hypothesen), und einer weiteren Aussage andererseits, der Konklusion, besteht. Ein solches Gebilde nennt man auch einen (logischen) Schluss oder ein Argument. Im Deutschen wird der \u00DCbergang zwischen Pr\u00E4missen und Konklusion oft mit W\u00F6rtern wie \u201Edeshalb\u201C, \u201Eaufgrund dessen\u201C, \u201Edarum\u201C, \u201Ealso\u201C oder \u201Eschlie\u00DFlich\u201C angedeutet. Man unterscheidet zwischen korrekten und inkorrekten Folgerungen (siehe dazu auch unten). Diese Unterscheidung ist f\u00FCr die Logik von zentraler Bedeutung, man kann die Logik geradezu als die Wissenschaft vom korrekten Folgern bezeichnen. In einem zweiten Sinne bezeichnet man als Schlussfolgerung einen Teil des eben angesprochenen sprachlichen Gebildes, n\u00E4mlich die Konklusion. F\u00FCr diese existieren auch die Synonyme Conclusio oder Schlusssatz. In der Rhetorik wird das Wort \u201EKonklusion\u201C auch allgemein f\u00FCr den Abschluss einer Rede gebraucht. Als Schlussfolgerung bezeichnet man drittens das Ergebnis des Nachdenkens, also das (meist schrittweise) Erkennen von Folgerungen, bzw. das Durchf\u00FChren eines Beweises. Diese Schlussfolgerungen k\u00F6nnen auch aus unbewussten kulturellen, sozialen oder religi\u00F6sen Hintergrundannahmen gezogen werden. In der Informatik und der Statistik wird die Schlussfolgerung auch gelegentlich mit dem sonst im Deutschen un\u00FCblichen Fremdwort \u201EInferenz\u201C bezeichnet, wohl als \u00DCbersetzung des englischen \u201Einference\u201C (Schluss, Folgerung); meist aber wird das Wort \u201EInferenz\u201C in der Informatik spezieller f\u00FCr solche Schlussfolgerungen verwendet, die automatisiert, d. h. computergest\u00FCtzt, gezogen wurden."@de ,
		"La infer\u00E8ncia \u00E9s l'acte o el proc\u00E9s en qu\u00E8 hom deriva una conclusi\u00F3 a partir d'unes premisses. La infer\u00E8ncia s'estudia des de diversos camps: La infer\u00E8ncia humana, \u00E9s a dir, la descripci\u00F3 de la manera com els humans deriven conclusions en llur raonament quotidi\u00E0, \u00E9s un tema del qual se n'ocupa la Psicologia cognitiva. La L\u00F2gica les lleis de la infer\u00E8ncia correcta. L'Estad\u00EDstica ha desenvolupat m\u00E8todes que permeten fer infer\u00E8ncia a partir de dades quantitatives. La Intel\u00B7lig\u00E8ncia artificial desenvolupa sistemes d'infer\u00E8ncia autom\u00E0tica."@ca ,
		"Infer\u00EAncia:\u00C9 uma conex\u00E3o indireta entre assuntos. \u00C9 uma ila\u00E7\u00E3o ou dedu\u00E7\u00E3o. Nota: Para outros significados de Infer\u00EAncia, ver Infer\u00EAncia (desambigua\u00E7\u00E3o). Em l\u00F3gica, infer\u00EAncia \u00E9 a passagem, atrav\u00E9s de regras v\u00E1lidas, do antecedente ao conseq\u00FCente de um argumento. Contudo, tanto em Coaching quanto em Trabalho Organizacional, a infer\u00EAncia \u00E9 aplicada em formato de ferramenta - a Escada da Infer\u00EAncia. Essa teoria foi desenvolvida por Chris Argyris, atrav\u00E9s de uma pesquisa em 1990, com o t\u00EDtulo de Ladder of Inference, e mostra que adotamos cren\u00E7as baseadas em conclus\u00F5es inferidas do que observamos e nem sempre comprovadas, acrescidas por experi\u00EAncias passadas. Fontes Trecho de artigo: http://www. onepine. info/pargy. htm (tradu\u00E7\u00E3o) Integrated Coaching Certification - Integrated Coaching Institute: capacita\u00E7\u00E3o em desenvolvimento de capital humano e compet\u00EAncias comportamentais"@pt ,
		"Inference the act or process of Inference is studied within several different fields. Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of cognitive psychology. Logic studies the laws of valid inference. Statisticians have developed formal rules for inference from quantitative data. Artificial intelligence researchers develop automated inference systems."@en ,
		"L'inferenza \u00E8 il processo con il quale da una proposizione accolta come vera, si passa a una proposizione la cui verit\u00E0 \u00E8 considerata contenuta nella prima. Inferire \u00E8 quindi trarre una conclusione. Inferire X significa concludere che X \u00E8 vero; un'inferenza \u00E8 la conclusione tratta da un insieme di fatti o circostanze. Gran parte dello studio della logica esplora la validit\u00E0 o non validit\u00E0 di inferenze e implicazioni. Esiste una differenza tra implicare e inferire. Se scriviamo che tutti gli uomini sono mortali e Socrate \u00E8 un uomo, implichiamo che Socrate \u00E8 mortale, ma un lettore cos\u00EC attento da notare la nostra implicazione e pensare: \"Quindi Socrate \u00E8 mortale. \", inferisce che Socrate \u00E8 mortale."@it ,
		"\u63A8\u8AD6\uFF08\u3059\u3044\u308D\u3093\u3001\u82F1\u8A9E&#58; inference, reasoning\uFF09\u3068\u306F\u3001\u6839\u62E0\u3068\u306A\u308B\u4E8B\u67C4\u306B\u57FA\u3065\u3044\u3066\u5225\u306E\u4E8B\u67C4\u3092\u7D50\u8AD6\u3068\u3057\u3066\u5C0E\u304F\u884C\u70BA\u3001\u304A\u3088\u3073\u305D\u306E\u884C\u70BA\u306E\u904E\u7A0B\u306E\u4E8B\u3067\u3042\u308B\u3002"@ja ,
		"L'inf\u00E9rence est une op\u00E9ration mentale, ou jugement, qui consiste \u00E0 tirer une conclusion (d'une s\u00E9rie de propositions reconnues pour vraies). Ces conclusions sont tir\u00E9es \u00E0 partir de r\u00E8gles de base. Dans sa d\u00E9finition classique, l'inf\u00E9rence est une op\u00E9ration logique portant sur des propositions tenues pour vraies et concluant \u00E0 la v\u00E9rit\u00E9 d'une nouvelle proposition en vertu de sa liaison avec les premi\u00E8res. C'est pourquoi l'inf\u00E9rence est souvent r\u00E9duite \u00E0 la d\u00E9duction n\u00E9cessaire dans laquelle la v\u00E9rit\u00E9 des pr\u00E9misses assure totalement la v\u00E9rit\u00E9 de la conclusion. Cependant, selon certains th\u00E9oriciens, la pens\u00E9e n'op\u00E8re pas sur des propositions mais sur des signes. On est donc conduit, pour rendre compte de la s\u00E9miosis, \u00E0 \u00E9largir la notion d'inf\u00E9rence \u00E0 des op\u00E9rations portant sur des symboles dicents (des quasi-propositions) et \u00E0 remplacer la notion de v\u00E9rit\u00E9 d'une proposition par celle de r\u00E9alit\u00E9 d'une repr\u00E9sentation pour un interpr\u00E8te particulier. Cette conception de l'inf\u00E9rence ouvre le champ \u00E0 la description des op\u00E9rations r\u00E9ellement effectu\u00E9es dans la vie quotidienne et lib\u00E8re des contraintes impos\u00E9es par le point de vue qui s'en tient uniquement \u00E0 la production de v\u00E9rit\u00E9s universelles, c\u2019est-\u00E0-dire aux arguments valides. C'est ainsi que l'acte de poser une hypoth\u00E8se qui consiste \u00E0 tenir pour vraie, au moins provisoirement, une proposition n'entretenant aucun lien logique n\u00E9cessaire avec les pr\u00E9misses aura droit de cit\u00E9 dans cette perspective. On l'observe en effet dans toute activit\u00E9 de recherche dont elle constitue la part d'invention possible. Cela nous conduira \u00E0 distinguer trois types d'inf\u00E9rence : la d\u00E9duction, l'induction et l'abduction. Ce sont les trois types de raisonnement formalis\u00E9s par Pierce en 1903."@fr ,
		"Una inferencia es una evaluaci\u00F3n que realiza la mente entre conceptos que, al interactuar, muestran sus propiedades de forma discreta, necesitando utilizar la abstracci\u00F3n para lograr entender las unidades que componen el problema, creando un punto axiom\u00E1tico o circunstancial, que nos permitir\u00E1 trazar una l\u00EDnea l\u00F3gica de causa-efecto, entre los diferentes puntos inferidos en la resoluci\u00F3n del problema. Una vez resuelto el problema, nace lo que conocemos como postulado, o una transformada de la original, que al estar enmarcado en un contexto referencial distinto, se obtiene un significado equivalente. Utilizada a menudo en los motores de inferencia de los Sistemas Expertos."@es ;
	rdfs:comment	"La infer\u00E8ncia \u00E9s l'acte o el proc\u00E9s en qu\u00E8 hom deriva una conclusi\u00F3 a partir d'unes premisses. La infer\u00E8ncia s'estudia des de diversos camps: La infer\u00E8ncia humana, \u00E9s a dir, la descripci\u00F3 de la manera com els humans deriven conclusions en llur raonament quotidi\u00E0, \u00E9s un tema del qual se n'ocupa la Psicologia cognitiva. La L\u00F2gica les lleis de la infer\u00E8ncia correcta. L'Estad\u00EDstica ha desenvolupat m\u00E8todes que permeten fer infer\u00E8ncia a partir de dades quantitatives."@ca ,
		"Una inferencia es una evaluaci\u00F3n que realiza la mente entre conceptos que, al interactuar, muestran sus propiedades de forma discreta, necesitando utilizar la abstracci\u00F3n para lograr entender las unidades que componen el problema, creando un punto axiom\u00E1tico o circunstancial, que nos permitir\u00E1 trazar una l\u00EDnea l\u00F3gica de causa-efecto, entre los diferentes puntos inferidos en la resoluci\u00F3n del problema."@es ,
		"Infer\u00EAncia:\u00C9 uma conex\u00E3o indireta entre assuntos. \u00C9 uma ila\u00E7\u00E3o ou dedu\u00E7\u00E3o. Nota: Para outros significados de Infer\u00EAncia, ver Infer\u00EAncia (desambigua\u00E7\u00E3o). Em l\u00F3gica, infer\u00EAncia \u00E9 a passagem, atrav\u00E9s de regras v\u00E1lidas, do antecedente ao conseq\u00FCente de um argumento. Contudo, tanto em Coaching quanto em Trabalho Organizacional, a infer\u00EAncia \u00E9 aplicada em formato de ferramenta - a Escada da Infer\u00EAncia."@pt ,
		"Als Schlussfolgerung bezeichnet man in der Logik einen von drei eng miteinander verwandten Sachverhalten: Eine Schlussfolgerung ist erstens ein sprachliches Gebilde, das aus einer Reihe von Aussagen einerseits, den Pr\u00E4missen oder Annahmen (zum Beispiel wissenschaftliche Hypothesen), und einer weiteren Aussage andererseits, der Konklusion, besteht. Ein solches Gebilde nennt man auch einen (logischen) Schluss oder ein Argument."@de ,
		"Inferen\u0163a este acea component\u0103 a unui proces logic care deriv\u0103 o concluzie dintr-o premiz\u0103, adic\u0103 extrage o consecin\u0163\u0103 necesar\u0103, o informa\u0163ie specific\u0103, dintr-o descriere de stare dat\u0103."@ro ,
		"Gevolgtrekking is het trekken van conclusies alleen op basis van reeds bestaande kennis. Binnen de wetenschap wordt de gevolgtrekking in verschillende vakken bestudeerd: De cognitieve psychologie bestudeert menselijke gevolgtrekking ofwel hoe mensen conclusies trekken. De logica bestudeert de wetten van de logische gevolgtrekking. De statistiek heeft formele regels ontwikkeld om conclusies te trekken uit kwantitatieve data."@nl ,
		"L'inferenza \u00E8 il processo con il quale da una proposizione accolta come vera, si passa a una proposizione la cui verit\u00E0 \u00E8 considerata contenuta nella prima. Inferire \u00E8 quindi trarre una conclusione. Inferire X significa concludere che X \u00E8 vero; un'inferenza \u00E8 la conclusione tratta da un insieme di fatti o circostanze. Gran parte dello studio della logica esplora la validit\u00E0 o non validit\u00E0 di inferenze e implicazioni. Esiste una differenza tra implicare e inferire."@it ,
		"L'inf\u00E9rence est une op\u00E9ration mentale, ou jugement, qui consiste \u00E0 tirer une conclusion (d'une s\u00E9rie de propositions reconnues pour vraies). Ces conclusions sont tir\u00E9es \u00E0 partir de r\u00E8gles de base. Dans sa d\u00E9finition classique, l'inf\u00E9rence est une op\u00E9ration logique portant sur des propositions tenues pour vraies et concluant \u00E0 la v\u00E9rit\u00E9 d'une nouvelle proposition en vertu de sa liaison avec les premi\u00E8res."@fr ,
		"Inference the act or process of Inference is studied within several different fields. Human inference (i.e. how humans draw conclusions) is traditionally studied within the field of cognitive psychology. Logic studies the laws of valid inference. Statisticians have developed formal rules for inference from quantitative data. Artificial intelligence researchers develop automated inference systems."@en ,
		"\u63A8\u8AD6\uFF08\u3059\u3044\u308D\u3093\u3001\u82F1\u8A9E&#58; inference, reasoning\uFF09\u3068\u306F\u3001\u6839\u62E0\u3068\u306A\u308B\u4E8B\u67C4\u306B\u57FA\u3065\u3044\u3066\u5225\u306E\u4E8B\u67C4\u3092\u7D50\u8AD6\u3068\u3057\u3066\u5C0E\u304F\u884C\u70BA\u3001\u304A\u3088\u3073\u305D\u306E\u884C\u70BA\u306E\u904E\u7A0B\u306E\u4E8B\u3067\u3042\u308B\u3002"@ja ,
		"Wnioskowanie jest to jedna z najbardziej podstawowych odmian rozumowania obok sprawdzania, dowodzenia i wyja\u015Bniania. Wnioskowa\u0107 - za Kazimierzem Ajdukiewiczem - znaczy tyle co na podstawie uprzednio uznanych zda\u0144 (s\u0105d\u00F3w) dochodzi\u0107 do uznania nowego (dot\u0105d nie uznawanego) zdania (s\u0105du), lub wzmacnia\u0107 pewno\u015B\u0107 z jak\u0105 nowe zdanie uznajemy."@pl .
@prefix skos:	<http://www.w3.org/2004/02/skos/core#> .
@prefix ns7:	<http://dbpedia.org/resource/Category:> .
dbpedia:Inference	skos:subject	ns7:Sources_of_knowledge ,
		ns7:Logic ,
		ns7:Logic_and_statistics .
@prefix ns8:	<http://dbpedia.org/resource/Template:> .
dbpedia:Inference	dbpprop:wikiPageUsesTemplate	ns8:wiktionary ,
		ns8:expert-subject ;
	dbpprop:date	"November 2008"@en .
@prefix ns9:	<http://dbpedia.org/resource/Inference/> .
dbpedia:Inference	dbpprop:relatedInstance	ns9:portal1 ;
	dbpprop:wiktionaryProperty	"inference"@en ,
		"infer"@en .
@prefix ns10:	<http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/> .
dbpedia:Inference	dbpprop:hasPhotoCollection	ns10:Inference .
dbpedia:Infers	dbpprop:redirect	dbpedia:Inference .
dbpedia:Inference_procedure	dbpprop:redirect	dbpedia:Inference .
dbpedia:Inference_technique	dbpprop:redirect	dbpedia:Inference .
dbpedia:Inferences	dbpprop:redirect	dbpedia:Inference .
dbpedia:Inferring	dbpprop:redirect	dbpedia:Inference .
dbpedia:Infer	dbpprop:redirect	dbpedia:Inference .
dbpedia:Inferencing	dbpprop:redirect	dbpedia:Inference .
dbpedia:Inferred	dbpprop:redirect	dbpedia:Inference .
dbpedia:Logical_inference	dbpprop:redirect	dbpedia:Inference .
dbpedia:Rational_inference	dbpprop:redirect	dbpedia:Inference .