reason(2).java

对jena推理机的文件进行读取

package com; 
import java.io.*;
import com.hp.hpl.jena.vocabulary.*;
import com.hp.hpl.jena.rdf.model.*;
//import com.hp.hpl.jena.rdf.*;
import com.hp.hpl.jena.ontology.*;
//import com.hp.hpl.jena.*;
import com.hp.hpl.jena.reasoner.*;
import com.hp.hpl.jena.reasoner.dig.*;
import com.hp.hpl.jena.reasoner.ReasonerRegistry;
import java.util.*;


class test extends Object{
	
public static void main(String args[])
{ 
 Model cModel = ModelFactory.createDefaultModel();    
 Resource conf = cModel.createResource();    
 conf.addProperty( ReasonerVocabulary.EXT_REASONER_URL, 
                 cModel.createResource( "http://localhost:8080" ) );       
    
    // create the reasoner factory and the reasoner    
    DIGReasonerFactory drf = (DIGReasonerFactory) ReasonerRegistry.theRegistry()    
                          .getFactory( DIGReasonerFactory.URI );    
    DIGReasoner r = (DIGReasoner) drf.create( conf );       
        
        // now make a model    
    OntModelSpec spec = new OntModelSpec( OntModelSpec.OWL_DL_MEM );   
    spec.setReasoner( r );    
    OntModel modelInf = ModelFactory.createOntologyModel( spec, null );            
    // load an input document    
    modelInf.read( "file:animal.owl" ); 
               
    ///////////////////////////////////////////////////////////////////
    // list the inconsistent classes    
    StmtIterator i = modelInf.listStatements( null, OWL.equivalentClass, OWL.Nothing );    
    
    while (i.hasNext()) 
    {        
    System.out.println( "Class " + i.nextStatement().getSubject() + " is unsatisfiable" );   
    }
     
	//////////////////////////////////////////////////////////////
	//有效性检查
	Iterator ii;
	ValidityReport vrp1 = modelInf.validate();
	if (vrp1.isValid()){
		System.out.println("OWL VALIDO");
	}else 	{
			System.out.println("OWL NO VALIDO");
			for (ii = vrp1.getReports(); ii.hasNext();)
				{
				System.out.println(" - " + ii.next());
       			}
			}
			

		//ResIterator iter = modelInf. listStatements(Lion, subClassOf , Carnivore);
		/*
		if(0!=iter)
		
		System.out.println("Lion is a Carnivore ");

*/
			
}
}