Deduction Possibilities
- The definition:
ObjectProperty graphicsType (
domain SvgEntity
range GraphicsType
)
- can be used two ways by a program:
- to check whether a RDF statement is correct
- (a “type check”)
- to deduce that the (domain) resource is of type
SvgEntity - (because the property requires it!)
- Which approach is used depends on the application