Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Deductive_classifier> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Deductive_classifier abstract "A deductive classifier is a type of artificial intelligence inference engine. It takes as input a set of declarations in a frame language about a domain such as medical research or molecular biology. For example, the names of classes, sub-classes, properties, and restrictions on allowable values. The classifier determines if the various declarations are logically consistent and if not will highlight the specific inconsistent declarations and the inconsistencies among them. If the declarations are consistent the classifier can then assert additional information based on the input. For example, it can add information about existing classes, create additional classes, etc. This differs from traditional inference engines that trigger off of IF-THEN conditions in rules. Classifiers are also similar to theorem provers in that they take as input and produce output via First Order Logic. Classifiers originated with KL-ONE Frame languages. They are increasingly significant now that they form a part in the enabling technology of the Semantic Web. Modern classifiers leverage the Web Ontology Language. The models they analyze and generate are called ontologies.".
- Deductive_classifier thumbnail Protégé_3.4.3.png?width=300.
- Deductive_classifier wikiPageExternalLink hermit-reasoner.com.
- Deductive_classifier wikiPageExternalLink factplusplus.
- Deductive_classifier wikiPageExternalLink protege.stanford.edu.
- Deductive_classifier wikiPageID "43342432".
- Deductive_classifier wikiPageLength "8042".
- Deductive_classifier wikiPageOutDegree "25".
- Deductive_classifier wikiPageRevisionID "702132665".
- Deductive_classifier wikiPageWikiLink Artificial_intelligence.
- Deductive_classifier wikiPageWikiLink Automated_theorem_proving.
- Deductive_classifier wikiPageWikiLink Category:Artificial_intelligence.
- Deductive_classifier wikiPageWikiLink Category:Knowledge_representation.
- Deductive_classifier wikiPageWikiLink Category:Ontology_languages.
- Deductive_classifier wikiPageWikiLink Class_hierarchy.
- Deductive_classifier wikiPageWikiLink Expert_system.
- Deductive_classifier wikiPageWikiLink First-order_logic.
- Deductive_classifier wikiPageWikiLink Frame_language.
- Deductive_classifier wikiPageWikiLink Inference_engine.
- Deductive_classifier wikiPageWikiLink KL-ONE.
- Deductive_classifier wikiPageWikiLink Knowledge_representation_and_reasoning.
- Deductive_classifier wikiPageWikiLink Modus_ponens.
- Deductive_classifier wikiPageWikiLink Ontology_(information_science).
- Deductive_classifier wikiPageWikiLink Protégé_(software).
- Deductive_classifier wikiPageWikiLink Rule-based_system.
- Deductive_classifier wikiPageWikiLink Semantic_Web.
- Deductive_classifier wikiPageWikiLink Stanford_University.
- Deductive_classifier wikiPageWikiLink Web_Ontology_Language.
- Deductive_classifier wikiPageWikiLink File:Protégé_3.4.3.png.
- Deductive_classifier wikiPageWikiLinkText "Deductive classifier".
- Deductive_classifier wikiPageWikiLinkText "classifier".
- Deductive_classifier wikiPageWikiLinkText "classifiers".
- Deductive_classifier wikiPageWikiLinkText "deductive classifier".
- Deductive_classifier wikiPageUsesTemplate Template:Reflist.
- Deductive_classifier subject Category:Artificial_intelligence.
- Deductive_classifier subject Category:Knowledge_representation.
- Deductive_classifier subject Category:Ontology_languages.
- Deductive_classifier hypernym Engine.
- Deductive_classifier type Software.
- Deductive_classifier comment "A deductive classifier is a type of artificial intelligence inference engine. It takes as input a set of declarations in a frame language about a domain such as medical research or molecular biology. For example, the names of classes, sub-classes, properties, and restrictions on allowable values. The classifier determines if the various declarations are logically consistent and if not will highlight the specific inconsistent declarations and the inconsistencies among them.".
- Deductive_classifier label "Deductive classifier".
- Deductive_classifier sameAs Q18206444.
- Deductive_classifier sameAs m.011c5jsq.
- Deductive_classifier sameAs Q18206444.
- Deductive_classifier wasDerivedFrom Deductive_classifier?oldid=702132665.
- Deductive_classifier depiction Protégé_3.4.3.png.
- Deductive_classifier isPrimaryTopicOf Deductive_classifier.