A reasoner for querying temporal ontologieshttp://www.library.tuc.gr/artemis/DT2009-0130/DT2009-0130.pdfhttp://purl.tuc.gr/dl/dias/3D3B1ABE-FDF7-4EAC-B550-982549EE351AA reasoner for querying temporal ontologiesfree2014-03-24application/pdf