病気に感染している人と感染していない人に対処するためのオントロジーを構築したいと思います。
<?xml version="1.0"?>
</rdf:RDF>
<owl:Class rdf:about="&person;Disease"/>
<owl:Class rdf:about="&person;HealthyPerson">
<rdfs:subClassOf rdf:resource="&person;Person"/>
<owl:disjointWith rdf:resource="&person;SickPerson"/>
</owl:Class>
<owl:Class rdf:about="&person;Person"/>
<owl:Class rdf:about="&person;SickPerson">
<rdfs:subClassOf rdf:resource="&person;Person"/>
</owl:Class>
</rdf:RDF>
グラフィカルに:
プロパティhas_disease(Person、Disease)を定義して、ある人にPerson
関連するタイプの個人もタイプを持っていると推測Disease
されるようにするにはどうすればよいですか?has_disease
SickPerson