| http://dbpedia.org/ontology/abstract
|
Un ragionatore automatico è un software in … Un ragionatore automatico è un software in grado di svolgere dei ragionamenti su delle basi di conoscenza adeguatamente formalizzate. Il ragionamento, in questo caso, è inteso come la capacità di elaborare la base di conoscenza secondo alcune regole, in modo da validare ed analizzare la base di conoscenza stessa. Le possibilità del ragionatore dipendono strettamente dal linguaggio adoperato per formalizzare la base di conoscenza.to per formalizzare la base di conoscenza.
, A semantic reasoner, reasoning engine, rul … 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.luding , and probabilistic logic networks.
, Семанти́ческий механи́зм рассужде́ний (анг … Семанти́ческий механи́зм рассужде́ний (англ. semantic reasoner), семанти́ческая машина формирования рассуждений (англ. reasoning engine) или движо́к пра́вил (англ. rules engine) — это часть программного обеспечения, способная вывести (англ. Logical consequence) из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга и (англ. Probabilistic logic network).нга и (англ. Probabilistic logic network).
|
| http://dbpedia.org/ontology/wikiPageExternalLink
|
https://www.w3.org/2001/sw/wiki/OWL/Implementations +
, https://www.evrete.org +
, 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 +
, http://linkedopenreasoning.appspot.com/%3Fp=slorv2 +
, http://www.w3.org/TR/rdf-sparql-query/ +
, https://dx.doi.org/10.1007/978-3-642-02121-3_9 +
, https://github.com/kodymoodley/defeasibleinferenceplatform +
|
| http://dbpedia.org/ontology/wikiPageID
|
13536810
|
| http://dbpedia.org/ontology/wikiPageLength
|
5554
|
| http://dbpedia.org/ontology/wikiPageRevisionID
|
1097330148
|
| http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/Logical_consequence +
, http://dbpedia.org/resource/Description_logic +
, http://dbpedia.org/resource/Jena_%28framework%29 +
, http://dbpedia.org/resource/First-order_predicate_logic +
, http://dbpedia.org/resource/Preferential_entailment +
, http://dbpedia.org/resource/F-Logic +
, http://dbpedia.org/resource/Doxastic_logic +
, http://dbpedia.org/resource/Category:Automated_reasoning +
, http://dbpedia.org/resource/Triple_store +
, http://dbpedia.org/resource/Non-axiomatic_reasoning_systems +
, http://dbpedia.org/resource/Backward_chaining +
, http://dbpedia.org/resource/Rete_algorithm +
, http://dbpedia.org/resource/Cwm_%28software%29 +
, http://dbpedia.org/resource/Drools +
, http://dbpedia.org/resource/Inference +
, http://dbpedia.org/resource/Semantic_Web_Rule_Language +
, http://dbpedia.org/resource/Flora-2 +
, http://dbpedia.org/resource/Inference_engine +
, http://dbpedia.org/resource/D3web +
, http://dbpedia.org/resource/Category:Knowledge_engineering +
, http://dbpedia.org/resource/Cyc +
, http://dbpedia.org/resource/Web_Ontology_Language +
, http://dbpedia.org/resource/Business_rules_engine +
, http://dbpedia.org/resource/Prot%C3%A9g%C3%A9_%28software%29 +
, http://dbpedia.org/resource/Logic_programming +
, http://dbpedia.org/resource/Forward_chaining +
, http://dbpedia.org/resource/Category:Semantic_Web +
, http://dbpedia.org/resource/Category:Ontology_%28information_science%29 +
, http://dbpedia.org/resource/Expert_systems +
, http://dbpedia.org/resource/Ontology_language +
, http://dbpedia.org/resource/Inference_rules +
, http://dbpedia.org/resource/Solver +
, http://dbpedia.org/resource/Knowledge-based_systems +
, http://dbpedia.org/resource/Category:Rule_engines +
, http://dbpedia.org/resource/Prova +
, http://dbpedia.org/resource/Probabilistic_logic_network +
, http://dbpedia.org/resource/Method_of_analytic_tableaux +
, http://dbpedia.org/resource/Category:Knowledge_representation +
, http://dbpedia.org/resource/OWL-DL +
, http://dbpedia.org/resource/KAON2 +
, http://dbpedia.org/resource/Axioms +
, http://dbpedia.org/resource/Apache_Marmotta +
|
| http://dbpedia.org/property/bot
|
InternetArchiveBot
|
| http://dbpedia.org/property/date
|
May 2018
|
| http://dbpedia.org/property/fixAttempted
|
yes
|
| http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Short_description +
, http://dbpedia.org/resource/Template:Redirect +
, http://dbpedia.org/resource/Template:Reflist +
, http://dbpedia.org/resource/Template:Semantic_Web +
, http://dbpedia.org/resource/Template:Dead_link +
, http://dbpedia.org/resource/Template:Computable_knowledge +
, http://dbpedia.org/resource/Template:Portal +
|
| http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Rule_engines +
, http://dbpedia.org/resource/Category:Automated_reasoning +
, http://dbpedia.org/resource/Category:Ontology_%28information_science%29 +
, http://dbpedia.org/resource/Category:Knowledge_engineering +
, http://dbpedia.org/resource/Category:Semantic_Web +
, http://dbpedia.org/resource/Category:Knowledge_representation +
|
| http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Piece +
|
| http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Semantic_reasoner?oldid=1097330148&ns=0 +
|
| http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Semantic_reasoner +
|
| owl:sameAs |
http://www.wikidata.org/entity/Q3929429 +
, http://dbpedia.org/resource/Semantic_reasoner +
, http://yago-knowledge.org/resource/Semantic_reasoner +
, http://rdf.freebase.com/ns/m.03c8pfx +
, https://global.dbpedia.org/id/3dRNm +
, http://it.dbpedia.org/resource/Ragionatore_automatico +
, http://ru.dbpedia.org/resource/%D0%A1%D0%B5%D0%BC%D0%B0%D0%BD%D1%82%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B8%D0%B9_%D0%BC%D0%B5%D1%85%D0%B0%D0%BD%D0%B8%D0%B7%D0%BC_%D1%80%D0%B0%D1%81%D1%81%D1%83%D0%B6%D0%B4%D0%B5%D0%BD%D0%B8%D0%B9 +
|
| rdf:type |
http://dbpedia.org/ontology/MusicalWork +
, http://dbpedia.org/class/yago/Instrumentality103575240 +
, http://dbpedia.org/class/yago/WikicatRuleEngines +
, http://dbpedia.org/class/yago/Engine103287733 +
, http://dbpedia.org/class/yago/PhysicalEntity100001930 +
, http://dbpedia.org/class/yago/Device103183080 +
, http://dbpedia.org/class/yago/Motor103789946 +
, http://dbpedia.org/class/yago/Artifact100021939 +
, http://dbpedia.org/class/yago/Whole100003553 +
, http://dbpedia.org/class/yago/Object100002684 +
, http://dbpedia.org/ontology/MusicGenre +
, http://dbpedia.org/class/yago/Machine103699975 +
|
| rdfs:comment |
A semantic reasoner, reasoning engine, rul … 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.luding , and probabilistic logic networks.
, Un ragionatore automatico è un software in … Un ragionatore automatico è un software in grado di svolgere dei ragionamenti su delle basi di conoscenza adeguatamente formalizzate. Il ragionamento, in questo caso, è inteso come la capacità di elaborare la base di conoscenza secondo alcune regole, in modo da validare ed analizzare la base di conoscenza stessa. Le possibilità del ragionatore dipendono strettamente dal linguaggio adoperato per formalizzare la base di conoscenza.to per formalizzare la base di conoscenza.
, Семанти́ческий механи́зм рассужде́ний (анг … Семанти́ческий механи́зм рассужде́ний (англ. semantic reasoner), семанти́ческая машина формирования рассуждений (англ. reasoning engine) или движо́к пра́вил (англ. rules engine) — это часть программного обеспечения, способная вывести (англ. Logical consequence) из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включаяоятностных механизмов рассуждений, включая
|
| rdfs:label |
Ragionatore automatico
, Semantic reasoner
, Семантический механизм рассуждений
|
