Restriction checking on OWL:2 temporal ontologieshttp://www.library.tuc.gr/artemis/DT2000-0146/DT2000-0146.pdfhttp://purl.tuc.gr/dl/dias/5AA9C96B-5A0E-42A4-AF7F-4BEB0690A9C5Restriction checking on OWL:2 temporal ontologiesfree2014-03-24application/pdf