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:
Geoff_Sutcliffe
Property
Value
rdf:
type
Zambian emigrant to South Africa
owl:
NamedIndividual
1961 birth
Living person
Logic programming researcher
Zambian emigrant to Australia
British computer scientist
Zambian person of English descent
Australian expatriate in the United States
Australian computer scientist
rdfs:
label
Geoff Sutcliffe
owl:
sameAs
dbr:
Geoff_Sutcliffe
prov:
wasDerivedFrom
http://en.wikipedia.org/wiki/Category:1961_births
http://en.wikipedia.org/wiki/Category:Lists_of_living_people
http://en.wikipedia.org/wiki/Category:Living_people
http://en.wikipedia.org/wiki/Category:Logic_programming_researchers
http://en.wikipedia.org/wiki/List_of_living_people
http://en.wikipedia.org/wiki/Category:Australian_computer_scientists
http://en.wikipedia.org/wiki/Category:Zambian_emigrants_to_South_Africa
http://en.wikipedia.org/wiki/Category:British_computer_scientists
http://en.wikipedia.org/wiki/Category:Australian_expatriates_in_the_United_States
http://en.wikipedia.org/wiki/Category:Zambian_people_of_English_descent
http://en.wikipedia.org/wiki/Category:Zambian_emigrants_to_Australia
skos:
prefLabel
Geoff Sutcliffe
clgo:
academicDiscipline
Computer science
Parallel computing
Logic programming
Distributed computing
Artificial intelligence
Automated theorem proving
clgo:
almaMater
University of Western Australia
University of Natal
clgo:
birthDate
1961-10-28
clgo:
birthPlace
Zambia
Ndola
clgo:
birthYear
1961
clgo:
institution
University of Durban-Westville
Edith Cowan University
University of Natal
James Cook University
University of Miami
clgo:
knownFor
CADE ATP System Competition
Thousands of Problems for Theorem Provers
clgo:
nationality
Australian nationality law
Australians
British nationality law