Home Page +,
DBLP:journals/jods/PanSSTH06 +,
Optimising Propositional Modal Satisfiability for Description Logic Subsumption +,
…
Has author
Proceedings of the OWLED*05 Workshop on OWL: Experiences and Directions, Galway, Ireland, November 11-12, 2005 +,
Closed-World Reasoning in the Semantic Web through Epistemic Operators + Has editor
Ian Horrocks + Has identifier
| Ian Horrocks |
Foaf:firstName
Ian
Foaf:name
Ian Horrocks
Foaf:surname
Horrocks
Foaf:depiction
Anonymous.png +
Foaf:interest
Semantic Web Topic +, Description Logics +
Has affiliation
Oxford University +
Has identifier
Ian Horrocks +
Has role
Full Professor +
Categories Full Professor +, Person +
|
