Ontology consistency, concept satisfiability and subsumption are known to be EXPTIME-Complete for HORN-SHIQ

sesuncedu / owl1-1

Automatically exported from code.google.com/p/owl1-1

0 stars 0 forks source link

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

Has this been taken care of?

Original issue reported on code.google.com by bparsia on 29 Mar 2007 at 9:26

GoogleCodeExporter commented 9 years ago

The specification already lists EXPTIME-completeness for Hor-SHIQ for the 
mentioned 
problems. Hence, no action was taken.

Original comment by borismo...@gmail.com on 23 May 2007 at 2:16