Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. - Konstantinos Mokos; Panagiotis Katsaros; Nick Bassiliades; Vangelis Vassiliadis; Maxime Perrotin (JCKBSE, 2008)

Processing OWL2 Ontologies using Thea: An Application of Logic Programming. - Vangelis Vassiliadis; Jan Wielemaker; Chris Mungall (OWLED, 2009)