我有包含一些公理的 owl 文件:
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="namespace#Gender"/>
<owl:hasValue>M</owl:hasValue>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="namespace#Address"/>
<owl:minQualifiedCardinality rdf:datatype="&xsd;nonNegativeInteger">1</owl:minQualifiedCardinality>
<owl:onDataRange rdf:resource="&xsd;string"/>
</owl:Restriction>
</rdfs:subClassOf>
对于以上两个公理,protege 将可读字符串显示为:
Gender value "M"
Address min 1 xsd:string
问题是 protege 如何从 OWL 文件中生成这些可读字符串?
另外,如果我想从这些字符串中创建新的公理,该怎么做?(将公理转换为可读字符串,然后将可读字符串转换回公理)