changed handling of PIs to be List of OWLAxiom instead of tuple of
OWLThings