From bc993800b6fb9fa2b1264db535d3a87121ecdb6b Mon Sep 17 00:00:00 2001
From: Guohui Xiao <gh.xiao@gmail.com>
Date: Wed, 2 Oct 2013 16:52:01 +0200
Subject: [PATCH] fix a null pointer problem

---
 src/OWLProfilization.java | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/OWLProfilization.java b/src/OWLProfilization.java
index 8967e14..2f722db 100644
--- a/src/OWLProfilization.java
+++ b/src/OWLProfilization.java
@@ -53,7 +53,9 @@ public static void main(String... args)
 
 		for (OWLProfileViolation violation : report.getViolations()) {
 			OWLAxiom axiom = violation.getAxiom();
-			manager.removeAxiom(ontology, axiom);
+			if (axiom != null){
+				manager.removeAxiom(ontology, axiom);
+			}
 		}
 
 		manager.saveOntology(ontology, System.out);