Deduction Possibilities 减除可能性

• The definition:
  定义:

     <owl:ObjectProperty rdf:ID="graphicsType">

       <rdfs:domain rdf:resource="#SvgEntity"/>

       <rdfs:range rdf:resource="#GraphicsType"/>

     </owl:ObjectProperty>

• can be used two ways by a program:
  可以程式进行两种使用:
  • to check whether a RDF statement is correct
    检查RDF陈述句是否正确
  • (a “type check”)
    (一个“种类检查”)
  • to deduce that the (domain) resource is of type SvgEntity
    来推论(区域)资源是svg实体类
  • (because the property requires it!)
    (因为内容需要它)
• Which approach is used depends on the application
  使用哪一种方法是依赖应用上的需要