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.
People
|
Former members |
|
Faculty |
|
|
Research |
|
|
Students |
|
|
Past Members |
|
Selected Publications
| LogMap results for OAEI 2011 E. Jiménez−Ruiz‚ A. Morant and B. Cuenca Grau In Proc. of the 6th International Workshop on Ontology Matching (OM). Vol. 814. CEUR Workshop Proceedings (CEUR−WS.org). 2011. http://ceur−ws.org/Vol−814/ |
| Towards more challenging problems for ontology matching tools E. Jiménez−Ruiz and B. Cuenca Grau In Proc. of the 6th International Workshop on Ontology Matching (OM). Vol. 814. CEUR Workshop Proceedings (CEUR−WS.org). 2011. |
| LogMap: Logic−Based and Scalable Ontology Matching Ernesto Jiménez−Ruiz and Bernardo Cuenca Grau In International Semantic Web Conference (ISWC). Vol. 7031 of Lecture Notes in Computer Science. Pages 273−288. Springer. October, 2011. |
Links
Knowledge Representation and Reasoning website
Info
|
Current projects |
ConDOR | ExODA | LogMap | Privacy in Ontology-Based Information Systems | QueRe | SEALS |
|
Completed projects |
|
|
Themes |
