Скачать
Ontology Talk: Instances, Sets and Classes: Part 3 - Inference
Автор: Ontology Talk with Adam Pease
Загружено: 2020-05-01
Просмотров: 283
Описание:
The third in a series of videos on representing instances, sets and classes in the SUMO ontology. In this part we do some very simple inferences with the content created in part 2. We show results from the Vampire theorem prover, using the SUMOjEdit ontology editor.
Main web site for SUMO: http://www.ontologyportal.org
First video of this series: • Ontology Talk: Instances Sets and Classes
Second video of the series: • Instances, Sets and Classes: Formalizing i...
Wikipedia article on the closed world assumption: https://en.wikipedia.org/wiki/Closed-...
Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке:
![Почему работает теория шести рукопожатий? [Veritasium]](https://image.4k-video.ru/id-video/ggI1xKzoANs)
