(no subject)

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view
|

(no subject)

Alex Masycheff
Hi Everyone,

I have another question about inferences. Suppose I have an ontology about printers:
  • [class] Features
    • [individual] Wi-Fi
    • [individual] Printing
    • [individual] Scanning
    • ...
  • [class] Issues
    • [individual] WiFiAntennaBroken
    • [individual] InkLeakage
    • ...
  • [class] Types
    • [subclass] Inkjet
      • [individual] PrinterAAA
    • [subclass] Laserjet
      • [individual] PrinterBBB
Now, I created object properties: hasFeature and mightHaveIssue and linked individuals as following:
  • [individual] PrinterBBB hasFeature [individual] Wi-Fi
  • [individual] Wi-Fi mightHaveIssue [individual] WiFiAntennaBroken
What I'd like to do now is to make the reasoner to infer that PrinterBBB mightHaveIssue  WiFiAntennaBroken.

How should I do it? SWRL rule?

Many thanks,
Alex



_______________________________________________
protege-user mailing list
[hidden email]
https://mailman.stanford.edu/mailman/listinfo/protege-user