protege如何以可读格式显示OWL公理

Question

<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>

Gender value "M"
Address min 1 xsd:string

另外，如果我想从这些字符串中创建新的公理，该怎么做呢？（将axiom转换为可读字符串，然后将可读字符串转换回axiom）

Answer 1

您显示的可读格式是曼彻斯特OWL语法。

为了以这种格式输出一个本体，您可以使用owl api代码：

OWLOntology ontology = ...// load or create the ontology
OutputStream out = ... // any output stream will do
ontology.getOWLOntologyManager().saveOntology(ontology, new ManchesterSyntaxDocumentFormat(), out);
out.close();

用曼彻斯特语法格式解析完整本体的情况与任何其他本体一样：OntologyManager.LoadOntologyFroMontologyDocument（）和输入文件。