<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Whole100003553> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Instrumentality103575240> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Computable_knowledge> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<https://www.w3.org/2001/sw/wiki/OWL/Implementations> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Inference_rules> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<http://www.aifb.uni-karlsruhe.de/WBS/pha/publications/owlbenchmark_07_2007.pdf> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2000/01/rdf-schema#comment>	"A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description logic language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including , and probabilistic logic networks."@en .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Rule_engines> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Prova> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Backward_chaining> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Cyc> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/abstract>	"Un ragionatore automatico \u00E8 un software in grado di svolgere dei ragionamenti su delle basi di conoscenza adeguatamente formalizzate. Il ragionamento, in questo caso, \u00E8 inteso come la capacit\u00E0 di elaborare la base di conoscenza secondo alcune regole, in modo da validare ed analizzare la base di conoscenza stessa. Le possibilit\u00E0 del ragionatore dipendono strettamente dal linguaggio adoperato per formalizzare la base di conoscenza."@it .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Rule_engines> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Solver> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<https://github.com/kodymoodley/defeasibleinferenceplatform> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Redirect> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Engine103287733> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2002/07/owl#sameAs>	<https://global.dbpedia.org/id/3dRNm> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Knowledge-based_systems> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<http://www.w3.org/TR/rdf-sparql-query/> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/date>	"May 2018"@en .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2000/01/rdf-schema#comment>	"\u0421\u0435\u043C\u0430\u043D\u0442\u0438\u0301\u0447\u0435\u0441\u043A\u0438\u0439 \u043C\u0435\u0445\u0430\u043D\u0438\u0301\u0437\u043C \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u0301\u043D\u0438\u0439 (\u0430\u043D\u0433\u043B. semantic reasoner), \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u0301\u0447\u0435\u0441\u043A\u0430\u044F \u043C\u0430\u0448\u0438\u043D\u0430 \u0444\u043E\u0440\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 (\u0430\u043D\u0433\u043B. reasoning engine) \u0438\u043B\u0438 \u0434\u0432\u0438\u0436\u043E\u0301\u043A \u043F\u0440\u0430\u0301\u0432\u0438\u043B (\u0430\u043D\u0433\u043B. rules engine) \u2014 \u044D\u0442\u043E \u0447\u0430\u0441\u0442\u044C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F, \u0441\u043F\u043E\u0441\u043E\u0431\u043D\u0430\u044F \u0432\u044B\u0432\u0435\u0441\u0442\u0438 (\u0430\u043D\u0433\u043B. Logical consequence) \u0438\u0437 \u043D\u0430\u0431\u043E\u0440\u0430 \u0430\u0434\u0435\u043A\u0432\u0430\u0442\u043D\u043E \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u043D\u044B\u0445 \u0431\u0430\u0437\u043E\u0432\u044B\u0445 \u0437\u043D\u0430\u043D\u0438\u0439 \u0438\u043B\u0438 \u0430\u043A\u0441\u0438\u043E\u043C. \u041F\u043E\u043D\u044F\u0442\u0438\u0435 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u0430 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 \u043E\u0431\u043E\u0431\u0449\u0430\u0435\u0442 \u043F\u043E\u043D\u044F\u0442\u0438\u0435 \u043C\u0430\u0448\u0438\u043D\u044B \u0432\u044B\u0432\u043E\u0434\u0430, \u043F\u0440\u0435\u0434\u043E\u0441\u0442\u0430\u0432\u043B\u044F\u044F \u0431\u043E\u043B\u0435\u0435 \u0431\u043E\u0433\u0430\u0442\u044B\u0439 \u043D\u0430\u0431\u043E\u0440 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u043E\u0432 \u0434\u043B\u044F \u0440\u0430\u0431\u043E\u0442\u044B. \u041F\u0440\u0430\u0432\u0438\u043B\u0430 \u0432\u044B\u0432\u043E\u0434\u0430 \u043E\u0431\u044B\u0447\u043D\u043E \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u044F\u044E\u0442\u0441\u044F \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u044F\u0437\u044B\u043A\u0430 \u043E\u043D\u0442\u043E\u043B\u043E\u0433\u0438\u0439 \u0438 \u0447\u0430\u0441\u0442\u043E \u044F\u0437\u044B\u043A\u043E\u0432 \u043E\u043F\u0438\u0441\u0430\u0442\u0435\u043B\u044C\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438. \u041C\u043D\u043E\u0433\u0438\u0435 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u044B \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044E\u0442 \u043B\u043E\u0433\u0438\u043A\u0443 \u043F\u0435\u0440\u0432\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0430 \u0434\u043B\u044F \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439; \u0432\u044B\u0432\u043E\u0434 \u043E\u0431\u044B\u0447\u043D\u043E \u043F\u0440\u043E\u0438\u0441\u0445\u043E\u0434\u0438\u0442 \u043F\u0443\u0442\u0451\u043C \u043F\u0440\u044F\u043C\u043E\u0439 \u0438 \u043E\u0431\u0440\u0430\u0442\u043D\u043E\u0439 \u0446\u0435\u043F\u043E\u0447\u0435\u043A \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439. \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044E\u0442 \u0442\u0430\u043A\u0436\u0435 \u043F\u0440\u0438\u043C\u0435\u0440\u044B \u0432\u0435\u0440\u043E\u044F\u0442\u043D\u043E\u0441\u0442\u043D\u044B\u0445 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u043E\u0432 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439, \u0432\u043A\u043B\u044E\u0447\u0430\u044F"@ru .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2002/07/owl#sameAs>	<http://yago-knowledge.org/resource/Semantic_reasoner> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageID>	"13536810"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Expert_systems> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Logic_programming> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/OWL-DL> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Dead_link> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<https://www.evrete.org> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Ontology_(information_science)> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://purl.org/linguistics/gold/hypernym>	<http://dbpedia.org/resource/Piece> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Knowledge_engineering> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Ontology_(information_science)> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Ontology_language> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Semantic_Web_Rule_Language> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/KAON2> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Knowledge_engineering> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Probabilistic_logic_network> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<http://linkedopenreasoning.appspot.com/%3Fp=slorv2> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Reflist> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Method_of_analytic_tableaux> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Object100002684> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2000/01/rdf-schema#label>	"Ragionatore automatico"@it .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Short_description> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageRevisionID>	"1097330148"^^<http://www.w3.org/2001/XMLSchema#integer> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Semantic_Web> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Flora-2> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Prot\u00E9g\u00E9_(software)> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Description_logic> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Web_Ontology_Language> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/fixAttempted>	"yes"@en .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/F-Logic> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageLength>	"5554"^^<http://www.w3.org/2001/XMLSchema#nonNegativeInteger> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2002/07/owl#sameAs>	<http://it.dbpedia.org/resource/Ragionatore_automatico> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/D3web> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Drools> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2002/07/owl#sameAs>	<http://www.wikidata.org/entity/Q3929429> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Artifact100021939> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2002/07/owl#sameAs>	<http://rdf.freebase.com/ns/m.03c8pfx> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2000/01/rdf-schema#comment>	"Un ragionatore automatico \u00E8 un software in grado di svolgere dei ragionamenti su delle basi di conoscenza adeguatamente formalizzate. Il ragionamento, in questo caso, \u00E8 inteso come la capacit\u00E0 di elaborare la base di conoscenza secondo alcune regole, in modo da validare ed analizzare la base di conoscenza stessa. Le possibilit\u00E0 del ragionatore dipendono strettamente dal linguaggio adoperato per formalizzare la base di conoscenza."@it .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Knowledge_representation> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Logical_consequence> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/PhysicalEntity100001930> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/bot>	"InternetArchiveBot"@en .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2002/07/owl#sameAs>	<http://ru.dbpedia.org/resource/\u0421\u0435\u043C\u0430\u043D\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0439_\u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C_\u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Semantic_Web> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/MusicalWork> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Knowledge_representation> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Doxastic_logic> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/First-order_predicate_logic> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Machine103699975> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/ontology/MusicGenre> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Preferential_entailment> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/abstract>	"A semantic reasoner, reasoning engine, rules engine, or simply a reasoner, is a piece of software able to infer logical consequences from a set of asserted facts or axioms. The notion of a semantic reasoner generalizes that of an inference engine, by providing a richer set of mechanisms to work with. The inference rules are commonly specified by means of an ontology language, and often a description logic language. Many reasoners use first-order predicate logic to perform reasoning; inference commonly proceeds by forward chaining and backward chaining. There are also examples of probabilistic reasoners, including , and probabilistic logic networks."@en .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/WikicatRuleEngines> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Semantic_Web> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Forward_chaining> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Jena_(framework)> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Non-axiomatic_reasoning_systems> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Category:Automated_reasoning> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/abstract>	"\u0421\u0435\u043C\u0430\u043D\u0442\u0438\u0301\u0447\u0435\u0441\u043A\u0438\u0439 \u043C\u0435\u0445\u0430\u043D\u0438\u0301\u0437\u043C \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u0301\u043D\u0438\u0439 (\u0430\u043D\u0433\u043B. semantic reasoner), \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u0301\u0447\u0435\u0441\u043A\u0430\u044F \u043C\u0430\u0448\u0438\u043D\u0430 \u0444\u043E\u0440\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 (\u0430\u043D\u0433\u043B. reasoning engine) \u0438\u043B\u0438 \u0434\u0432\u0438\u0436\u043E\u0301\u043A \u043F\u0440\u0430\u0301\u0432\u0438\u043B (\u0430\u043D\u0433\u043B. rules engine) \u2014 \u044D\u0442\u043E \u0447\u0430\u0441\u0442\u044C \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u043D\u043E\u0433\u043E \u043E\u0431\u0435\u0441\u043F\u0435\u0447\u0435\u043D\u0438\u044F, \u0441\u043F\u043E\u0441\u043E\u0431\u043D\u0430\u044F \u0432\u044B\u0432\u0435\u0441\u0442\u0438 (\u0430\u043D\u0433\u043B. Logical consequence) \u0438\u0437 \u043D\u0430\u0431\u043E\u0440\u0430 \u0430\u0434\u0435\u043A\u0432\u0430\u0442\u043D\u043E \u0444\u043E\u0440\u043C\u0430\u043B\u0438\u0437\u043E\u0432\u0430\u043D\u043D\u044B\u0445 \u0431\u0430\u0437\u043E\u0432\u044B\u0445 \u0437\u043D\u0430\u043D\u0438\u0439 \u0438\u043B\u0438 \u0430\u043A\u0441\u0438\u043E\u043C. \u041F\u043E\u043D\u044F\u0442\u0438\u0435 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u0447\u0435\u0441\u043A\u043E\u0433\u043E \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u0430 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 \u043E\u0431\u043E\u0431\u0449\u0430\u0435\u0442 \u043F\u043E\u043D\u044F\u0442\u0438\u0435 \u043C\u0430\u0448\u0438\u043D\u044B \u0432\u044B\u0432\u043E\u0434\u0430, \u043F\u0440\u0435\u0434\u043E\u0441\u0442\u0430\u0432\u043B\u044F\u044F \u0431\u043E\u043B\u0435\u0435 \u0431\u043E\u0433\u0430\u0442\u044B\u0439 \u043D\u0430\u0431\u043E\u0440 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u043E\u0432 \u0434\u043B\u044F \u0440\u0430\u0431\u043E\u0442\u044B. \u041F\u0440\u0430\u0432\u0438\u043B\u0430 \u0432\u044B\u0432\u043E\u0434\u0430 \u043E\u0431\u044B\u0447\u043D\u043E \u043E\u043F\u0440\u0435\u0434\u0435\u043B\u044F\u044E\u0442\u0441\u044F \u0441 \u043F\u043E\u043C\u043E\u0449\u044C\u044E \u044F\u0437\u044B\u043A\u0430 \u043E\u043D\u0442\u043E\u043B\u043E\u0433\u0438\u0439 \u0438 \u0447\u0430\u0441\u0442\u043E \u044F\u0437\u044B\u043A\u043E\u0432 \u043E\u043F\u0438\u0441\u0430\u0442\u0435\u043B\u044C\u043D\u043E\u0439 \u043B\u043E\u0433\u0438\u043A\u0438. \u041C\u043D\u043E\u0433\u0438\u0435 \u0441\u0435\u043C\u0430\u043D\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0435 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u044B \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 \u0438\u0441\u043F\u043E\u043B\u044C\u0437\u0443\u044E\u0442 \u043B\u043E\u0433\u0438\u043A\u0443 \u043F\u0435\u0440\u0432\u043E\u0433\u043E \u043F\u043E\u0440\u044F\u0434\u043A\u0430 \u0434\u043B\u044F \u0432\u044B\u043F\u043E\u043B\u043D\u0435\u043D\u0438\u044F \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439; \u0432\u044B\u0432\u043E\u0434 \u043E\u0431\u044B\u0447\u043D\u043E \u043F\u0440\u043E\u0438\u0441\u0445\u043E\u0434\u0438\u0442 \u043F\u0443\u0442\u0451\u043C \u043F\u0440\u044F\u043C\u043E\u0439 \u0438 \u043E\u0431\u0440\u0430\u0442\u043D\u043E\u0439 \u0446\u0435\u043F\u043E\u0447\u0435\u043A \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439. \u0421\u0443\u0449\u0435\u0441\u0442\u0432\u0443\u044E\u0442 \u0442\u0430\u043A\u0436\u0435 \u043F\u0440\u0438\u043C\u0435\u0440\u044B \u0432\u0435\u0440\u043E\u044F\u0442\u043D\u043E\u0441\u0442\u043D\u044B\u0445 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C\u043E\u0432 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439, \u0432\u043A\u043B\u044E\u0447\u0430\u044F \u043D\u0435\u0430\u043A\u0441\u0438\u043E\u043C\u0430\u0442\u0438\u0447\u0435\u0441\u043A\u0443\u044E \u0441\u0438\u0441\u0442\u0435\u043C\u0443 \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439 \u041F\u0435\u0439 \u0412\u0430\u043D\u0433\u0430 \u0438 (\u0430\u043D\u0433\u043B. Probabilistic logic network)."@ru .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<https://dx.doi.org/10.1007/978-3-642-02121-3_9> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Triple_store> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Business_rules_engine> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageExternalLink>	<http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-189/submission_23.pdf> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Rete_algorithm> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Apache_Marmotta> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2000/01/rdf-schema#label>	"\u0421\u0435\u043C\u0430\u043D\u0442\u0438\u0447\u0435\u0441\u043A\u0438\u0439 \u043C\u0435\u0445\u0430\u043D\u0438\u0437\u043C \u0440\u0430\u0441\u0441\u0443\u0436\u0434\u0435\u043D\u0438\u0439"@ru .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Device103183080> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://purl.org/dc/terms/subject>	<http://dbpedia.org/resource/Category:Automated_reasoning> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://xmlns.com/foaf/0.1/isPrimaryTopicOf>	<http://en.wikipedia.org/wiki/Semantic_reasoner> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/1999/02/22-rdf-syntax-ns#type>	<http://dbpedia.org/class/yago/Motor103789946> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/2000/01/rdf-schema#label>	"Semantic reasoner"@en .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Inference> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/property/wikiPageUsesTemplate>	<http://dbpedia.org/resource/Template:Portal> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Axioms> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Inference_engine> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://dbpedia.org/ontology/wikiPageWikiLink>	<http://dbpedia.org/resource/Cwm_(software)> .
<http://dbpedia.org/resource/Semantic_reasoner>	<http://www.w3.org/ns/prov#wasDerivedFrom>	<http://en.wikipedia.org/wiki/Semantic_reasoner?oldid=1097330148&ns=0> .