[DL-Learner SVN] SF.net SVN: dl-learner:[1697] trunk/src/dl-learner/org/dllearner/test/ PelletBug2.java

[<lor...@us...>]

Revision: 1697
          http://dl-learner.svn.sourceforge.net/dl-learner/?rev=1697&view=rev
Author:   lorenz_b
Date:     2009-04-14 07:50:37 +0000 (Tue, 14 Apr 2009)

Log Message:
-----------
another test of pellet consistency check, which works fine

Added Paths:
-----------
    trunk/src/dl-learner/org/dllearner/test/PelletBug2.java

Added: trunk/src/dl-learner/org/dllearner/test/PelletBug2.java
===================================================================
--- trunk/src/dl-learner/org/dllearner/test/PelletBug2.java	                        (rev 0)
+++ trunk/src/dl-learner/org/dllearner/test/PelletBug2.java	2009-04-14 07:50:37 UTC (rev 1697)
@@ -0,0 +1,92 @@
+package org.dllearner.test;
+
+import java.io.File;
+import java.net.URI;
+
+import org.mindswap.pellet.PelletOptions;
+import org.semanticweb.owl.apibinding.OWLManager;
+import org.semanticweb.owl.inference.OWLReasonerException;
+import org.semanticweb.owl.model.AddAxiom;
+import org.semanticweb.owl.model.OWLAxiom;
+import org.semanticweb.owl.model.OWLClass;
+import org.semanticweb.owl.model.OWLDataFactory;
+import org.semanticweb.owl.model.OWLDescription;
+import org.semanticweb.owl.model.OWLOntology;
+import org.semanticweb.owl.model.OWLOntologyChangeException;
+import org.semanticweb.owl.model.OWLOntologyCreationException;
+import org.semanticweb.owl.model.OWLOntologyManager;
+import org.semanticweb.owl.model.OWLOntologyStorageException;
+import org.semanticweb.owl.model.RemoveAxiom;
+import org.semanticweb.owl.model.UnknownOWLOntologyException;
+
+public class PelletBug2 {
+	
+	public static void main(String[] args) throws OWLOntologyCreationException,
+			OWLReasonerException, UnknownOWLOntologyException,
+			OWLOntologyStorageException {
+
+		// Set flags for incremental consistency
+		PelletOptions.USE_COMPLETION_QUEUE = true;
+		PelletOptions.USE_INCREMENTAL_CONSISTENCY = true;
+		PelletOptions.USE_SMART_RESTORE = false;
+		
+		OWLOntologyManager manager = OWLManager.createOWLOntologyManager();
+		File f = new File("examples/family/father_oe.owl");
+		URI physicalURI = f.toURI();
+		OWLOntology ontology = manager.loadOntologyFromPhysicalURI(physicalURI);
+		OWLDataFactory factory = manager.getOWLDataFactory();
+
+		// create a view class expressions and an axiom
+		String ontologyURI = "http://example.com/father#";
+		OWLClass male = factory.getOWLClass(URI.create(ontologyURI + "male"));
+		OWLClass female = factory.getOWLClass(URI
+				.create(ontologyURI + "female"));
+		OWLClass father = factory.getOWLClass(URI
+				.create(ontologyURI + "father"));
+		OWLDescription insat = factory.getOWLObjectIntersectionOf(male, female);
+		OWLDescription test = factory.getOWLObjectComplementOf(male);
+		OWLAxiom axiom = factory.getOWLEquivalentClassesAxiom(father, test);
+
+		
+		// create reasoner from pellet libs
+		org.mindswap.pellet.owlapi.Reasoner reasoner = new org.mindswap.pellet.owlapi.Reasoner(manager);
+		
+		// load ontology
+		reasoner.loadOntology(ontology);
+		
+		manager.addOntologyChangeListener( reasoner );
+
+		// first subsumption check => everything runs smoothly
+		boolean result = reasoner.isSubClassOf(female, insat);
+		System.out.println("subsumption before: " + result);
+
+		// add axiom causing the ontology to be inconsistent
+		try {
+			manager.applyChange(new AddAxiom(ontology, axiom));
+		} catch (OWLOntologyChangeException e1) {
+			e1.printStackTrace();
+		}
+
+		// Pellet correctly detects the inconsistency
+		System.out.println("consistent: " + reasoner.isConsistent());
+		
+
+		// remove axiom
+		try {
+			manager.applyChange(new RemoveAxiom(ontology, axiom));
+		} catch (OWLOntologyChangeException e) {
+			e.printStackTrace();
+		}
+
+		// save file to verify that it remained unchanged (it is unchanged)
+		manager.saveOntology(ontology, new File("test.owl").toURI());
+
+		// perform subsumption check => Pellet now fails due to an
+		// inconsistency, although the ontology is unchanged from the
+		// point of view of the OWL API
+		result = reasoner.isSubClassOf(female, insat);
+		System.out.println("subsumption after: " + result);
+
+	}
+
+}


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.