Formal Encoding of Drama Ontology.