About: Deductive classifier

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Type of artificial intelligence inference engine

Property	Value
dbo:description	тип механизма логического вывода искусственного интеллекта (ru) type of artificial intelligence inference engine (en)
dbo:thumbnail	wiki-commons:Special:FilePath/Protégé_3.4.3.png?width=300
dbo:wikiPageExternalLink	http://hermit-reasoner.com/ http://owl.man.ac.uk/factplusplus/ http://protege.stanford.edu/
dbo:wikiPageWikiLink	dbr:File:Protégé_3.4.3.png dbr:KL-ONE dbr:Inference_engine dbc:Classification_algorithms dbr:Protégé_(software) dbr:Artificial_intelligence dbr:Automated_theorem_proving dbr:Modus_ponens dbr:Frame_language dbc:Ontology_languages dbr:Class_hierarchy dbc:Artificial_intelligence dbc:Knowledge_representation dbr:Semantic_Web dbr:Stanford_University dbr:Web_Ontology_Language dbr:Ontology_(information_science) dbr:Knowledge_representation dbr:Expert_systems dbr:Ontologies_(computer_science) dbr:First_Order_Logic dbr:Loom_(ontology) dbr:Rule-based_systems
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Automated_reasoning
dct:subject	dbc:Classification_algorithms dbc:Ontology_languages dbc:Knowledge_representation
gold:hypernym	dbr:Engine
rdfs:label	Deductive classifier (en)
owl:sameAs	freebase:Deductive classifier yago-res:Deductive classifier wikidata:Deductive classifier dbpedia-fa:Deductive classifier dbpedia-global:Deductive classifier
prov:wasDerivedFrom	wikipedia-en:Deductive_classifier?oldid=1292489759&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Protégé_3.4.3.png
foaf:isPrimaryTopicOf	wikipedia-en:Deductive_classifier
is dbo:wikiPageDisambiguates of	dbr:Classifier
is dbo:wikiPageWikiLink of	dbr:KL-ONE dbr:Protégé_(software) dbr:Classifier dbr:Frame_(artificial_intelligence) dbr:Knowledge-based_systems dbr:Symbolic_artificial_intelligence dbr:Reasoning_system dbr:Outline_of_machine_learning dbr:Expert_system dbr:Glossary_of_artificial_intelligence dbr:Hierarchical_classification
is foaf:primaryTopic of	wikipedia-en:Deductive_classifier