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.
Faculty
Research
Students
Past Members
Selected Publications
-
Modular Materialisation of Datalog Programs
Pan Hu‚ Boris Motik and Ian Horrocks
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about Modular Materialisation of Datalog Programs | BibTeX data for Modular Materialisation of Datalog Programs
-
Reasoning over Streaming Data in Metric Temporal Datalog
Przemyslaw Andrzej Walega‚ Mark Kaminski and Bernardo Cuenca Grau
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about Reasoning over Streaming Data in Metric Temporal Datalog | BibTeX data for Reasoning over Streaming Data in Metric Temporal Datalog
-
ColNet: Embedding the Semantics of Web Tables for Column Type Prediction
Jiaoyan Chen‚ Ernesto Jimenez−‐Ruiz‚ Ian Horrocks and Charles Sutton
In Proceedings of the Thirty−Third AAAI Conference on Artificial Intelligence (AAAI−19). 2019.
Details about ColNet: Embedding the Semantics of Web Tables for Column Type Prediction | BibTeX data for ColNet: Embedding the Semantics of Web Tables for Column Type Prediction