OPPL is an abstract formalism that allows for manipulating ontologies written in OWL. The initial effort led to version 1 available here.

Following up the first results and feedback, we decided to develop an enhanced new version of the language that we will denote as OPPL version 2 and whose main features are summarised below:

• 100% based on the Manchester OWL Syntax;
• Query language based on OWL (logical) Axioms and variables;
• Scripting language that allows the addition/removal of OWL (logical) axioms;
• Possibility of working in asserted or inferred mode (using a reasoner - still experimental).

What is currently outside the capabilities of OPPL version 2 (as opposite to version 1) is:

• Non logical OWL Axiom manipulation (annotations, import statements, and ontology metadata)
• String and regular expression matching

This version of OPPL has been developed as part of the CO-ODE project.

Contributors

OPPL version 2 is primarily maintained at the University of Manchester by Luigi Iannone. Besides Luigi, the team responsible for steering the development of OPPL version 2 includes:

• Mikel Egaña Aranguren (Inventor of OPPL version 1)
• Alan Rector
• Robert Stevens