This HTML5 document contains 99 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n25http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-189/
n19http://linkedopenreasoning.appspot.com/
n14https://global.dbpedia.org/id/
n8http://www.aifb.uni-karlsruhe.de/WBS/pha/publications/
yagohttp://dbpedia.org/class/yago/
dbpedia-ruhttp://ru.dbpedia.org/resource/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n24https://dx.doi.org/10.1007/
n12https://github.com/kodymoodley/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n15http://www.w3.org/TR/rdf-sparql-query/
owlhttp://www.w3.org/2002/07/owl#
dbpedia-ithttp://it.dbpedia.org/resource/
n17https://
n7https://www.w3.org/2001/sw/wiki/OWL/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/

Statements

Subject Item
dbr:Semantic_reasoner
rdf:type
yago:Whole100003553 yago:Instrumentality103575240 yago:Engine103287733 yago:Object100002684 yago:Artifact100021939 yago:PhysicalEntity100001930 dbo:MusicalWork yago:Machine103699975 dbo:MusicGenre yago:WikicatRuleEngines yago:Device103183080 yago:Motor103789946
rdfs:label
Ragionatore automatico Семантический механизм рассуждений Semantic reasoner
rdfs: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. Семанти́ческий механи́зм рассужде́ний (англ. semantic reasoner), семанти́ческая машина формирования рассуждений (англ. reasoning engine) или движо́к пра́вил (англ. rules engine) — это часть программного обеспечения, способная вывести (англ. Logical consequence) из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая 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.
dct:subject
dbc:Rule_engines dbc:Ontology_(information_science) dbc:Knowledge_engineering dbc:Semantic_Web dbc:Knowledge_representation dbc:Automated_reasoning
dbo:wikiPageID
13536810
dbo:wikiPageRevisionID
1097330148
dbo:wikiPageWikiLink
dbr:Inference_rules dbc:Rule_engines dbr:Prova dbr:Backward_chaining dbr:Cyc dbr:Solver dbr:Knowledge-based_systems dbr:Expert_systems dbr:Logic_programming dbr:OWL-DL dbc:Ontology_(information_science) dbc:Knowledge_engineering dbr:Ontology_language dbr:Semantic_Web_Rule_Language dbr:KAON2 dbr:Probabilistic_logic_network dbr:Method_of_analytic_tableaux dbr:Flora-2 dbr:Protégé_(software) dbr:Description_logic dbr:Web_Ontology_Language dbr:F-Logic dbr:D3web dbr:Drools dbc:Knowledge_representation dbr:Logical_consequence dbr:Doxastic_logic dbr:First-order_predicate_logic dbr:Preferential_entailment dbc:Semantic_Web dbr:Forward_chaining dbr:Jena_(framework) dbr:Non-axiomatic_reasoning_systems dbc:Automated_reasoning dbr:Triple_store dbr:Business_rules_engine dbr:Rete_algorithm dbr:Apache_Marmotta dbr:Inference dbr:Axioms dbr:Inference_engine dbr:Cwm_(software)
dbo:wikiPageExternalLink
n7:Implementations n8:owlbenchmark_07_2007.pdf n12:defeasibleinferenceplatform n15: n17:www.evrete.org n19:%3Fp=slorv2 n24:978-3-642-02121-3_9 n25:submission_23.pdf
owl:sameAs
n14:3dRNm yago-res:Semantic_reasoner dbpedia-it:Ragionatore_automatico wikidata:Q3929429 freebase:m.03c8pfx dbpedia-ru:Семантический_механизм_рассуждений
dbp:wikiPageUsesTemplate
dbt:Computable_knowledge dbt:Redirect dbt:Dead_link dbt:Reflist dbt:Short_description dbt:Semantic_Web dbt:Portal
dbp:bot
InternetArchiveBot
dbp:date
May 2018
dbp:fixAttempted
yes
dbo:abstract
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. 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. Семанти́ческий механи́зм рассужде́ний (англ. semantic reasoner), семанти́ческая машина формирования рассуждений (англ. reasoning engine) или движо́к пра́вил (англ. rules engine) — это часть программного обеспечения, способная вывести (англ. Logical consequence) из набора адекватно формализованных базовых знаний или аксиом. Понятие семантического механизма рассуждений обобщает понятие машины вывода, предоставляя более богатый набор механизмов для работы. Правила вывода обычно определяются с помощью языка онтологий и часто языков описательной логики. Многие семантические механизмы рассуждений используют логику первого порядка для выполнения рассуждений; вывод обычно происходит путём прямой и обратной цепочек рассуждений. Существуют также примеры вероятностных механизмов рассуждений, включая неаксиоматическую систему рассуждений Пей Ванга и (англ. Probabilistic logic network).
gold:hypernym
dbr:Piece
prov:wasDerivedFrom
wikipedia-en:Semantic_reasoner?oldid=1097330148&ns=0
dbo:wikiPageLength
5554
foaf:isPrimaryTopicOf
wikipedia-en:Semantic_reasoner