@prefix pcp: <http://pcp-on-web.de/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <https://www.w3.org/TR/2004/REC-owl-semantics-20040210/#owl_> .
@prefix cph: <http://uni-helmstedt.ad.hab.de/> .

<http://uni-helmstedt.hab.de/prof-109-hofmann>
  a pcp:Lecturer ;
  pcp:id "109"^^xsd:ID ;
  pcp:forename "Erhard"@ger ;
  pcp:name "Hofmann"@ger ;
  rdfs:label "Prof. Erhard Hofmann"@ger ;
  pcp:gnd "102511594"^^xsd:ID ;
  pcp:note "Phil. Prof. d. höheren Mathematik (1576–1593)"@ger ;
  owl:sameAs <http://uni-helmstedt.hab.de/person/2347> ;
  pcp:hasStageOfLife <http://uni-helmstedt.hab.de/prof-109-hofmann/birth>, <http://uni-helmstedt.hab.de/prof-109-hofmann/death>, <http://uni-helmstedt.hab.de/prof-109-hofmann/chair_209>, <http://uni-helmstedt.hab.de/lecture/7392>, <http://uni-helmstedt.hab.de/lecture/8853>, <http://uni-helmstedt.hab.de/lecture/8854>, <http://uni-helmstedt.hab.de/lecture/8820>, <http://uni-helmstedt.hab.de/lecture/8821> ;
  pcp:hasWife <http://uni-helmstedt.hab.de/prof-109-hofmann/family/0> .

<cph:city/heidingsfeld-unterfranken>
  a pcp:Location ;
  rdfs:label "Heidingsfeld (Unterfranken)"^^xsd:string .

<cph:city/aufderwolfsburg>
  a pcp:Location ;
  rdfs:label "auf der Wolfsburg"^^xsd:string .

<http://uni-helmstedt.hab.de/person/2347> a pcp:Person .
<http://uni-helmstedt.hab.de/prof-109-hofmann/birth>
  a pcp:Birth ;
  pcp:date "1544"^^xsd:year ;
  pcp:stageOfLifeLocation <cph:city/heidingsfeld-unterfranken> .

<http://uni-helmstedt.hab.de/prof-109-hofmann/death>
  a pcp:Death ;
  pcp:date "1593"^^xsd:year ;
  pcp:stageOfLifeLocation <cph:city/aufderwolfsburg> .

<http://uni-helmstedt.hab.de/prof-109-hofmann/family/0>
  a pcp:Family ;
  pcp:hasWife cph:108_Breuning ;
  pcp:weddingYear "1575"^^xsd:year .

cph:108_Breuning
  a pcp:Person ;
  pcp:hasStageOfLife <http://uni-helmstedt.ad.hab.de/108_Breuning/birth> ;
  pcp:forename "Anna"^^xsd:string ;
  pcp:name "Hofmann"^^xsd:string ;
  pcp:birthname "Breuning"^^xsd:string ;
  rdfs:label "Anna Hofmann geb. Breuning"^^xsd:string .

<cph:city/eckelstaedt-jena?>
  a pcp:Location ;
  rdfs:label "Eckelstädt (Jena?)"^^xsd:string .

<http://uni-helmstedt.ad.hab.de/108_Breuning/birth>
  a pcp:Birth ;
  pcp:stageOfLifeLocation <cph:city/eckelstaedt-jena?> .

<http://uni-helmstedt.hab.de/prof-109-hofmann/chair_209>
  a pcp:ChairProfessorship ;
  rdfs:label "höhere Mathematik"@ger ;
  pcp:from "1576"^^xsd:year ;
  pcp:to "1593"^^xsd:year ;
  pcp:hasStageOfLifeLocation <cph:city/helmstedt> ;
  pcp:hasFaculty <http://uni-helmstedt.hab.de/faculty/phil/0> .

<cph:city/helmstedt>
  a pcp:Location ;
  rdfs:label "Helmstedt"^^xsd:string .

<http://uni-helmstedt.hab.de/faculty/phil/0>
  a pcp:FacultyOfPhilosophy ;
  rdfs:label "Philosophische Fakultät Helmstedt"@ger .

<http://uni-helmstedt.hab.de/lecture/7392>
  a pcp:Lecture ;
  rdfs:label "M: Erhardus Hofmannus tribus septimanae diebus Arithmeticam Frisii, tribus itidem in Theoria planetarum traditurus est."@lat ;
  pcp:hasFaculty <http://uni-helmstedt.hab.de/faculty/phil/0> ;
  pcp:lectureIsOfType "Lectio publica"@lat ;
  pcp:hasSemester "pcp:semester/1581A" ;
  pcp:proofResource "http://diglib.hab.de/periodica/ed000012-ss1581/start.htm?image=011-1"^^xsd:anyURL .

<pcp:semester/1581A>
  a pcp:SummerSemester ;
  rdfs:label "Sommersemester 1581"@ger ;
  pcp:from "1581-03-26"^^xsd:date ;
  pcp:to "1581-09-28"^^xsd:date .

<http://uni-helmstedt.hab.de/lecture/8853>
  a pcp:Lecture ;
  rdfs:label "[...] Reliquis diebus eadem hora explicat doctrinam secundorum mobilium eorundemq. Usum monstrat in tabulis Prutemicis. Hunc tractatum hoc semestri Deo volente absoluet."@lat ;
  pcp:hasFaculty <http://uni-helmstedt.hab.de/faculty/phil/0> ;
  pcp:lectureIsOfType "Lectio publica"@lat ;
  pcp:hasSemester "pcp:semester/1582A" .

<pcp:semester/1582A>
  a pcp:SummerSemester ;
  rdfs:label "Sommersemester 1582"@ger ;
  pcp:from "1582-04-15"^^xsd:date ;
  pcp:to "1582-09-28"^^xsd:date .

<http://uni-helmstedt.hab.de/lecture/8854>
  a pcp:Lecture ;
  rdfs:label "M. Erhardus Hofman Mathematum Professor diebus Lunae et Martis hora I evoluit Elementa geometriae Euclideae: Et hoc tempore duos priores libros absoluit, tertium etiam adjunget, hoc absoluto proponet praecepta Arithmetices Gemmae Frisii. [...]"@lat ;
  pcp:hasFaculty <http://uni-helmstedt.hab.de/faculty/phil/0> ;
  pcp:lectureIsOfType "Lectio publica"@lat ;
  pcp:hasSemester "pcp:semester/1582A" ;
  pcp:date "1 nachmittags"^^xsd:time .

<http://uni-helmstedt.hab.de/lecture/8820>
  a pcp:Lecture ;
  rdfs:label "[...] reliquis diebus Iouis Veneris et Saturni eadem hora praecepta Arithmeticae Cossicae."@lat ;
  pcp:hasFaculty <http://uni-helmstedt.hab.de/faculty/phil/0> ;
  pcp:lectureIsOfType "Lectio publica"@lat ;
  pcp:hasSemester "pcp:semester/1587B" ;
  pcp:date "8"^^xsd:time, "Donnerstag; Freitag; Sonnabend"^^xsd:string .

<pcp:semester/1587B>
  a pcp:WinterSemester ;
  rdfs:label "Wintersemester 1587/1588"@ger ;
  pcp:from "1587-09-29"^^xsd:date ;
  pcp:to "1588-04-06"^^xsd:date .

<http://uni-helmstedt.hab.de/lecture/8821>
  a pcp:Lecture ;
  rdfs:label "M. Erhardus Hofman Mathematum professor post absolutam secundorum mobilium Theoriam per hoc semestre hybernum, tribus diebus Lunae Martis et Mercurij hora octaua matutina proponet doctrinam triangulorum planorum et Sphaericorum [...]"@lat ;
  pcp:hasFaculty <http://uni-helmstedt.hab.de/faculty/phil/0> ;
  pcp:lectureIsOfType "Lectio publica"@lat ;
  pcp:hasSemester "pcp:semester/1587B" ;
  pcp:date "8"^^xsd:time, "Montag; Dienstag; Mittwoch"^^xsd:string .