This HTML5 document contains 178 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n26https://global.dbpedia.org/id/
n25https://dblp.org/pid/h/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
n24https://orcid.org/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n23http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#
freebasehttp://rdf.freebase.com/ns/
n20http://viaf.org/viaf/
n22http://commons.wikimedia.org/wiki/Special:FilePath/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-frhttp://fr.dbpedia.org/resource/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
n27https://www.oxfordsemantic.tech/
goldhttp://purl.org/linguistics/gold/
wikidatahttp://www.wikidata.org/entity/
n15http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/1997/
dbrhttp://dbpedia.org/resource/
n9http://d-nb.info/gnd/

Statements

Subject Item
dbr:Ian_Horrocks
rdf:type
yago:Organism100004475 wikidata:Q215627 yago:Object100002684 wikidata:Q729 yago:YagoLegalActor yago:YagoLegalActorGeo wikidata:Q5 yago:ResearchWorker110523076 dbo:Eukaryote dbo:Artist yago:WikicatFellowsOfTheRoyalSociety yago:PhysicalEntity100001930 yago:Scholar110557854 schema:Person yago:WikicatLivingPeople dbo:Species yago:WikicatAlumniOfTheVictoriaUniversityOfManchester owl:Thing n23:NaturalPerson dbo:Scientist yago:CausalAgent100007347 yago:Scientist110560637 yago:WikicatFellowsOfOrielCollege,Oxford foaf:Person yago:WikicatArtificialIntelligenceResearchers dbo:Person yago:Person100007846 yago:WikicatFellowsOfTheBritishComputerSociety yago:Peer109626238 yago:Alumnus109786338 dbo:Animal yago:Associate109816771 wikidata:Q19088 yago:Intellectual109621545 yago:Whole100003553 yago:LivingThing100004258 wikidata:Q901 yago:Colleague109935990
rdfs:label
Ian Horrocks Ian Horrocks
rdfs:comment
Ian Robert Horrocks, né le 11 mars 1958 à Liverpool, est un informaticien britannique, spécialiste des représentation des connaissances et du raisonnement, en particulier les langages d'ontologie. Ian Robert Horrocks FRS is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.
foaf:name
Ian Horrocks
dbp:name
Ian Horrocks
foaf:depiction
n22:Ian_Horrocks_mg_7439.jpg
dbo:birthPlace
dbr:Liverpool
dbp:birthPlace
dbr:Liverpool
dbo:birthDate
1958-03-11
dcterms:subject
dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbc:Semantic_Web_people dbc:Fellows_of_Oriel_College,_Oxford dbc:Living_people dbc:Fellows_of_the_British_Computer_Society dbc:Fellows_of_the_Royal_Society dbc:Artificial_intelligence_researchers dbc:1958_births dbc:Alumni_of_the_Victoria_University_of_Manchester dbc:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester
dbo:wikiPageID
8643390
dbo:wikiPageRevisionID
1071423291
dbo:wikiPageWikiLink
dbr:University_of_Manchester dbc:Semantic_Web_people dbr:Description_logic dbr:DAML+OIL dbr:National_Cancer_Institute dbc:Members_of_the_Department_of_Computer_Science,_University_of_Oxford dbr:Description_Logic dbr:Master_of_Science dbr:PhD dbr:United_Nations dbr:Semantic_Web dbr:Semantic_reasoner dbc:Living_people dbr:Ontology_language_(computer_science) dbc:Fellows_of_the_British_Computer_Society dbr:Engineering_and_Physical_Sciences_Research_Council dbc:Fellows_of_Oriel_College,_Oxford dbc:Fellows_of_the_Royal_Society dbr:Department_of_Computer_Science,_University_of_Manchester dbr:International_Semantic_Web_Conference dbr:Oxbridge_Fellow dbc:Artificial_intelligence_researchers dbr:In-memory_database dbr:Logic_in_computer_science dbr:Fellow_of_the_Royal_Society dbr:Journal_of_Web_Semantics dbr:Artificial_intelligence dbc:1958_births dbr:Computer_science dbr:Editor-in-chief dbr:Corporate_spin-off dbr:Reasoning_system dbr:World_Wide_Web_Consortium dbr:Roger_Needham_Award dbr:British_Computer_Society dbr:Web_Ontology_Language dbr:Oriel_College,_Oxford dbr:Decision_problem dbr:Knowledge_graph dbr:Open_Biomedical_Ontologies dbr:Food_and_Agriculture_Organization dbr:Liverpool dbc:Alumni_of_the_Victoria_University_of_Manchester dbr:BCS_Lovelace_Medal dbr:Knowledge_representation_and_reasoning dbr:Bachelor_of_Science dbr:University_of_Oxford dbr:Reader_(academic_rank) dbr:Method_of_analytic_tableaux dbr:Ontology_(information_science) dbc:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester
dbo:wikiPageExternalLink
n15:phd.pdf n27:
owl:sameAs
dbpedia-fr:Ian_Horrocks n9:1136289895 wikidata:Q5981834 n20:61840632 yago-res:Ian_Horrocks n24:0000-0002-2685-7462 n25:IanHorrocks n26:4n76U freebase:m.027c7z0
dbp:thesisTitle
Optimising tableaux decision procedures for description logics
dbp:thesisUrl
n15:phd.pdf
dbp:thesisYear
1997
dbp:workplaces
Oriel College, Oxford University of Oxford University of Manchester
dbp:wikiPageUsesTemplate
dbt:FRS_2011 dbt:EngvarB dbt:Citation_needed dbt:Post-nominals dbt:Infobox_scientist dbt:Reflist dbt:Use_dmy_dates dbt:Birth_date_and_age dbt:URL dbt:For dbt:Authority_control
dbo:thumbnail
n22:Ian_Horrocks_mg_7439.jpg?width=300
dbp:almaMater
dbr:University_of_Manchester
dbp:awards
dbr:Roger_Needham_Award dbr:BCS_Lovelace_Medal
dbp:birthDate
1958-03-11
dbp:birthName
Ian Robert Horrocks
dbp:caption
Ian Horrocks
dbp:fields
Semantic Web Knowledge Representation Artificial intelligence Logic in computer science Ontologies
dbp:knownFor
Description Logic Web Ontology Language
dbp:nationality
British
dbo:abstract
Ian Robert Horrocks, né le 11 mars 1958 à Liverpool, est un informaticien britannique, spécialiste des représentation des connaissances et du raisonnement, en particulier les langages d'ontologie. Ian Robert Horrocks FRS is a professor of computer science at the University of Oxford in the UK and a Fellow of Oriel College, Oxford. His research focuses on knowledge representation and reasoning, particularly ontology languages, description logic and optimised tableaux decision procedures.
dbo:institution
dbr:University_of_Oxford dbr:University_of_Manchester dbr:Oriel_College,_Oxford
gold:hypernym
dbr:Professor
schema:sameAs
n20:61840632
prov:wasDerivedFrom
wikipedia-en:Ian_Horrocks?oldid=1071423291&ns=0
dbo:wikiPageLength
12155
dbo:birthName
Ian Robert Horrocks
dbo:academicDiscipline
dbr:Artificial_intelligence dbr:Knowledge_representation_and_reasoning dbr:Logic_in_computer_science dbr:Semantic_Web dbr:Ontology_(information_science)
dbo:almaMater
dbr:University_of_Manchester
dbo:award
dbr:Roger_Needham_Award dbr:BCS_Lovelace_Medal
dbo:knownFor
dbr:Web_Ontology_Language dbr:Description_Logic
foaf:isPrimaryTopicOf
wikipedia-en:Ian_Horrocks