Knowledge Representation and Reasoning
The Knowledge Representation and Reasoning Group conducts research in knowledge representation formalisms, ontology languages, the design, implementation and optimisation of reasoning systems, and applications in areas such as e-Science and the Semantic Web. Members of the group were centrally involved in the development of the World Wide Web Consortium (W3C) OWL ontology language, and are leading the development of its successor OWL2. They have also designed the logics and algorithms that underpin OWL(2), and have implemented these algorithms in highly optimised reasoning systems such as HermiT.
Extending Consequence−Based Reasoning to SRIQ
Andrew Bate‚ Boris Motik‚ Bernardo Cuenca Grau‚ Frantisek Simancik and Ian Horrocks
In Chitta Baral‚ James P. Delgrande and Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference. Pages 187–196. AAAI Press. 2016.
Ontology−based End−user Visual Query Formulation: Why‚ what‚ who‚ how‚ and which?
Ahmet Soylu‚ Martin Giese‚ Ernesto Jimenez−Ruiz‚ Evgeny Kharlamov‚ Dmitriy Zheleznyakov and Ian Horrocks
In Universal Access in the Information Society. Vol. (in press). 2016.
Experiencing OptiqueVQS: a multi−paradigm and ontology−based visual query system for end users
Ahmet Soylu‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Guillermo Vega−Gorgojo and Ian Horrocks
In Universal Access in the Information Society. Vol. 15. Pages 129−152. 2016.