Hi, I had a look to the Horrocks' paper about SROIQ. However, I need information about the computational complexity of the knowledge base consistency in this language. Thank you in advance, CLReceived on Sunday, 20 November 2011 20:55:14 GMT
This archive was generated by hypermail 2.3.1 : Tuesday, 26 March 2013 21:45:46 GMT