dbo:abstract
|
- 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. (en)
- 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. (fr)
|
dbo:academicDiscipline
| |
dbo:almaMater
| |
dbo:award
| |
dbo:birthDate
| |
dbo:birthName
| |
dbo:birthPlace
| |
dbo:institution
| |
dbo:knownFor
| |
dbo:thumbnail
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 12155 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
dbp:almaMater
| |
dbp:awards
| |
dbp:birthDate
| |
dbp:birthName
| |
dbp:birthPlace
| |
dbp:caption
| |
dbp:fields
|
- Artificial intelligence (en)
- Logic in computer science (en)
- Semantic Web (en)
- (en)
- Knowledge Representation (en)
- Ontologies (en)
|
dbp:knownFor
|
- Web Ontology Language (en)
- (en)
- Description Logic (en)
|
dbp:name
| |
dbp:nationality
| |
dbp:thesisTitle
|
- Optimising tableaux decision procedures for description logics (en)
|
dbp:thesisUrl
| |
dbp:thesisYear
| |
dbp:wikiPageUsesTemplate
| |
dbp:workplaces
|
- Oriel College, Oxford (en)
- University of Manchester (en)
- University of Oxford (en)
- (en)
|
dcterms:subject
| |
gold:hypernym
| |
schema:sameAs
| |
rdf:type
| |
rdfs:comment
|
- 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. (en)
- 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. (fr)
|
rdfs:label
|
- Ian Horrocks (en)
- Ian Horrocks (fr)
|
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
is dbo:editor
of | |
is dbo:notableStudent
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is foaf:primaryTopic
of | |