Quantcast
Channel: Recent Questions - Stack Overflow
Viewing all articles
Browse latest Browse all 12111

how to trigger class equivalence inference in Protege based on properties

$
0
0

I want Protégé to infer that a certain class (or individual) is equivalent to another class if it has specific properties.

The following is a minimal snippet showing the issue. I expect the reasoner to figure out that VaccinesCauseAutism is a type of MedicalConspiracyTheory.

@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .@prefix owl: <http://www.w3.org/2002/07/owl#> .:involves rdf:type rdf:ObjectProperty . :Medicine rdf:type owl:Class .:SecretPlan rdf:type owl:Class .:MedicalConspiracyTheory a owl:Class ;  rdfs:label "Medical Conspiracy Theory" ;  owl:equivalentClass [     rdf:type owl:Restriction ;    owl:onProperty :involves ;    owl:someValuesFrom [      rdf:type owl:Class ;      owl:intersectionOf ( :SecretPlan :Medicine )    ]  ] .:VaccinesCauseAutism a owl:Class;  rdfs:label "Vaccines Cause Autism" ;  :involves :SecretPlan, :Medicine .

What am I doing wrong here?


Viewing all articles
Browse latest Browse all 12111

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>