Merchantry Knowledge

evidence / stable release

External links -------------- [[edit](/w/index.php?title=Knowledge_graph&action=edit&section=8 "Edit section: External links")] **Knowledge graph** at Wikipedia's [sister projects](https://en.wikipedia.org/wiki/Wikipedia:Wikimedia_sister_projects "Wikipedia:Wikimedia sister projects"): * [![Wikimedia Commons logo](//upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/20px-Commons-logo.svg.png)](https://en.wikipedia.org/wiki/File:Commons-logo.svg)[**Media**](https://commons.wikimedia.org/wiki/Category:Knowledge%20graphs "c:Category:Knowledge graphs") from Commons * ![](//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png)[**Data**](https://www.wikidata.org/wiki/Q33002955 "d:Q33002955") from Wikidata * Will Douglas Heaven (4 September 2020). ["This know-it-all AI learns by reading the entire web nonstop"](https://www.technologyreview.com/2020/09/04/1008156/knowledge-graph-ai-reads-web-machine-learning-natural-language-processing/). *MIT Technology Review*. Retrieved 5 September 2020. "Diffbot is building the biggest-ever knowledge graph by applying image recognition and natural-language processing to billions of web pages." [![logo](//upload.wikimedia.org/wikipedia/commons/thumb/3/32/Scholia_logo.svg/40px-Scholia_logo.svg.png)](https://en.wikipedia.org/wiki/File:Scholia_logo.svg) [Scholia](https://www.wikidata.org/wiki/Wikidata:Scholia "d:Wikidata:Scholia") has a *topic* profile for ***[Knowledge graph](https://iw.toolforge.org/scholia/topic/Q33002955 "toolforge:scholia/topic/Q33002955")***. | * [v](https://en.wikipedia.org/wiki/Template:Automated_reasoning "Template:Automated reasoning") * [t](https://en.wikipedia.org/wiki/Template_talk:Automated_reasoning?action=edit&redlink=1 "Template talk:Automated reasoning (page does not exist)") * [e](https://en.wikipedia.org/wiki/Special:EditPage/Template:Automated_reasoning "Special:EditPage/Template:Automated reasoning") [Knowledge representation and reasoning](https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning "Knowledge representation and reasoning") | | | --- | --- | | [Automated reasoning](https://en.wikipedia.org/wiki/Automated_reasoning "Automated reasoning") | * [Argumentation frameworks](https://en.wikipedia.org/wiki/Argumentation_framework "Argumentation framework") * [Backward chaining](https://en.wikipedia.org/wiki/Backward_chaining "Backward chaining") * [Belief revision](https://en.wikipedia.org/wiki/Belief_revision "Belief revision") * [Case-based reasoning](https://en.wikipedia.org/wiki/Case-based_reasoning "Case-based reasoning") * [Commonsense reasoning](https://en.wikipedia.org/wiki/Commonsense_reasoning "Commonsense reasoning") * [Forward chaining](https://en.wikipedia.org/wiki/Forward_chaining "Forward chaining") * [Model-based reasoning](https://en.wikipedia.org/wiki/Model-based_reasoning "Model-based reasoning") * [Qualitative reasoning](https://en.wikipedia.org/wiki/Qualitative_reasoning "Qualitative reasoning") * [Reason maintenance](https://en.wikipedia.org/wiki/Reason_maintenance "Reason maintenance") * [Spatio-temporal reasoning](https://en.wikipedia.org/wiki/Spatio-temporal_reasoning "Spatio-temporal reasoning") | | [Reasoning systems](https://en.wikipedia.org/wiki/Reasoning_system#Types_of_reasoning_system "Reasoning system") | | | | | --- | --- | | [Expert systems](https://en.wikipedia.org/wiki/Expert_system "Expert system") | * [CLIPS](https://en.wikipedia.org/wiki/CLIPS "CLIPS") * [Connectionist expert systems](https://en.wikipedia.org/wiki/Connectionist_expert_system "Connectionist expert system") * [Expert systems for mortgages](https://en.wikipedia.org/wiki/Expert_systems_for_mortgages "Expert systems for mortgages") * [Legal expert systems](https://en.wikipedia.org/wiki/Legal_expert_system "Legal expert system") | | [Theorem provers](https://en.wikipedia.org/wiki/Automated_theorem_proving "Automated theorem proving") | * [CARINE](https://en.wikipedia.org/wiki/CARINE "CARINE") * [E](https://en.wikipedia.org/wiki/E_(theorem_prover) "E (theorem prover)") * [Nqthm](https://en.wikipedia.org/wiki/Nqthm "Nqthm") * [Otter](https://en.wikipedia.org/wiki/Otter_(theorem_prover) "Otter (theorem prover)") * [Paradox](https://en.wikipedia.org/wiki/Paradox_(theorem_prover) "Paradox (theorem prover)") * [Prover9](https://en.wikipedia.org/wiki/Prover9 "Prover9") * [SPASS](https://en.wikipedia.org/wiki/SPASS "SPASS") * [TPS](https://en.wikipedia.org/wiki/Theorem_Proving_System "Theorem Proving System") * [Z3](https://en.wikipedia.org/wiki/Z3_Theorem_Prover "Z3 Theorem Prover") | | [Logic programs](https://en.wikipedia.org/wiki/Logic_programming "Logic programming") | * [Prolog](https://en.wikipedia.org/wiki/Prolog "Prolog") * [Datalog](https://en.wikipedia.org/wiki/Datalog "Datalog") * [ASP](https://en.wikipedia.org/wiki/Answer_set_programming "Answer set programming") | | [Constraint solvers](https://en.wikipedia.org/wiki/Constraint_solver "Constraint solver") | * [Constraint Handling Rules](https://en.wikipedia.org/wiki/Constraint_Handling_Rules "Constraint Handling Rules") * [MiniZinc](https://en.wikipedia.org/wiki/MiniZinc "MiniZinc") * [OR-Tools](https://en.wikipedia.org/wiki/OR-Tools "OR-Tools") | | Others | * [Deductive classifiers](https://en.wikipedia.org/wiki/Deductive_classifier "Deductive classifier") * [Procedural reasoning systems](https://en.wikipedia.org/wiki/Procedural_reasoning_system "Procedural reasoning system") * [Rule engines](https://en.wikipedia.org/wiki/Rule_engine "Rule engine") | | | [Ontology languages](https://en.wikipedia.org/wiki/Ontology_language "Ontology language") | * [Attempto Controlled English](https://en.wikipedia.org/wiki/Attempto_Controlled_English "Attempto Controlled English") * [CycL](https://en.wikipedia.org/wiki/CycL "CycL") * [F-logic](https://en.wikipedia.org/wiki/F-logic "F-logic") * [FO(.)](https://en.wikipedia.org/wiki/FO(.) "FO(.)") * [Knowledge Interchange Format](https://en.wikipedia.org/wiki/Knowledge_Interchange_Format "Knowledge Interchange Format") * [Web Ontology Language](https://en.wikipedia.org/wiki/Web_Ontology_Language "Web Ontology Language") | | [Constraint satisfaction](https://en.wikipedia.org/wiki/Constraint_satisfaction "Constraint satisfaction") | * [Constraint programming](https://en.wikipedia.org/wiki/Constraint_programming "Constraint programming") * [Constraint logic programming](https://en.wikipedia.org/wiki/Constraint_logic_programming "Constraint logic programming") * [Local consistency](https://en.wikipedia.org/wiki/Local_consistency "Local consistency") * [SMT solvers](https://en.wikipedia.org/wiki/Satisfiability_modulo_theories "Satisfiability modulo theories") | | [Automated planning](https://en.wikipedia.org/wiki/Automated_planning_and_scheduling "Automated planning and scheduling") | * [Motion planning](https://en.wikipedia.org/wiki/Motion_planning "Motion planning") * [Multi-agent planning](https://en.wikipedia.org/wiki/Multi-agent_planning "Multi-agent planning") * [Partial-order planning](https://en.wikipedia.org/wiki/Partial-order_planning "Partial-order planning") * [Preference-based planning](https://en.wikipedia.org/wiki/Preference-based_planning "Preference-based planning") * [Reactive planning](https://en.wikipedia.org/wiki/Reactive_planning "Reactive planning") * [State-space planning](https://en.wikipedia.org/wiki/State-space_planning "State-space planning") | | [Knowledge bases](https://en.wikipedia.org/wiki/Knowledge_base "Knowledge base") | * [Cyc](https://en.wikipedia.org/wiki/Cyc "Cyc") * [ConceptNet](https://en.wikipedia.org/wiki/ConceptNet "ConceptNet") * [DBpedia](https://en.wikipedia.org/wiki/DBpedia "DBpedia") * [Knowledge Graph](https://en.wikipedia.org/wiki/Knowledge_Graph_(Google) "Knowledge Graph (Google)") * [YAGO](https://en.wikipedia.org/wiki/YAGO_(database) "YAGO (database)") * [Wikidata](https://en.wikipedia.org/wiki/Wikidata "Wikidata") | | * [Blackboard systems](https://en.wikipedia.org/wiki/Blackboard_system "Blackboard system") * [Commonsense knowledge](https://en.wikipedia.org/wiki/Commonsense_knowledge "Commonsense knowledge") * [Inference engines](https://en.wikipedia.org/wiki/Inference_engine "Inference engine") * [Knowledge engineering](https://en.wikipedia.org/wiki/Knowledge_engineering "Knowledge engineering") * [Knowledge acquisition](https://en.wikipedia.org/wiki/Knowledge_acquisition "Knowledge acquisition") * [Knowledge extraction](https://en.wikipedia.org/wiki/Knowledge_extraction "Knowledge extraction") * [Rule-based systems](https://en.wikipedia.org/wiki/Rule-based_system "Rule-based system") | | | | | | --- | --- | | [Authority control databases](https://en.wikipedia.org/wiki/Help:Authority_control "Help:Authority control"): National [Edit this at Wikidata](https://www.wikidata.org/wiki/Q33002955#identifiers "Edit this at Wikidata") | * [Czech Republic](https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph1197788&CON_LNG=ENG) | Retrieved from "<https://en.wikipedia.org/w/index.php?title=Knowledge_graph&oldid=1362088155>"

unit:de867fff732f1cc656cc:38145bbc1df63e449509:1:f1c0432d96c7c113fb74 ยท release release:edition:knowledge-systems:7aaba55a11d29659

Canonical record

External links -------------- [[edit](/w/index.php?title=Knowledge_graph&action=edit&section=8 "Edit section: External links")] **Knowledge graph** at Wikipedia's [sister projects](https://en.wikipedia.org/wiki/Wikipedia:Wikimedia_sister_projects "Wikipedia:Wikimedia sister projects"): * [![Wikimedia Commons logo](//upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/20px-Commons-logo.svg.png)](https://en.wikipedia.org/wiki/File:Commons-logo.svg)[**Media**](https://commons.wikimedia.org/wiki/Category:Knowledge%20graphs "c:Category:Knowledge graphs") from Commons * ![](//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png)[**Data**](https://www.wikidata.org/wiki/Q33002955 "d:Q33002955") from Wikidata * Will Douglas Heaven (4 September 2020). ["This know-it-all AI learns by reading the entire web nonstop"](https://www.technologyreview.com/2020/09/04/1008156/knowledge-graph-ai-reads-web-machine-learning-natural-language-processing/). *MIT Technology Review*. Retrieved 5 September 2020. "Diffbot is building the biggest-ever knowledge graph by applying image recognition and natural-language processing to billions of web pages." [![logo](//upload.wikimedia.org/wikipedia/commons/thumb/3/32/Scholia_logo.svg/40px-Scholia_logo.svg.png)](https://en.wikipedia.org/wiki/File:Scholia_logo.svg) [Scholia](https://www.wikidata.org/wiki/Wikidata:Scholia "d:Wikidata:Scholia") has a *topic* profile for ***[Knowledge graph](https://iw.toolforge.org/scholia/topic/Q33002955 "toolforge:scholia/topic/Q33002955")***. | * [v](https://en.wikipedia.org/wiki/Template:Automated_reasoning "Template:Automated reasoning") * [t](https://en.wikipedia.org/wiki/Template_talk:Automated_reasoning?action=edit&redlink=1 "Template talk:Automated reasoning (page does not exist)") * [e](https://en.wikipedia.org/wiki/Special:EditPage/Template:Automated_reasoning "Special:EditPage/Template:Automated reasoning") [Knowledge representation and reasoning](https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning "Knowledge representation and reasoning") | | | --- | --- | | [Automated reasoning](https://en.wikipedia.org/wiki/Automated_reasoning "Automated reasoning") | * [Argumentation frameworks](https://en.wikipedia.org/wiki/Argumentation_framework "Argumentation framework") * [Backward chaining](https://en.wikipedia.org/wiki/Backward_chaining "Backward chaining") * [Belief revision](https://en.wikipedia.org/wiki/Belief_revision "Belief revision") * [Case-based reasoning](https://en.wikipedia.org/wiki/Case-based_reasoning "Case-based reasoning") * [Commonsense reasoning](https://en.wikipedia.org/wiki/Commonsense_reasoning "Commonsense reasoning") * [Forward chaining](https://en.wikipedia.org/wiki/Forward_chaining "Forward chaining") * [Model-based reasoning](https://en.wikipedia.org/wiki/Model-based_reasoning "Model-based reasoning") * [Qualitative reasoning](https://en.wikipedia.org/wiki/Qualitative_reasoning "Qualitative reasoning") * [Reason maintenance](https://en.wikipedia.org/wiki/Reason_maintenance "Reason maintenance") * [Spatio-temporal reasoning](https://en.wikipedia.org/wiki/Spatio-temporal_reasoning "Spatio-temporal reasoning") | | [Reasoning systems](https://en.wikipedia.org/wiki/Reasoning_system#Types_of_reasoning_system "Reasoning system") | | | | | --- | --- | | [Expert systems](https://en.wikipedia.org/wiki/Expert_system "Expert system") | * [CLIPS](https://en.wikipedia.org/wiki/CLIPS "CLIPS") * [Connectionist expert systems](https://en.wikipedia.org/wiki/Connectionist_expert_system "Connectionist expert system") * [Expert systems for mortgages](https://en.wikipedia.org/wiki/Expert_systems_for_mortgages "Expert systems for mortgages") * [Legal expert systems](https://en.wikipedia.org/wiki/Legal_expert_system "Legal expert system") | | [Theorem provers](https://en.wikipedia.org/wiki/Automated_theorem_proving "Automated theorem proving") | * [CARINE](https://en.wikipedia.org/wiki/CARINE "CARINE") * [E](https://en.wikipedia.org/wiki/E_(theorem_prover) "E (theorem prover)") * [Nqthm](https://en.wikipedia.org/wiki/Nqthm "Nqthm") * [Otter](https://en.wikipedia.org/wiki/Otter_(theorem_prover) "Otter (theorem prover)") * [Paradox](https://en.wikipedia.org/wiki/Paradox_(theorem_prover) "Paradox (theorem prover)") * [Prover9](https://en.wikipedia.org/wiki/Prover9 "Prover9") * [SPASS](https://en.wikipedia.org/wiki/SPASS "SPASS") * [TPS](https://en.wikipedia.org/wiki/Theorem_Proving_System "Theorem Proving System") * [Z3](https://en.wikipedia.org/wiki/Z3_Theorem_Prover "Z3 Theorem Prover") | | [Logic programs](https://en.wikipedia.org/wiki/Logic_programming "Logic programming") | * [Prolog](https://en.wikipedia.org/wiki/Prolog "Prolog") * [Datalog](https://en.wikipedia.org/wiki/Datalog "Datalog") * [ASP](https://en.wikipedia.org/wiki/Answer_set_programming "Answer set programming") | | [Constraint solvers](https://en.wikipedia.org/wiki/Constraint_solver "Constraint solver") | * [Constraint Handling Rules](https://en.wikipedia.org/wiki/Constraint_Handling_Rules "Constraint Handling Rules") * [MiniZinc](https://en.wikipedia.org/wiki/MiniZinc "MiniZinc") * [OR-Tools](https://en.wikipedia.org/wiki/OR-Tools "OR-Tools") | | Others | * [Deductive classifiers](https://en.wikipedia.org/wiki/Deductive_classifier "Deductive classifier") * [Procedural reasoning systems](https://en.wikipedia.org/wiki/Procedural_reasoning_system "Procedural reasoning system") * [Rule engines](https://en.wikipedia.org/wiki/Rule_engine "Rule engine") | | | [Ontology languages](https://en.wikipedia.org/wiki/Ontology_language "Ontology language") | * [Attempto Controlled English](https://en.wikipedia.org/wiki/Attempto_Controlled_English "Attempto Controlled English") * [CycL](https://en.wikipedia.org/wiki/CycL "CycL") * [F-logic](https://en.wikipedia.org/wiki/F-logic "F-logic") * [FO(.)](https://en.wikipedia.org/wiki/FO(.) "FO(.)") * [Knowledge Interchange Format](https://en.wikipedia.org/wiki/Knowledge_Interchange_Format "Knowledge Interchange Format") * [Web Ontology Language](https://en.wikipedia.org/wiki/Web_Ontology_Language "Web Ontology Language") | | [Constraint satisfaction](https://en.wikipedia.org/wiki/Constraint_satisfaction "Constraint satisfaction") | * [Constraint programming](https://en.wikipedia.org/wiki/Constraint_programming "Constraint programming") * [Constraint logic programming](https://en.wikipedia.org/wiki/Constraint_logic_programming "Constraint logic programming") * [Local consistency](https://en.wikipedia.org/wiki/Local_consistency "Local consistency") * [SMT solvers](https://en.wikipedia.org/wiki/Satisfiability_modulo_theories "Satisfiability modulo theories") | | [Automated planning](https://en.wikipedia.org/wiki/Automated_planning_and_scheduling "Automated planning and scheduling") | * [Motion planning](https://en.wikipedia.org/wiki/Motion_planning "Motion planning") * [Multi-agent planning](https://en.wikipedia.org/wiki/Multi-agent_planning "Multi-agent planning") * [Partial-order planning](https://en.wikipedia.org/wiki/Partial-order_planning "Partial-order planning") * [Preference-based planning](https://en.wikipedia.org/wiki/Preference-based_planning "Preference-based planning") * [Reactive planning](https://en.wikipedia.org/wiki/Reactive_planning "Reactive planning") * [State-space planning](https://en.wikipedia.org/wiki/State-space_planning "State-space planning") | | [Knowledge bases](https://en.wikipedia.org/wiki/Knowledge_base "Knowledge base") | * [Cyc](https://en.wikipedia.org/wiki/Cyc "Cyc") * [ConceptNet](https://en.wikipedia.org/wiki/ConceptNet "ConceptNet") * [DBpedia](https://en.wikipedia.org/wiki/DBpedia "DBpedia") * [Knowledge Graph](https://en.wikipedia.org/wiki/Knowledge_Graph_(Google) "Knowledge Graph (Google)") * [YAGO](https://en.wikipedia.org/wiki/YAGO_(database) "YAGO (database)") * [Wikidata](https://en.wikipedia.org/wiki/Wikidata "Wikidata") | | * [Blackboard systems](https://en.wikipedia.org/wiki/Blackboard_system "Blackboard system") * [Commonsense knowledge](https://en.wikipedia.org/wiki/Commonsense_knowledge "Commonsense knowledge") * [Inference engines](https://en.wikipedia.org/wiki/Inference_engine "Inference engine") * [Knowledge engineering](https://en.wikipedia.org/wiki/Knowledge_engineering "Knowledge engineering") * [Knowledge acquisition](https://en.wikipedia.org/wiki/Knowledge_acquisition "Knowledge acquisition") * [Knowledge extraction](https://en.wikipedia.org/wiki/Knowledge_extraction "Knowledge extraction") * [Rule-based systems](https://en.wikipedia.org/wiki/Rule-based_system "Rule-based system") | | | | | | --- | --- | | [Authority control databases](https://en.wikipedia.org/wiki/Help:Authority_control "Help:Authority control"): National [Edit this at Wikidata](https://www.wikidata.org/wiki/Q33002955#identifiers "Edit this at Wikidata") | * [Czech Republic](https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph1197788&CON_LNG=ENG) | Retrieved from "<https://en.wikipedia.org/w/index.php?title=Knowledge_graph&oldid=1362088155>"

Structured record
{
  "evidence_unit_id": "unit:de867fff732f1cc656cc:38145bbc1df63e449509:1:f1c0432d96c7c113fb74",
  "artifact_id": "artifact:de867fff732f1cc656cc:15d76103d293e31bf13c",
  "text": "External links\n--------------\n\n[[edit](/w/index.php?title=Knowledge_graph&action=edit&section=8 \"Edit section: External links\")]\n\n**Knowledge graph** at Wikipedia's [sister projects](https://en.wikipedia.org/wiki/Wikipedia:Wikimedia_sister_projects \"Wikipedia:Wikimedia sister projects\"):\n\n* [![Wikimedia Commons logo](//upload.wikimedia.org/wikipedia/en/thumb/4/4a/Commons-logo.svg/20px-Commons-logo.svg.png)](https://en.wikipedia.org/wiki/File:Commons-logo.svg)[**Media**](https://commons.wikimedia.org/wiki/Category:Knowledge%20graphs \"c:Category:Knowledge graphs\") from Commons\n* ![](//upload.wikimedia.org/wikipedia/commons/thumb/f/ff/Wikidata-logo.svg/40px-Wikidata-logo.svg.png)[**Data**](https://www.wikidata.org/wiki/Q33002955 \"d:Q33002955\") from Wikidata\n\n* Will Douglas Heaven (4 September 2020). [\"This know-it-all AI learns by reading the entire web nonstop\"](https://www.technologyreview.com/2020/09/04/1008156/knowledge-graph-ai-reads-web-machine-learning-natural-language-processing/). *MIT Technology Review*. Retrieved 5 September 2020. \"Diffbot is building the biggest-ever knowledge graph by applying image recognition and natural-language processing to billions of web pages.\"\n\n[![logo](//upload.wikimedia.org/wikipedia/commons/thumb/3/32/Scholia_logo.svg/40px-Scholia_logo.svg.png)](https://en.wikipedia.org/wiki/File:Scholia_logo.svg)\n\n[Scholia](https://www.wikidata.org/wiki/Wikidata:Scholia \"d:Wikidata:Scholia\") has a *topic* profile for ***[Knowledge graph](https://iw.toolforge.org/scholia/topic/Q33002955 \"toolforge:scholia/topic/Q33002955\")***.\n\n| * [v](https://en.wikipedia.org/wiki/Template:Automated_reasoning \"Template:Automated reasoning\") * [t](https://en.wikipedia.org/wiki/Template_talk:Automated_reasoning?action=edit&redlink=1 \"Template talk:Automated reasoning (page does not exist)\") * [e](https://en.wikipedia.org/wiki/Special:EditPage/Template:Automated_reasoning \"Special:EditPage/Template:Automated reasoning\")  [Knowledge representation and reasoning](https://en.wikipedia.org/wiki/Knowledge_representation_and_reasoning \"Knowledge representation and reasoning\") | |\n| --- | --- |\n| [Automated reasoning](https://en.wikipedia.org/wiki/Automated_reasoning \"Automated reasoning\") | * [Argumentation frameworks](https://en.wikipedia.org/wiki/Argumentation_framework \"Argumentation framework\") * [Backward chaining](https://en.wikipedia.org/wiki/Backward_chaining \"Backward chaining\") * [Belief revision](https://en.wikipedia.org/wiki/Belief_revision \"Belief revision\") * [Case-based reasoning](https://en.wikipedia.org/wiki/Case-based_reasoning \"Case-based reasoning\") * [Commonsense reasoning](https://en.wikipedia.org/wiki/Commonsense_reasoning \"Commonsense reasoning\") * [Forward chaining](https://en.wikipedia.org/wiki/Forward_chaining \"Forward chaining\") * [Model-based reasoning](https://en.wikipedia.org/wiki/Model-based_reasoning \"Model-based reasoning\") * [Qualitative reasoning](https://en.wikipedia.org/wiki/Qualitative_reasoning \"Qualitative reasoning\") * [Reason maintenance](https://en.wikipedia.org/wiki/Reason_maintenance \"Reason maintenance\") * [Spatio-temporal reasoning](https://en.wikipedia.org/wiki/Spatio-temporal_reasoning \"Spatio-temporal reasoning\") |\n| [Reasoning systems](https://en.wikipedia.org/wiki/Reasoning_system#Types_of_reasoning_system \"Reasoning system\") | |  |  | | --- | --- | | [Expert systems](https://en.wikipedia.org/wiki/Expert_system \"Expert system\") | * [CLIPS](https://en.wikipedia.org/wiki/CLIPS \"CLIPS\") * [Connectionist expert systems](https://en.wikipedia.org/wiki/Connectionist_expert_system \"Connectionist expert system\") * [Expert systems for mortgages](https://en.wikipedia.org/wiki/Expert_systems_for_mortgages \"Expert systems for mortgages\") * [Legal expert systems](https://en.wikipedia.org/wiki/Legal_expert_system \"Legal expert system\") | | [Theorem provers](https://en.wikipedia.org/wiki/Automated_theorem_proving \"Automated theorem proving\") | * [CARINE](https://en.wikipedia.org/wiki/CARINE \"CARINE\") * [E](https://en.wikipedia.org/wiki/E_(theorem_prover) \"E (theorem prover)\") * [Nqthm](https://en.wikipedia.org/wiki/Nqthm \"Nqthm\") * [Otter](https://en.wikipedia.org/wiki/Otter_(theorem_prover) \"Otter (theorem prover)\") * [Paradox](https://en.wikipedia.org/wiki/Paradox_(theorem_prover) \"Paradox (theorem prover)\") * [Prover9](https://en.wikipedia.org/wiki/Prover9 \"Prover9\") * [SPASS](https://en.wikipedia.org/wiki/SPASS \"SPASS\") * [TPS](https://en.wikipedia.org/wiki/Theorem_Proving_System \"Theorem Proving System\") * [Z3](https://en.wikipedia.org/wiki/Z3_Theorem_Prover \"Z3 Theorem Prover\") | | [Logic programs](https://en.wikipedia.org/wiki/Logic_programming \"Logic programming\") | * [Prolog](https://en.wikipedia.org/wiki/Prolog \"Prolog\") * [Datalog](https://en.wikipedia.org/wiki/Datalog \"Datalog\") * [ASP](https://en.wikipedia.org/wiki/Answer_set_programming \"Answer set programming\") | | [Constraint solvers](https://en.wikipedia.org/wiki/Constraint_solver \"Constraint solver\") | * [Constraint Handling Rules](https://en.wikipedia.org/wiki/Constraint_Handling_Rules \"Constraint Handling Rules\") * [MiniZinc](https://en.wikipedia.org/wiki/MiniZinc \"MiniZinc\") * [OR-Tools](https://en.wikipedia.org/wiki/OR-Tools \"OR-Tools\") | | Others | * [Deductive classifiers](https://en.wikipedia.org/wiki/Deductive_classifier \"Deductive classifier\") * [Procedural reasoning systems](https://en.wikipedia.org/wiki/Procedural_reasoning_system \"Procedural reasoning system\") * [Rule engines](https://en.wikipedia.org/wiki/Rule_engine \"Rule engine\") | |\n| [Ontology languages](https://en.wikipedia.org/wiki/Ontology_language \"Ontology language\") | * [Attempto Controlled English](https://en.wikipedia.org/wiki/Attempto_Controlled_English \"Attempto Controlled English\") * [CycL](https://en.wikipedia.org/wiki/CycL \"CycL\") * [F-logic](https://en.wikipedia.org/wiki/F-logic \"F-logic\") * [FO(.)](https://en.wikipedia.org/wiki/FO(.) \"FO(.)\") * [Knowledge Interchange Format](https://en.wikipedia.org/wiki/Knowledge_Interchange_Format \"Knowledge Interchange Format\") * [Web Ontology Language](https://en.wikipedia.org/wiki/Web_Ontology_Language \"Web Ontology Language\") |\n| [Constraint satisfaction](https://en.wikipedia.org/wiki/Constraint_satisfaction \"Constraint satisfaction\") | * [Constraint programming](https://en.wikipedia.org/wiki/Constraint_programming \"Constraint programming\") * [Constraint logic programming](https://en.wikipedia.org/wiki/Constraint_logic_programming \"Constraint logic programming\") * [Local consistency](https://en.wikipedia.org/wiki/Local_consistency \"Local consistency\") * [SMT solvers](https://en.wikipedia.org/wiki/Satisfiability_modulo_theories \"Satisfiability modulo theories\") |\n| [Automated planning](https://en.wikipedia.org/wiki/Automated_planning_and_scheduling \"Automated planning and scheduling\") | * [Motion planning](https://en.wikipedia.org/wiki/Motion_planning \"Motion planning\") * [Multi-agent planning](https://en.wikipedia.org/wiki/Multi-agent_planning \"Multi-agent planning\") * [Partial-order planning](https://en.wikipedia.org/wiki/Partial-order_planning \"Partial-order planning\") * [Preference-based planning](https://en.wikipedia.org/wiki/Preference-based_planning \"Preference-based planning\") * [Reactive planning](https://en.wikipedia.org/wiki/Reactive_planning \"Reactive planning\") * [State-space planning](https://en.wikipedia.org/wiki/State-space_planning \"State-space planning\") |\n| [Knowledge bases](https://en.wikipedia.org/wiki/Knowledge_base \"Knowledge base\") | * [Cyc](https://en.wikipedia.org/wiki/Cyc \"Cyc\") * [ConceptNet](https://en.wikipedia.org/wiki/ConceptNet \"ConceptNet\") * [DBpedia](https://en.wikipedia.org/wiki/DBpedia \"DBpedia\") * [Knowledge Graph](https://en.wikipedia.org/wiki/Knowledge_Graph_(Google) \"Knowledge Graph (Google)\") * [YAGO](https://en.wikipedia.org/wiki/YAGO_(database) \"YAGO (database)\") * [Wikidata](https://en.wikipedia.org/wiki/Wikidata \"Wikidata\") |\n| * [Blackboard systems](https://en.wikipedia.org/wiki/Blackboard_system \"Blackboard system\") * [Commonsense knowledge](https://en.wikipedia.org/wiki/Commonsense_knowledge \"Commonsense knowledge\") * [Inference engines](https://en.wikipedia.org/wiki/Inference_engine \"Inference engine\") * [Knowledge engineering](https://en.wikipedia.org/wiki/Knowledge_engineering \"Knowledge engineering\") * [Knowledge acquisition](https://en.wikipedia.org/wiki/Knowledge_acquisition \"Knowledge acquisition\") * [Knowledge extraction](https://en.wikipedia.org/wiki/Knowledge_extraction \"Knowledge extraction\") * [Rule-based systems](https://en.wikipedia.org/wiki/Rule-based_system \"Rule-based system\") | |\n\n|  |  |\n| --- | --- |\n| [Authority control databases](https://en.wikipedia.org/wiki/Help:Authority_control \"Help:Authority control\"): National [Edit this at Wikidata](https://www.wikidata.org/wiki/Q33002955#identifiers \"Edit this at Wikidata\") | * [Czech Republic](https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph1197788&CON_LNG=ENG) |\n\nRetrieved from \"<https://en.wikipedia.org/w/index.php?title=Knowledge_graph&oldid=1362088155>\"",
  "access_class": "public",
  "heading": "Entity alignment (part 4 of 4)",
  "observed_at": "2026-07-18T21:40:59.214Z",
  "state": "active"
}