| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthName
| |
| dbo:birthPlace
| |
| dbo:description
|
- 研究者 (ja)
- 研究者 (zh)
- 연구원 (ko)
- informaticus (nl)
- Professor of Computer Science at the University of Oxford (en)
- ricercatore e professore universitario inglese (it)
|
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:awards
| |
| dbp:birthDate
| |
| dbp:birthName
| |
| dbp:birthPlace
| |
| dbp:caption
| |
| dbp:fields
|
- (en)
- Artificial intelligence (en)
- Semantic Web (en)
- Logic in computer science (en)
- Knowledge Representation (en)
- Ontologies (en)
|
| dbp:knownFor
|
- (en)
- Web Ontology Language (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
|
- (en)
- University of Oxford (en)
- University of Manchester (en)
- Oriel College, Oxford (en)
|
| dct:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:label
|
- Ian Horrocks (en)
- Ian Horrocks (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:notableStudent
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is foaf:primaryTopic
of | |