About: Semantic reasoner

Property	Value
dbo:description	програмне забезпечення, котре може виводити логічні наслідки з набору постульованих фактів чи аксіом (uk) software able to infer logical consequences from a set of asserted facts or axioms (en) programska oprema, ki lahko sklepa o logičnih posledicah iz niza zatrjevanih dejstev ali aksiomov (sl)
dbo:wikiPageExternalLink	http://linkedopenreasoning.appspot.com/%3Fp=slorv2 https://dx.doi.org/10.1007/978-3-642-02121-3_9 http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-189/submission_23.pdf http://www.aifb.uni-karlsruhe.de/WBS/pha/publications/owlbenchmark_07_2007.pdf https://www.evrete.org https://github.com/kodymoodley/defeasibleinferenceplatform https://www.w3.org/2001/sw/wiki/OWL/Implementations http://www.w3.org/TR/rdf-sparql-query/
dbo:wikiPageWikiLink	dbr:First-order_predicate_logic dbr:Prova dbr:Business_rules_engine dbr:Drools dbr:Solver dbr:Semantic_Web_Rule_Language dbr:Rete_algorithm dbr:Ontology_language dbc:Knowledge_engineering dbr:Method_of_analytic_tableaux dbr:D3web dbr:Knowledge-based_systems dbr:Cyc dbr:Inference dbr:Web_Ontology_Language dbr:Protégé_(software) dbr:Backward_chaining dbr:Description_logic dbr:Doxastic_logic dbr:Logic_programming dbr:Apache_Marmotta dbr:Forward_chaining dbr:Inference_engine dbr:Logical_consequence dbr:Probabilistic_logic_network dbc:Knowledge_representation dbc:Semantic_Web dbc:Automated_reasoning dbr:Cwm_(software) dbc:Ontology_(information_science) dbc:Rule_engines dbr:Jena_(framework) dbr:Flora-2 dbr:Preferential_entailment dbr:Axioms dbr:Expert_systems dbr:Triple_store dbr:KAON2 dbr:F-Logic dbr:Inference_rules dbr:OWL-DL dbr:Non-axiomatic_reasoning_systems
dbp:bot	InternetArchiveBot (en)
dbp:date	May 2018 (en)
dbp:fixAttempted	yes (en)
dbp:wikiPageUsesTemplate	dbt:Portal dbt:Dead_link dbt:Redirect dbt:Reflist dbt:Semantic_Web dbt:Short_description
dct:subject	dbc:Knowledge_engineering dbc:Knowledge_representation dbc:Semantic_Web dbc:Automated_reasoning dbc:Ontology_(information_science) dbc:Rule_engines
gold:hypernym	dbr:Piece
rdfs:label	Semantic reasoner (en) Ragionatore automatico (it) Семантический механизм рассуждений (ru)
owl:sameAs	freebase:Semantic reasoner yago-res:Semantic reasoner wikidata:Semantic reasoner dbpedia-it:Semantic reasoner dbpedia-ru:Semantic reasoner dbpedia-global:Semantic reasoner
prov:wasDerivedFrom	wikipedia-en:Semantic_reasoner?oldid=1239527284&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Semantic_reasoner
is dbo:genre of	dbr:Apache_Marmotta
is dbo:wikiPageRedirects of	dbr:Reasoner dbr:Reasoning_engine dbr:Rule_engines dbr:List_of_semantic_reasoners dbr:Semantic_Reasoner
is dbo:wikiPageWikiLink of	dbr:Business_rules_engine dbr:Drools dbr:Semantic_wiki dbr:Solver dbr:Semantic_triple dbr:Ian_Horrocks dbr:Gene_Ontology dbr:Automated_reasoning dbr:Rule-based_system dbr:OBO_Foundry dbr:North_Side_Inc dbr:Cyc dbr:Ontology_engineering dbr:Web_Ontology_Language dbr:Adam_Parr dbr:Description_logic dbr:Statistical_relational_learning dbr:Workflow_engine dbr:Rights_Expression_Language dbr:Apache_Marmotta dbr:Apache_Jena dbr:Textual_entailment dbr:Cwm_(software) dbr:Vivification dbr:Reasoner dbr:Glossary_of_artificial_intelligence dbr:Reasoning_engine dbr:Rule_engines dbr:List_of_semantic_reasoners dbr:Semantic_Reasoner
is dbp:genre of	dbr:Apache_Marmotta
is foaf:primaryTopic of	wikipedia-en:Semantic_reasoner