About: Ian Horrocks

Not logged in : Login

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Ian Horrocks Goto Sponge NotDistinct Permalink

An Entity of Type : http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson, within Data Space : ods-qa.openlinksw.com:8896 associated with source document(s)

Type:

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.

Attributes	Values
type	yago:Alumnus109786338 yago:Associate109816771 yago:CausalAgent100007347 yago:Colleague109935990 yago:Intellectual109621545 yago:LivingThing100004258 yago:Organism100004475 yago:Peer109626238 yago:Person100007846 yago:Scholar110557854 yago:WikicatLivingPeople yago:Scientist110560637 dbpedia-owl:Animal dbpedia-owl:Eukaryote dbpedia-owl:Artist dbpedia-owl:Scientist species yago:Object100002684 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Whole100003553 Thing eukaryote animal yago:WikicatArtificialIntelligenceResearchers http://www.wikidata.org/entity/Q901 person Person schema:Person yago:WikicatFellowsOfOrielCollege,Oxford yago:WikicatFellowsOfTheBritishComputerSociety yago:WikicatFellowsOfTheRoyalSociety yago:ResearchWorker110523076 yago:WikicatAlumniOfTheVictoriaUniversityOfManchester person human Natural person
dbpprop:nationality	British
sameAs	http://yago-knowledge.org/resource/Ian_Horrocks http://fr.dbpedia.org/resource/Ian_Horrocks https://orcid.org/0000-0002-2685-7462 https://dblp.org/pid/h/IanHorrocks fbase:m.027c7z0 http://www.wikidata.org/entity/Q5981834 http://d-nb.info/gnd/1136289895 http://viaf.org/viaf/61840632 https://global.dbpedia.org/id/4n76U Ian Horrocks
wasDerivedFrom	http://en.wikipedia.org/wiki/Ian_Horrocks?oldid=1071423291&ns=0
dbpedia-owl: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.
birth place	dbpedia:Liverpool
dbpedia-owl:thumbnail	http://commons.wikimedia.org/wiki/Special:FilePath/Ian_Horrocks_mg_7439.jpg?width=300
dbpedia-owl:wikiPageExternalLink	https://www.oxfordsemantic.tech/ http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/1997/phd.pdf
dbpedia-owl:wikiPageID	8643390(xsd:integer)
dbpedia-owl:wikiPageRevisionID	1071423291(xsd:integer)
dbpprop:caption	Ian Horrocks
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.
label	Ian Horrocks Ian Horrocks
dbpprop:birthPlace	dbpedia:Liverpool
dbpprop:wikiPageUsesTemplate	dbpedia:Template:For dbpedia:Template:Post-nominals dbpedia:Template:Authority_control dbpedia:Template:Citation_needed dbpedia:Template:Reflist dbpedia:Template:Use_dmy_dates dbpedia:Template:FRS_2011 dbpedia:Template:EngvarB dbpedia:Template:Birth_date_and_age dbpedia:Template:Infobox_scientist dbpedia:Template:URL
name	Ian Horrocks
dbpprop:thesisTitle	Optimising tableaux decision procedures for description logics
dbpprop:thesisUrl	http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/1997/phd.pdf
dbpprop:thesisYear	1997(xsd:integer)
described by	proxy:entity/http/dbpedia.org/resource/OBO_Foundry proxy:entity/http/dbpedia.org/resource/World_Wide_Web_Consortium proxy:entity/http/dbpedia.org/resource/Description_logic
topic	dbpedia:List_of_Oriel_College,_Oxford,_people dbpedia:Journal_of_Web_Semantics http://en.wikipedia.org/wiki/Ian_Horrocks dbpedia:Ian_Horrocks#this dbpedia:Ontology_Inference_Layer dbpedia:Horrocks dbpedia:List_of_fellows_of_the_Royal_Society_elected_in_2011 dbpedia:BCS_Lovelace_Medal dbpedia:Alan_Rector dbpedia:List_of_fellows_of_the_Royal_Society_G,_H,_I dbpedia:Adam_Parr dbpedia:Web_Ontology_Language dbpedia:Department_of_Computer_Science,_University_of_Manchester dbpedia:Roger_Needham_Award Description logic dbpedia:Department_of_Computer_Science,_University_of_Oxford dbpedia:Ulrike_Sattler dbpedia:Pat_Hayes

Faceted Search & Find service v1.17_git55 as of Mar 01 2021

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3322 as of Mar 14 2022, on Linux (x86_64-generic-linux-glibc25), Single-Server Edition (7 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software