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 […]