Ian Horrocks
E1006273
Ian Horrocks is a British computer scientist known for his influential work in description logics and the development of the OWL Web Ontology Language.
All labels observed (1)
| Label | Occurrences |
|---|---|
| Ian Horrocks canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T12857819 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Ian Horrocks Context triple: [Horrocks, hasNotableBearer, Ian Horrocks]
-
A.
Colin Allen
Colin Allen is an author known for his work on the book "Medicine Jar."
-
B.
Patrick J. Hayes
Patrick J. Hayes was an American cardinal of the Roman Catholic Church who served as Archbishop of New York in the early 20th century.
-
C.
Graham Dumpleton
Graham Dumpleton is a software engineer and open-source developer best known for creating and maintaining mod_wsgi, a popular Apache module for hosting Python web applications.
-
D.
Thomas Forster
Thomas Forster is a Jacobite military leader best known for commanding the rebel forces during the 1715 Jacobite rising in England.
-
E.
Geoffrey Smith
Geoffrey Smith is an Australian Anglican archbishop who serves as the national leader (Primate) of the Anglican Church of Australia.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Ian Horrocks Target entity description: Ian Horrocks is a British computer scientist known for his influential work in description logics and the development of the OWL Web Ontology Language.
-
A.
Colin Allen
Colin Allen is an author known for his work on the book "Medicine Jar."
-
B.
Patrick J. Hayes
Patrick J. Hayes was an American cardinal of the Roman Catholic Church who served as Archbishop of New York in the early 20th century.
-
C.
Graham Dumpleton
Graham Dumpleton is a software engineer and open-source developer best known for creating and maintaining mod_wsgi, a popular Apache module for hosting Python web applications.
-
D.
Thomas Forster
Thomas Forster is a Jacobite military leader best known for commanding the rebel forces during the 1715 Jacobite rising in England.
-
E.
Geoffrey Smith
Geoffrey Smith is an Australian Anglican archbishop who serves as the national leader (Primate) of the Anglican Church of Australia.
- F. None of above. chosen
Statements (41)
| Predicate | Object |
|---|---|
| instanceOf |
academic
ⓘ
computer scientist ⓘ person ⓘ researcher ⓘ |
| affiliation | University of Oxford NERFINISHED ⓘ |
| citizenship | United Kingdom ⓘ |
| contributedTo |
OWL Web Ontology Language specification
NERFINISHED
ⓘ
development of description logic reasoners ⓘ standardization of OWL at W3C ⓘ |
| employer | University of Oxford ⓘ |
| field |
artificial intelligence
ⓘ
computer science ⓘ description logics ⓘ knowledge representation ⓘ |
| hasAcademicDiscipline | computer science ⓘ |
| hasRole |
researcher in description logics
ⓘ
semantic web scientist ⓘ university professor ⓘ |
| influencedField |
knowledge representation
ⓘ
ontology languages ⓘ semantic web ⓘ |
| isAlive | true ⓘ |
| knownFor |
OWL Web Ontology Language
NERFINISHED
ⓘ
description logics ⓘ ontology languages ⓘ reasoning systems ⓘ semantic web ⓘ |
| language | English ⓘ |
| memberOf | Oxford Department of Computer Science NERFINISHED ⓘ |
| name | Ian Horrocks NERFINISHED ⓘ |
| nationality | British ⓘ |
| notableWork |
OWL DL design
NERFINISHED
ⓘ
description logic–based reasoning for ontologies ⓘ |
| position | Professor of Computer Science at the University of Oxford ⓘ |
| researchInterest |
description logics
ⓘ
knowledge representation and reasoning ⓘ ontology engineering ⓘ semantic web technologies ⓘ |
| worksOn |
automated reasoning
ⓘ
logic-based knowledge representation ⓘ ontology-based data access ⓘ |
How these facts were elicited
The pipeline generated the facts above by prompting gpt-5.1 with this entity's name + description and the instruction below.
Instruction
You are a knowledge base construction expert. Given a subject entity and a description of it, return factual statements that you know for the subject as a JSON list of dictionaries(triples), where keys must be "subject", "predicate" and "object". The number of facts may be very high, between 25 to 50 or more, for very popular subjects. For less popular subjects, the number of facts can be very low, like 5 or 10. # Requirements - If you don't know the subject at all, return an empty list. - If the subject is not a named entity, return an empty list. - Include at least one triple where predicate is "instanceOf". - Do not get too wordy. - Separate several objects into multiple triples with one object.
Input
Subject: Ian Horrocks Description of subject: Ian Horrocks is a British computer scientist known for his influential work in description logics and the development of the OWL Web Ontology Language.
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.