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 Bag Semantics of Ontology−Based Data Access
Charalampos Nikolaou‚ Egor V. Kostylev‚ George Konstantinidis‚ Mark Kaminski‚ Bernardo Cuenca Grau and Ian Horrocks
In Proceedings of the Twenty−Sixth International Joint Conference on Artificial Intelligence‚ IJCAI−17. Pages 1224−1230. 2017.
Modeling and Querying Greek Legislation Using Semantic Web Technologies
Ilias Chalkidis‚ Charalampos Nikolaou‚ Panagiotis Soursos and Manolis Koubarakis
In The Semantic Web − 14th International Conference‚ ESWC 2017‚ Portorož‚ Slovenia‚ May 28 − June 1‚ 2017‚ Proceedings‚ Part I. Pages 591–606. 2017.
Enabling Semantic Access to Static and Streaming Distributed Data with Optique: Demo
Evgeny Kharlamov‚ Sebastian Brandt‚ Martin Giese‚ Ernesto Jiménez−Ruiz‚ Yannis Kotidis‚ Steffen Lamparter‚ Theofilos Mailis‚ Christian Neuenstadt‚ Özgür L. Özçep‚ Christoph Pinkel‚ Ahmet Soylu‚ Christoforos Svingos‚ Dmitriy Zheleznyakov‚ Ian Horrocks‚ Yannis E. Ioannidis‚ Ralf Möller and Arild Waaler
In Proc. International Conference on Distributed and Event−based Systems (DEBS). Pages 350–353. 2016.