package com;
import java.util.Iterator;

import com.hp.hpl.jena.rdf.model.InfModel;
import com.hp.hpl.jena.rdf.model.Model;
import com.hp.hpl.jena.rdf.model.ModelFactory;
import com.hp.hpl.jena.reasoner.Reasoner;
import com.hp.hpl.jena.reasoner.ReasonerRegistry;
import com.hp.hpl.jena.reasoner.ValidityReport;


class reasoner  extends Object{
	
public static void main(String args[])
{ 
	
	
	//Jena通過model包中的ModelFactory創建本體模型，
	//ModelFactory是Jena提供用來創建各種模型的類
	//可以創建默認形式的Model或根據某種模板進行創建
	
	Model model=ModelFactory.createDefaultModel(); 
	model.read("file:D:\\楊惠潔\\privacy.owl");
		
	Model data=ModelFactory.createDefaultModel();
	data.read("file:D:\\楊惠潔\\privacy.owl");
	
	/*
		//加載推理規則進行推理
		//String rules = "[rule1: (?Carnivore  owl: ObjectProperty ?meat), (?a owl: ObjectProperty  ?meat) -> (?a owl: subClassOf ? Carnivore)]";
	 	//Reasoner reasoner = new GenericRuleReasoner(Rule.parseRules(rules));
		//reasoner.setDerivationLogging(true);
		//InfModel modelInf = ModelFactory.createInfModel(reasoner, data);
	*/
	
	
	Reasoner reasoner = ReasonerRegistry.getOWLReasoner();
	reasoner = reasoner.bindSchema(model);
	
	InfModel modelInf = ModelFactory.createInfModel(reasoner, data);
	
	//createOWLReasonerInfModel
	Iterator i;
	ValidityReport vrp1 = modelInf.validate();
	
	if (vrp1.isValid())
	{
		System.out.println("OWL VALIDO");
		}else 	
		{
			System.out.println("OWL NO VALIDO");
			
			for (i = vrp1.getReports(); i.hasNext();)
				{
				System.out.println(" - " + i.next());
       			}
		}
		
	}
	
}