Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:physicist
|
| gptkbp:affiliation |
gptkb:University_of_Oxford
|
| gptkbp:birthPlace |
gptkb:United_Kingdom
|
| gptkbp:birthYear |
1964
|
| gptkbp:education |
gptkb:University_of_Manchester
|
| gptkbp:field |
Artificial Intelligence
Knowledge Representation |
| https://www.w3.org/2000/01/rdf-schema#label |
David Horrocks
|
| gptkbp:knownFor |
Ontology Engineering
Description_Logics |
| gptkbp:notableWork |
gptkb:OWL_(Web_Ontology_Language)
FaCT_(Fast_Classification_of_Terminologies) |