About: Deductive classifier

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Deductive classifier Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Software, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FDeductive_classifier

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 sim

Attributes	Values
rdf:type	software
rdfs:label	Deductive classifier (en)
rdfs: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. 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 sim (en)
foaf:depiction
dcterms:subject	Artificial intelligence Classification algorithms Knowledge representation Ontology languages
Wikipage page ID	43342432 (xsd:integer)
Wikipage revision ID	1092193172 (xsd:integer)
Link from a Wikipage to another Wikipage	Protégé (software) Inference engine Artificial intelligence Classification algorithms Stanford University Automated theorem proving Web Ontology Language Frame language KL-ONE Knowledge representation Artificial intelligence Knowledge representation Modus ponens Ontology languages Class hierarchy Expert systems Ontology (information science) Semantic Web Rule-based systems First Order Logic Ontologies (computer science) Loom (ontology)
Link from a Wikipage to an external page	http://hermit-reasoner.com/ http://protege.stanford.edu/ http://owl.man.ac.uk/factplusplus/
sameAs	Deductive classifier Deductive classifier Deductive classifier Deductive classifier Deductive classifier
dbp:wikiPageUsesTemplate	dbt:Reflist
thumbnail	wiki-commons:Special:FilePath/Protégé_3.4.3.png?width=300
has 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. (en)
gold:hypernym	Engine
prov:wasDerivedFrom	wikipedia-en:Deductive_classifier?oldid=1092193172&ns=0
page length (characters) of wiki page	8440 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Deductive_classifier
is Link from a Wikipage to another Wikipage of	Protégé (software) Reasoning system Glossary of artificial intelligence Classifier Frame (artificial intelligence) KL-ONE Knowledge-based systems Hierarchical classification Symbolic artificial intelligence Expert system Outline of machine learning
is Wikipage disambiguates of	Classifier
is foaf:primaryTopic of	wikipedia-en:Deductive_classifier

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software