用jena api来理解RDFS——subClassOf subPropertyOf range domain
这四个词汇与推理密切相关，查看JENA的RDFSRuleReasonerFactory可以看到里面有这么一段代码：
- Resource base = capabilities.createResource(getURI());
- base.addProperty(ReasonerVocabulary.nameP, "RDFS FB-TGC Rule Reasoner")
- .addProperty(ReasonerVocabulary.descriptionP, "Complete RDFS implementation supporting metalevel statements.\nCan separate tbox and abox data if desired to reuse tbox caching or mix them.")
- .addProperty(ReasonerVocabulary.supportsP, RDFS.subClassOf)
- .addProperty(ReasonerVocabulary.supportsP, RDFS.subPropertyOf)
- .addProperty(ReasonerVocabulary.supportsP, RDFS.member)
- .addProperty(ReasonerVocabulary.supportsP, RDFS.range)
- .addProperty(ReasonerVocabulary.supportsP, RDFS.domain)
- .addProperty(ReasonerVocabulary.versionP, "0.1");
说明jena对其提供了支持。
subPropertyOf
如果张三养了一只狗，那么一定可以推理出张三养了一只宠物，因此养狗和有宠物是subPropertyOf关系。
- String ns = "htpp://www.crabone.com#";
- Model model = ModelFactory.createDefaultModel();
- // 养狗subPropertyOf有宠物
- Property hasPet = model.createProperty(ns, "有宠物");
- Property hasDog = model.createProperty(ns, "养狗");
- model.add(hasDog, RDFS.subPropertyOf, hasPet);
- // 张三养了一只狗叫汪汪
- model.createResource(ns+"张三").addProperty(hasDog, "汪汪");
- // 得到JENA内置的RDFS推理机
- Reasoner reasoner = ReasonerRegistry.getRDFSReasoner();
- // 用原来的图和推理机构造出新的推理图
- InfModel infModel = ModelFactory.createInfModel(reasoner, model);
- System.out.println(infModel.getResource(ns+"张三").getProperty(hasPet));
输出：[htpp://www.crabone.com#张三, htpp://www.crabone.com#有宠物, "汪汪"]
从代码来看，jena的推理是基于图的相关算法来实现的。subClassOf和其道理一样，这里就不啰嗦了。
domain、range
个人感觉这是推理性非常强的一种机制！在protege入门里面就有相关的解释。domain和range是用来描述一个property的，比如：拿养狗这个property来说，一般，只有人才会养狗，水瓶是不会养狗的，电插座也是不会养狗的，所以养狗这个property的domain是人（一种class），同样养狗这个property的range是狗（一种class）。当推理机知道这些道理后，告诉它，张三养了一只汪汪，那么，这个推理机能推理出，张三是人，汪汪是狗。
- String ns = "htpp://www.crabone.com#";
- Model model = ModelFactory.createDefaultModel();
- // 构造人这个类
- Resource personClass = model.createResource(ns+"人");
- model.add(personClass, RDF.type, RDFS.Class);
- // 构造狗这个类
- Resource dogClass = model.createResource(ns+"狗");
- model.add(dogClass, RDF.type, RDFS.Class);
- // 构造养狗这个属性，并设置domain是人，range是狗
- Property hasDog = model.createProperty(ns, "养狗");
- model.add(hasDog, RDFS.domain, personClass);
- model.add(hasDog, RDFS.range, dogClass);
- // 添加张三养了一条狗汪汪这个事实
- Resource zhangsan = model.createResource(ns+"张三");
- Resource wangwang = model.createResource(ns+"汪汪");
- zhangsan.addProperty(hasDog, wangwang);
- // 构造RDFS推理机
- Reasoner reasoner = ReasonerRegistry.getRDFSReasoner();
- // 生成推理图
- InfModel infModel = ModelFactory.createInfModel(reasoner, model);
- System.out.println(infModel.getResource(ns+"张三").getProperty(RDF.type));
- System.out.println(infModel.getResource(ns+"汪汪").getProperty(RDF.type));
输出：
[htpp://www.crabone.com#张三, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, htpp://www.crabone.com#人]
[htpp://www.crabone.com#汪汪, http://www.w3.org/1999/02/22-rdf-syntax-ns#type, htpp://www.crabone.com#狗]
总结：domain和rang其实也是一种property；domain这个property用来连接property和class，range这个property用来连接property和class，这是w3的标准，其实在JENA里面比较宽松，domain这个property用来连接property和节点即可，range也是如此。
