DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Semantic_reasoner> ?p ?o }

• Semantic_reasoner 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 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 Pei Wang's non-axiomatic reasoning system, and probabilistic logic networks.".
• Semantic_reasoner wikiPageExternalLink ergo-suite-platform-technology.
• Semantic_reasoner wikiPageExternalLink 978-3-642-02121-3_9.
• Semantic_reasoner wikiPageExternalLink flora.sourceforge.net.
• Semantic_reasoner wikiPageExternalLink jena.apache.org.
• Semantic_reasoner wikiPageExternalLink opencyc.org.
• Semantic_reasoner wikiPageExternalLink prova.ws.
• Semantic_reasoner wikiPageExternalLink research.cyc.com.
• Semantic_reasoner wikiPageExternalLink rulebench.projects.semwebcentral.org.
• Semantic_reasoner wikiPageExternalLink submission_23.pdf.
• Semantic_reasoner wikiPageExternalLink dot15926Editor.
• Semantic_reasoner wikiPageExternalLink owl-properties.html.
• Semantic_reasoner wikiPageExternalLink owlbenchmark_07_2007.pdf.
• Semantic_reasoner wikiPageExternalLink course.
• Semantic_reasoner wikiPageExternalLink drools.
• Semantic_reasoner wikiPageExternalLink cwm.html.
• Semantic_reasoner wikiPageExternalLink Implementations.
• Semantic_reasoner wikiPageExternalLink rdf-sparql-query.
• Semantic_reasoner wikiPageExternalLink p601.pdf.
• Semantic_reasoner wikiPageID "13536810".
• Semantic_reasoner wikiPageLength "5604".
• Semantic_reasoner wikiPageOutDegree "40".
• Semantic_reasoner wikiPageRevisionID "674147347".
• Semantic_reasoner wikiPageWikiLink Apache_Marmotta.
• Semantic_reasoner wikiPageWikiLink Axiom.
• Semantic_reasoner wikiPageWikiLink Axioms.
• Semantic_reasoner wikiPageWikiLink Backward_chaining.
• Semantic_reasoner wikiPageWikiLink Bossam_(software).
• Semantic_reasoner wikiPageWikiLink Business_rules_engine.
• Semantic_reasoner wikiPageWikiLink Category:Knowledge_engineering.
• Semantic_reasoner wikiPageWikiLink Category:Knowledge_representation.
• Semantic_reasoner wikiPageWikiLink Category:Ontology_(information_science).
• Semantic_reasoner wikiPageWikiLink Category:Reasoning.
• Semantic_reasoner wikiPageWikiLink Category:Rule_engines.
• Semantic_reasoner wikiPageWikiLink Category:Semantic_Web.
• Semantic_reasoner wikiPageWikiLink Cwm_(software).
• Semantic_reasoner wikiPageWikiLink Cyc.
• Semantic_reasoner wikiPageWikiLink Description_language.
• Semantic_reasoner wikiPageWikiLink Doxastic_logic.
• Semantic_reasoner wikiPageWikiLink Drools.
• Semantic_reasoner wikiPageWikiLink Expert_system.
• Semantic_reasoner wikiPageWikiLink Expert_systems.
• Semantic_reasoner wikiPageWikiLink F-Logic.
• Semantic_reasoner wikiPageWikiLink F-logic.
• Semantic_reasoner wikiPageWikiLink First-order_logic.
• Semantic_reasoner wikiPageWikiLink First-order_predicate_logic.
• Semantic_reasoner wikiPageWikiLink Flora-2.
• Semantic_reasoner wikiPageWikiLink Forward_chaining.
• Semantic_reasoner wikiPageWikiLink Free_University_of_Bolzano.
• Semantic_reasoner wikiPageWikiLink Free_University_of_Bozen-Bolzano.
• Semantic_reasoner wikiPageWikiLink ISO_15926.
• Semantic_reasoner wikiPageWikiLink Inference.
• Semantic_reasoner wikiPageWikiLink Inference_engine.
• Semantic_reasoner wikiPageWikiLink Inference_rules.
• Semantic_reasoner wikiPageWikiLink Internet_Business_Logic_(software).
• Semantic_reasoner wikiPageWikiLink Jena_(framework).
• Semantic_reasoner wikiPageWikiLink KAON.
• Semantic_reasoner wikiPageWikiLink KAON2.
• Semantic_reasoner wikiPageWikiLink List_of_rules_of_inference.
• Semantic_reasoner wikiPageWikiLink Logical_consequence.
• Semantic_reasoner wikiPageWikiLink Method_of_analytic_tableaux.
• Semantic_reasoner wikiPageWikiLink Non-axiomatic_reasoning_system.
• Semantic_reasoner wikiPageWikiLink OWL-DL.
• Semantic_reasoner wikiPageWikiLink Ontology_language.
• Semantic_reasoner wikiPageWikiLink Probabilistic_logic_network.
• Semantic_reasoner wikiPageWikiLink Prova.
• Semantic_reasoner wikiPageWikiLink Python_(programming_language).
• Semantic_reasoner wikiPageWikiLink Rete_algorithm.
• Semantic_reasoner wikiPageWikiLink SWRL.
• Semantic_reasoner wikiPageWikiLink Triple_store.
• Semantic_reasoner wikiPageWikiLink Triplestore.
• Semantic_reasoner wikiPageWikiLinkText "Rule Reasoner".
• Semantic_reasoner wikiPageWikiLinkText "Semantic reasoner".
• Semantic_reasoner wikiPageWikiLinkText "reasoner".
• Semantic_reasoner wikiPageWikiLinkText "reasoning".
• Semantic_reasoner wikiPageWikiLinkText "semantic reasoner".
• Semantic_reasoner hasPhotoCollection Semantic_reasoner.
• Semantic_reasoner wikiPageUsesTemplate Template:Computable_knowledge.
• Semantic_reasoner wikiPageUsesTemplate Template:Portal.
• Semantic_reasoner wikiPageUsesTemplate Template:Redirect.
• Semantic_reasoner wikiPageUsesTemplate Template:Reflist.
• Semantic_reasoner wikiPageUsesTemplate Template:Semantic_Web.
• Semantic_reasoner subject Category:Knowledge_engineering.
• Semantic_reasoner subject Category:Knowledge_representation.
• Semantic_reasoner subject Category:Ontology_(information_science).
• Semantic_reasoner subject Category:Reasoning.
• Semantic_reasoner subject Category:Rule_engines.
• Semantic_reasoner subject Category:Semantic_Web.
• Semantic_reasoner hypernym Piece.
• Semantic_reasoner type Article.
• Semantic_reasoner type Genre.
• Semantic_reasoner type MusicalWork.
• Semantic_reasoner type TopicalConcept.
• Semantic_reasoner type Article.
• Semantic_reasoner type Concept.
• Semantic_reasoner type Thing.
• Semantic_reasoner type Q188451.
• Semantic_reasoner 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 language.".
• Semantic_reasoner label "Semantic reasoner".
• Semantic_reasoner sameAs Ragionatore_automatico.

• next