Ian Horrocks

http://dbpedia.org/resource/Ian_Horrocks an entity of type: Thing

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. rdf:langString
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. rdf:langString
rdf:langString Ian Horrocks
rdf:langString Ian Horrocks
rdf:langString Ian Horrocks
rdf:langString Ian Horrocks
xsd:date 1958-03-11
xsd:integer 8643390
xsd:integer 1071423291
rdf:langString Optimising tableaux decision procedures for description logics
xsd:integer 1997
rdf:langString Oriel College, Oxford
rdf:langString University of Manchester
rdf:langString University of Oxford
rdf:langString
xsd:date 1958-03-11
rdf:langString Ian Robert Horrocks
rdf:langString Ian Horrocks
rdf:langString Artificial intelligence
rdf:langString Logic in computer science
rdf:langString Semantic Web
rdf:langString
rdf:langString Knowledge Representation
rdf:langString Ontologies
rdf:langString Web Ontology Language
rdf:langString
rdf:langString Description Logic
rdf:langString British
rdf:langString 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.
rdf:langString 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.
xsd:nonNegativeInteger 12155
rdf:langString Ian Robert Horrocks
owl:Thing
foaf:Person
dbpedia-owl:Person
<http://www.ontologydesignpatterns.org/ont/dul/DUL.owl#NaturalPerson>
<http://www.wikidata.org/entity/Q19088>
<http://www.wikidata.org/entity/Q215627>
<http://www.wikidata.org/entity/Q5>
<http://www.wikidata.org/entity/Q729>
yago:WikicatArtificialIntelligenceResearchers
dbpedia-owl:Animal
dbpedia-owl:Eukaryote
dbpedia-owl:Scientist
dbpedia-owl:Species
schema-org:Person
yago:WikicatLivingPeople
<http://www.wikidata.org/entity/Q901>
yago:Alumnus109786338
yago:Associate109816771
yago:CausalAgent100007347
yago:Colleague109935990
yago:Intellectual109621545
yago:LivingThing100004258
yago:Object100002684
yago:Organism100004475
yago:Peer109626238
yago:Person100007846
yago:PhysicalEntity100001930
yago:ResearchWorker110523076
yago:YagoLegalActor
yago:YagoLegalActorGeo
dbpedia-owl:Artist
yago:Scholar110557854
yago:Scientist110560637
yago:Whole100003553
yago:WikicatAlumniOfTheVictoriaUniversityOfManchester
yago:WikicatFellowsOfOrielCollege,Oxford
yago:WikicatFellowsOfTheBritishComputerSociety
yago:WikicatFellowsOfTheRoyalSociety
<http://commons.wikimedia.org/wiki/Special:FilePath/Ian_Horrocks_mg_7439.jpg>
<http://dbpedia.org/resource/Liverpool>
<http://dbpedia.org/resource/Liverpool>
<http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:1958_births>
<http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society>
<http://dbpedia.org/resource/Category:Alumni_of_the_Victoria_University_of_Manchester>
<http://dbpedia.org/resource/Category:Artificial_intelligence_researchers>
<http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society>
<http://dbpedia.org/resource/Category:Fellows_of_Oriel_College,_Oxford>
<http://dbpedia.org/resource/Category:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester>
<http://dbpedia.org/resource/Category:Semantic_Web_people>
<http://dbpedia.org/resource/Roger_Needham_Award>
<http://dbpedia.org/resource/Department_of_Computer_Science,_University_of_Manchester>
<http://dbpedia.org/resource/Description_Logic>
<http://dbpedia.org/resource/Description_logic>
<http://dbpedia.org/resource/Category:Members_of_the_Department_of_Computer_Science,_University_of_Oxford>
<http://dbpedia.org/resource/United_Nations>
<http://dbpedia.org/resource/University_of_Manchester>
<http://dbpedia.org/resource/University_of_Oxford>
<http://dbpedia.org/resource/Decision_problem>
<http://dbpedia.org/resource/Reasoning_system>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Corporate_spin-off>
<http://dbpedia.org/resource/Master_of_Science>
<http://dbpedia.org/resource/Open_Biomedical_Ontologies>
<http://dbpedia.org/resource/Semantic_reasoner>
<http://dbpedia.org/resource/Engineering_and_Physical_Sciences_Research_Council>
<http://dbpedia.org/resource/Liverpool>
<http://dbpedia.org/resource/Computer_science>
<http://dbpedia.org/resource/BCS_Lovelace_Medal>
<http://dbpedia.org/resource/Bachelor_of_Science>
<http://dbpedia.org/resource/Category:1958_births>
<http://dbpedia.org/resource/Category:Fellows_of_the_Royal_Society>
<http://dbpedia.org/resource/British_Computer_Society>
<http://dbpedia.org/resource/Category:Alumni_of_the_Victoria_University_of_Manchester>
<http://dbpedia.org/resource/Web_Ontology_Language>
<http://dbpedia.org/resource/DAML+OIL>
<http://dbpedia.org/resource/Logic_in_computer_science>
<http://dbpedia.org/resource/Fellow_of_the_Royal_Society>
<http://dbpedia.org/resource/Food_and_Agriculture_Organization>
<http://dbpedia.org/resource/Editor-in-chief>
<http://dbpedia.org/resource/Journal_of_Web_Semantics>
<http://dbpedia.org/resource/Knowledge_graph>
<http://dbpedia.org/resource/Knowledge_representation_and_reasoning>
<http://dbpedia.org/resource/Reader_(academic_rank)>
<http://dbpedia.org/resource/International_Semantic_Web_Conference>
<http://dbpedia.org/resource/Artificial_intelligence>
<http://dbpedia.org/resource/Category:Artificial_intelligence_researchers>
<http://dbpedia.org/resource/Category:Fellows_of_the_British_Computer_Society>
<http://dbpedia.org/resource/Category:Fellows_of_Oriel_College,_Oxford>
<http://dbpedia.org/resource/Category:People_associated_with_the_Department_of_Computer_Science,_University_of_Manchester>
<http://dbpedia.org/resource/Category:Semantic_Web_people>
<http://dbpedia.org/resource/PhD>
<http://dbpedia.org/resource/Method_of_analytic_tableaux>
<http://dbpedia.org/resource/National_Cancer_Institute>
<http://dbpedia.org/resource/Ontology_(information_science)>
<http://dbpedia.org/resource/Oriel_College,_Oxford>
<http://dbpedia.org/resource/World_Wide_Web_Consortium>
<http://dbpedia.org/resource/In-memory_database>
<http://dbpedia.org/resource/Semantic_Web>
<http://dbpedia.org/resource/Ontology_language_(computer_science)>
<http://dbpedia.org/resource/Oxbridge_Fellow>
<https://www.oxfordsemantic.tech/>
<http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/1997/phd.pdf>
<http://rdf.freebase.com/ns/m.027c7z0>
<http://viaf.org/viaf/61840632>
<http://yago-knowledge.org/resource/Ian_Horrocks>
<http://d-nb.info/gnd/1136289895>
<https://dblp.org/pid/h/IanHorrocks>
<https://orcid.org/0000-0002-2685-7462>
<http://www.wikidata.org/entity/Q5981834>
<http://fr.dbpedia.org/resource/Ian_Horrocks>
<https://global.dbpedia.org/id/4n76U>
<http://www.cs.ox.ac.uk/ian.horrocks/Publications/download/1997/phd.pdf>
<http://dbpedia.org/resource/Template:Authority_control>
<http://dbpedia.org/resource/Template:Citation_needed>
<http://dbpedia.org/resource/Template:EngvarB>
<http://dbpedia.org/resource/Template:For>
<http://dbpedia.org/resource/Template:Post-nominals>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:URL>
<http://dbpedia.org/resource/Template:Use_dmy_dates>
<http://dbpedia.org/resource/Template:Birth_date_and_age>
<http://dbpedia.org/resource/Template:Infobox_scientist>
<http://dbpedia.org/resource/Template:FRS_2011>
<http://commons.wikimedia.org/wiki/Special:FilePath/Ian_Horrocks_mg_7439.jpg?width=300>
<http://dbpedia.org/resource/University_of_Manchester>
<http://dbpedia.org/resource/Roger_Needham_Award>
<http://dbpedia.org/resource/BCS_Lovelace_Medal>
<http://dbpedia.org/resource/University_of_Manchester>
<http://dbpedia.org/resource/University_of_Oxford>
<http://dbpedia.org/resource/Oriel_College,_Oxford>
<http://dbpedia.org/resource/Professor>
<http://viaf.org/viaf/61840632>
<http://en.wikipedia.org/wiki/Ian_Horrocks?oldid=1071423291&ns=0>
<http://dbpedia.org/resource/Logic_in_computer_science>
<http://dbpedia.org/resource/Knowledge_representation_and_reasoning>
<http://dbpedia.org/resource/Artificial_intelligence>
<http://dbpedia.org/resource/Ontology_(information_science)>
<http://dbpedia.org/resource/Semantic_Web>
<http://dbpedia.org/resource/University_of_Manchester>
<http://dbpedia.org/resource/Roger_Needham_Award>
<http://dbpedia.org/resource/BCS_Lovelace_Medal>
<http://dbpedia.org/resource/Description_Logic>
<http://dbpedia.org/resource/Web_Ontology_Language>
<http://en.wikipedia.org/wiki/Ian_Horrocks>

data from the linked data cloud