In this paper, we present a translation process that we have developed to convert KIF\ud ontologies into PDDL. This allows us to define KIF-based agents that \ud can plan efficiently. We discuss the difficulties inherent in such a translation process, and the steps we have taken to overcome them. This process is translates from only a subset of KIF to a corresponding subset of PDDL
To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.