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.
%0 Book Section
%1 Jean-Baptiste2021
%A Jean-Baptiste, Lamy
%B Ontologies with Python: Programming OWL 2.0 Ontologies with Python and Owlready2
%C Berkeley, CA
%D 2021
%I Apress
%K hermit metadata python reasoning semanticWeb
%P 157--185
%R 10.1007/978-1-4842-6552-9_7
%T Automatic reasoning
%U https://doi.org/10.1007/978-1-4842-6552-9_7
%X 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.
%@ 978-1-4842-6552-9
@inbook{Jean-Baptiste2021,
abstract = {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.},
added-at = {2023-08-18T12:05:07.000+0200},
address = {Berkeley, CA},
author = {Jean-Baptiste, Lamy},
biburl = {https://puma.ub.uni-stuttgart.de/bibtex/21fddadbd90778bc9ea469ef419e4364f/diglezakis},
booktitle = {Ontologies with Python: Programming OWL 2.0 Ontologies with Python and Owlready2},
description = {Automatic reasoning | SpringerLink},
doi = {10.1007/978-1-4842-6552-9_7},
interhash = {a5af1747d11cb47f48dbff7cbf3c1018},
intrahash = {1fddadbd90778bc9ea469ef419e4364f},
isbn = {978-1-4842-6552-9},
keywords = {hermit metadata python reasoning semanticWeb},
pages = {157--185},
publisher = {Apress},
timestamp = {2023-08-18T12:05:07.000+0200},
title = {Automatic reasoning},
url = {https://doi.org/10.1007/978-1-4842-6552-9_7},
year = 2021
}