Augmenting the Expressivity of the Ontology Pre-Processor Language

We present the latest release of the Ontology Pre-Processor Language, a language for querying and modifying Description Logic knowledge bases expressed in OWL. We briefly describe its renewed syntax and decidability. We compare the proposed language expressivity with the state of the art. 1 Motivation The version of the Ontology Pre-Processor Language (OPPL) described here is the successor of the initial effort presented in [1]. The need for this kind of language is particularly evident in bio-ontologies, where knowledge models originally consist of initial skeletons that are open to enrichment in a semiautomatic fashion [2]. To do this, ontology engineers need the means of expressing declaratively the set of axioms to be added (edited) along with the circumstances under which these additions (editing) should be performed. Although the initial effort on OPPL proved to be a successful first step towards this objective, it was deemed necessary to partially rework it aiming at:

• Type: Conference
• Year: 2008
• Where: OWLED
• Authors: Luigi Iannone, Mikel Egaña Aranguren, Alan L. Rector, Robert Stevens
• Keywords: Initial Effort, Knowledge Bases, Natural Language Processing, Ontology Pre-Processor Language, OWLED 2008