Search Mailing List Archives

Limit search to: Subject & Body Subject Author
Sort by: Reverse Sort
Limit to: All This Week Last Week This Month Last Month
Select Date Range     through    

[protege-discussion] about DIG Reasoners of the protégé-owl reasoner api

=?gb2312?B?wO6VdMvJ?= lixs at
Tue May 19 08:46:42 PDT 2009

Hello protege-discussion,

      I want to use protege 3.4 owl reasoner api to make my program reasoning in a knowledge base, but I don't know how to configure the DIG Reasoner.
	  Using the codes in protege webpage: like:
			if (reasoner.isConnected()) { 
		    // Get the reasoner identity - this contains information 
 		   // about the reasoner, such as it's name and version,
		    // and the tell and ask operations that it supports.
		    DIGReasonerIdentity reasonerIdentity = reasoner.getIdentity(); 
		    System.out.println("Connected to " + reasonerIdentity.getName()); 
	is not able to connent to a reasoner.
	May someone help me?
	Thanks a lot!

Best regards, 
lixs at

More information about the protege-discussion mailing list