Archive For July 2014

Walking your fingers through the trees in OWL: why there are things you want to say but can’t

on July 25, 2014 by Robert Stevens in Articles, Under Review, Comments (0)

Summary OWL has a tree model property. This property is (one of the) reasons why the reasoning problems underlying, say, the computation of the inferred class hierarchy, are decidable […]