Teil eines Buches,

Automatic reasoning

.
Seite 157--185. Apress, Berkeley, CA, (2021)
DOI: 10.1007/978-1-4842-6552-9_7

Zusammenfassung

In this chapter, we will see how to use the HermiT and Pellet reasoners in Python, in order to check the consistency of an ontology and to perform automatic deductions and classification, on the basis of the logical constructors.

Tags

Nutzer

  • @diglezakis

Kommentare und Rezensionen