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
Past Members
Selected Publications
-
Contextual Semantic Embeddings for Ontology Subsumption Prediction
Jiaoyan Chen‚ Yuan He‚ Ernesto Jiménez−Ruiz‚ Hang Dong and Ian Horrocks
In World Wide Web Journal (WWWJ−2023). 2023.
Details about Contextual Semantic Embeddings for Ontology Subsumption Prediction | BibTeX data for Contextual Semantic Embeddings for Ontology Subsumption Prediction | DOI (https://doi.org/10.1007/s11280-023-01169-9)
-
Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching
Yuan He‚ Jiaoyan Chen‚ Hang Dong‚ Ernesto Jiménez−Ruiz‚ Ali Hadian and Ian Horrocks
In The 21st International Semantic Web Conference (ISWC−2022). 2022.
Best Resource Paper Candidate
Details about Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | BibTeX data for Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | Download (pdf) of Machine Learning−Friendly Biomedical Datasets for Equivalence and Subsumption Ontology Matching | DOI (https://doi.org/10.1007/978-3-031-19433-7_33)
-
BERTMap: A BERT−based Ontology Alignment System
Yuan He‚ Jiaoyan Chen‚ Denvar Antonyrajah and Ian Horrocks
In Proceedings of 36th AAAI Conference on Artificial Intelligence 2022 (AAAI 2022). 2022.
Details about BERTMap: A BERT−based Ontology Alignment System | BibTeX data for BERTMap: A BERT−based Ontology Alignment System | Download (pdf) of BERTMap: A BERT−based Ontology Alignment System | DOI (10.1609/aaai.v36i5.20510)