我正在研究推理。我正在使用 Jena OWL 推理器。
我有两种个体,服务器和应用程序。服务器可以托管应用程序,负责建立链接的对象属性是“data:heberge”。我会找到托管在服务器上的应用程序。
服务器是这样写的:
<owl:NamedIndividual rdf:about="&data;applications-271018">
<rdf:type rdf:resource="&data;applications"/>
<data:app-nivhie rdf:datatype="&xsd;string">3</data:app-nivhie>
<data:eap-cod rdf:datatype="&xsd;string">MTSSBR</data:eap-cod>
<data:eap-lib rdf:datatype="&xsd;string">GMAO</data:eap-lib>
<data:eap-nom rdf:datatype="&xsd;string">Mantis Saint Brice</data:eap-nom>
<data:eap-rspetu rdf:datatype="&xsd;string">ET PATRIM</data:eap-rspetu>
<data:eap-rspprd rdf:datatype="&xsd;string">PF HEBERGEMENT</data:eap-spprd>
<data:eap-typ rdf:datatype="&xsd;string">Progiciel</data:eap-typ>
<data:eap-typobj rdf:datatype="&xsd;string">Application</data:eap-typobj>
</owl:NamedIndividual>
应用是这样的:
<owl:NamedIndividual rdf:about="&data;serveur-280726">
<rdf:type rdf:resource="&data;serveur"/>
<data:ast rdf:datatype="&xsd;string">3074</data:ast>
<data:ast-designation rdf:datatype="&xsd;string">WIT</data:ast-designation>
<data:host rdf:datatype="&xsd;string">Witt International</data:host>
<data:identifiantrdf:datatype="&xsd;string">DEVDWITZB1</data:identifiant>
<data:serv-env rdf:datatype="&xsd;string">DVP Développement</data:serv-env>
<data:state rdf:datatype="&xsd;string">Serveur</data:state>
<data:status rdf:datatype="&xsd;string">En service</data:status>
<data:svr-numero-serie rdf:datatype="&xsd;string">-</data:svr-numero-serie>
<data:vm rdf:datatype="&xsd;string">Machine virtuelle</data:vm>
</owl:NamedIndividual>
我尝试以下代码,但它不能正常工作:
<owl:Class rdf:about="&data;estInstallée">
<owl:equivalentClass>
<owl:Class>
<owl:equivalentClass>
<owl:Restriction>
<owl:onProperty rdf:resource="&data;heberge"/>
<owl:someValuesFrom rdf:resource="&data;applications"/>
</owl:Restriction>
<owl:Class rdf:about="&data;serveur"/>
</owl:equivalentClass>
</owl:Class>
<owl:Class rdf:about="&data;applications"/>
</owl:equivalentClass>
</owl:Class>
请问你有什么想法吗?