<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:taxo="http://purl.org/rss/1.0/modules/taxonomy/" xmlns:burst="http://xmlns.com/burst/0.1/" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" xmlns="http://purl.org/rss/1.0/" xmlns:admin="http://webns.net/mvcb/" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:content="http://purl.org/rss/1.0/modules/content/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:syn="http://purl.org/rss/1.0/modules/syndication/" xmlns:swrc="http://swrc.ontoware.org/ontology#" xmlns:cc="http://web.resource.org/cc/"><channel rdf:about="https://puma.ub.uni-stuttgart.de/tag/Python%20metadata"><title>PUMA publications for /tag/Python%20metadata</title><link>https://puma.ub.uni-stuttgart.de/tag/Python%20metadata</link><description>PUMA RSS feed for /tag/Python%20metadata</description><dc:date>2026-04-14T23:09:15+02:00</dc:date><items><rdf:Seq><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/bibtex/21fddadbd90778bc9ea469ef419e4364f/diglezakis"/></rdf:Seq></items></channel><item rdf:about="https://puma.ub.uni-stuttgart.de/bibtex/21fddadbd90778bc9ea469ef419e4364f/diglezakis"><title>Automatic reasoning</title><link>https://puma.ub.uni-stuttgart.de/bibtex/21fddadbd90778bc9ea469ef419e4364f/diglezakis</link><dc:creator>diglezakis</dc:creator><dc:date>2023-08-18T12:05:07+02:00</dc:date><dc:subject>hermit metadata python reasoning semanticWeb </dc:subject><content:encoded>&lt;span data-person-type=&#034;author&#034; class=&#034;authorEditorList &#034;&gt;&lt;span&gt;&lt;span itemtype=&#034;http://schema.org/Person&#034; itemscope=&#034;itemscope&#034; itemprop=&#034;author&#034;&gt;&lt;a title=&#034;Lamy Jean-Baptiste&#034; itemprop=&#034;url&#034; href=&#034;/person/1a5af1747d11cb47f48dbff7cbf3c1018/author/0&#034;&gt;&lt;span itemprop=&#034;name&#034;&gt;L. Jean-Baptiste&lt;/span&gt;&lt;/a&gt;&lt;/span&gt;&lt;/span&gt;. &lt;/span&gt;&lt;span class=&#034;additional-entrytype-information&#034;&gt;&lt;em&gt;Seite &lt;span itemprop=&#034;pagination&#034;&gt;157--185&lt;/span&gt;. &lt;/em&gt;&lt;em&gt;&lt;span itemprop=&#034;publisher&#034;&gt;Apress&lt;/span&gt;, &lt;/em&gt;&lt;em&gt;Berkeley, CA, &lt;/em&gt;&lt;span itemtype=&#034;http://schema.org/Book&#034; itemscope=&#034;itemscope&#034; itemprop=&#034;isPartOf&#034;&gt;&lt;/span&gt;(&lt;em&gt;&lt;span&gt;2021&lt;meta content=&#034;2021&#034; itemprop=&#034;datePublished&#034;/&gt;&lt;/span&gt;&lt;/em&gt;)&lt;/span&gt;</content:encoded><taxo:topics><rdf:Bag><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/hermit"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/metadata"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/python"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/reasoning"/><rdf:li rdf:resource="https://puma.ub.uni-stuttgart.de/tag/semanticWeb"/></rdf:Bag></taxo:topics><burst:publication><rdf:Description rdf:about="https://puma.ub.uni-stuttgart.de/bibtex/21fddadbd90778bc9ea469ef419e4364f/diglezakis"><owl:sameAs rdf:resource="/uri/bibtex/21fddadbd90778bc9ea469ef419e4364f/diglezakis"/><rdf:type rdf:resource="http://swrc.ontoware.org/ontology#InBook"/><owl:sameAs rdf:resource="https://doi.org/10.1007/978-1-4842-6552-9_7"/><swrc:date>Fri Aug 18 12:05:07 CEST 2023</swrc:date><swrc:address>Berkeley, CA</swrc:address><swrc:booktitle>Ontologies with Python: Programming OWL 2.0 Ontologies with Python and Owlready2</swrc:booktitle><swrc:pages>157--185</swrc:pages><swrc:publisher><swrc:Organization swrc:name="Apress"/></swrc:publisher><swrc:title>Automatic reasoning</swrc:title><swrc:year>2021</swrc:year><swrc:keywords>hermit metadata python reasoning semanticWeb </swrc:keywords><swrc: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.</swrc:abstract><swrc:hasExtraField><swrc:Field swrc:value="978-1-4842-6552-9" swrc:key="isbn"/></swrc:hasExtraField><swrc:hasExtraField><swrc:Field swrc:value="10.1007/978-1-4842-6552-9_7" swrc:key="doi"/></swrc:hasExtraField><swrc:author><rdf:Seq><rdf:_1><swrc:Person swrc:name="Lamy Jean-Baptiste"/></rdf:_1></rdf:Seq></swrc:author></rdf:Description></burst:publication><description>Automatic reasoning | SpringerLink</description></item></rdf:RDF>