@prefix ont:  <http://www.daml.org/2001/03/daml+oil#> .
@prefix : <shapes#>.

:Circle ont:sameClassAs :EllipseXeqY.

:radius ont:samePropertyAs :diameterOver2.