From 9ce65c5a963b03ee97fe9cb6c5aa65a3c04a80a8 Mon Sep 17 00:00:00 2001
From: yzhou <yujiao.zhou@gmail.com>
Date: Tue, 21 Apr 2015 10:34:27 +0100
Subject: initial version

---
 .../cs/pagoda/rules/ExistentialToDisjunctive.java  | 77 ++++++++++++++++++++++
 1 file changed, 77 insertions(+)
 create mode 100644 src/uk/ac/ox/cs/pagoda/rules/ExistentialToDisjunctive.java

(limited to 'src/uk/ac/ox/cs/pagoda/rules/ExistentialToDisjunctive.java')

diff --git a/src/uk/ac/ox/cs/pagoda/rules/ExistentialToDisjunctive.java b/src/uk/ac/ox/cs/pagoda/rules/ExistentialToDisjunctive.java
new file mode 100644
index 0000000..ebe0b7d
--- /dev/null
+++ b/src/uk/ac/ox/cs/pagoda/rules/ExistentialToDisjunctive.java
@@ -0,0 +1,77 @@
+package uk.ac.ox.cs.pagoda.rules;
+
+import java.util.Collection;
+import java.util.HashSet;
+import java.util.LinkedList;
+import java.util.Set;
+
+import org.semanticweb.HermiT.model.AtLeastConcept;
+import org.semanticweb.HermiT.model.Atom;
+import org.semanticweb.HermiT.model.AtomicRole;
+import org.semanticweb.HermiT.model.DLClause;
+import org.semanticweb.HermiT.model.DLPredicate;
+import org.semanticweb.owlapi.model.OWLObjectProperty;
+import org.semanticweb.owlapi.model.OWLOntology;
+import uk.ac.ox.cs.pagoda.constraints.BottomStrategy;
+
+public class ExistentialToDisjunctive extends UpperProgram {
+	
+	Set<String> inverseFuncProperties = new HashSet<String>(); 
+	
+	@Override
+	public void load(OWLOntology o, BottomStrategy bottomStrategy) {
+		super.load(o, bottomStrategy);
+		for (OWLObjectProperty prop: ontology.getObjectPropertiesInSignature(true))
+			if (!(ontology.getInverseFunctionalObjectPropertyAxioms(prop).isEmpty())) 
+				inverseFuncProperties.add(prop.getIRI().toString());
+		((RefinedOverApproxExist) m_approx).setInverseFuncProps(inverseFuncProperties);
+	}
+	
+	@Override
+	protected void initApproximator() {
+		m_approx = new RefinedOverApproxExist(); 
+	}
+
+}
+
+class RefinedOverApproxExist implements Approximator {
+	
+	Approximator approxExist = new OverApproxExist();
+	Set<String> inverseFuncProperties; 
+	
+	public void setInverseFuncProps(Set<String> set) {
+		inverseFuncProperties = set; 
+	}
+	
+	@Override
+	public Collection<DLClause> convert(DLClause clause, DLClause originalClause) {
+		DLPredicate p;
+		Collection<Atom> newHeadAtoms = new LinkedList<Atom>();
+		for (Atom headAtom: clause.getHeadAtoms()) 
+			newHeadAtoms.add(headAtom);
+		
+		for (Atom headAtom: clause.getHeadAtoms()) {
+			p = headAtom.getDLPredicate(); 
+			if (isAtLeastOneOnInverseFuncProperties(p)) 
+				newHeadAtoms.add(headAtom); 
+		}
+		
+		if (newHeadAtoms.size() > clause.getHeadLength()) 
+			clause = DLClause.create(newHeadAtoms.toArray(new Atom[0]), clause.getBodyAtoms());
+			
+		return approxExist.convert(clause, clause); 
+	}
+	
+	private boolean isAtLeastOneOnInverseFuncProperties(DLPredicate predicate) {
+		if (!(predicate instanceof AtLeastConcept))
+			return false;
+		AtLeastConcept atLeast = (AtLeastConcept) predicate;
+		if (!(atLeast.getOnRole() instanceof AtomicRole))
+			return false; 
+			
+		return atLeast.getNumber() == 1 && inverseFuncProperties.contains(((AtomicRole) atLeast.getOnRole()).getIRI()); 
+	}
+	
+
+}
+
-- 
cgit v1.2.3