CaLiGraph
Formats
RDF
N-Triples
N3/Turtle
JSON
XML
CSV
OData
Atom
JSON
Microdata
JSON
HTML
Embedded
JSON
Turtle
Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
LODmilla Browser
Sparql Endpoint
About:
clgr:
Thorsten_Altenkirch
Property
Value
rdf:
type
owl:
NamedIndividual
Academic of the University of Nottingham
Alumnus of the University of Edinburgh
Computer scientist
Living person
rdfs:
label
Thorsten Altenkirch
owl:
sameAs
dbr:
Thorsten_Altenkirch
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:Alumni_of_the_University_of_Edinburgh
http://en.wikipedia.org/wiki/Category:Computer_scientists
http://en.wikipedia.org/wiki/Category:Computer_scientists_by_award
http://en.wikipedia.org/wiki/Category:Computer_scientists_by_field_of_research
http://en.wikipedia.org/wiki/Category:Computer_scientists_by_nationality
http://en.wikipedia.org/wiki/Category:Lists_of_computer_scientists
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/List_of_computer_scientists
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/Homotopy_type_theory
http://en.wikipedia.org/wiki/Category:Academics_of_the_University_of_Nottingham
skos:
prefLabel
Thorsten Altenkirch
clgo:
academicDiscipline
Type theory
Constructivism (philosophy of mathematics)
Homotopy type theory
clgo:
almaMater
University of Edinburgh
clgo:
doctoralAdvisor
Rod Burstall
clgo:
institution
Institute for Advanced Study
University of Nottingham
is
clgo:
doctoralStudent
of
Rod Burstall