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.
The Window Validity Problem in Rule−Based Stream Reasoning
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference‚ KR 2018‚ Tempe‚ Arizona‚ 30 October – 2 November 2018. Pages 571–580. 2018.
Complexity and Expressive Power of Weakly Well−Designed SPARQL
Mark Kaminski and Egor V. Kostylev
In Theory Comput. Syst.. Vol. 62. No. 4. Pages 772–809. 2018.
Stream Reasoning in Temporal Datalog
Alessandro Ronca‚ Mark Kaminski‚ Bernardo Cuenca Grau‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Second AAAI Conference on Artificial Intelligence‚ (AAAI−18)‚ New Orleans‚ Louisiana‚ USA‚ February 2–7‚ 2018. Pages 1941–1948. 2018.