1

I have properties P1, P2 and P3. P1 is equivalent to intersection of P2 and P3. How do I write a rule that takes P1 and finds intersection of P2 and P3 as equivalent property.

I know SWRL works only on A-Box Individuals. Any hack here? Or am I missing some alternative ways?

Any help in designing such a rule is highly appreciated. Thanks!

badari
  • 91
  • 1
  • 8
  • 1
    Most likely, your question is interesting, but I can't understand it. Do you need OWL axiom that acts similar to something like `P1(?a, ?b) -> P2(?a, ?b) ^ P3(?a, ?b)`? – Stanislav Kralin Aug 31 '18 at 11:59
  • Thanks for comment @StanislavKralin! First question: Is it possible to model in protege object properties tab? If not, the above mentioned rule could be handy. However, P2 and P3 could work on different domain and ranges! Do you have any comment? – badari Sep 03 '18 at 08:42
  • 1
    First, try to declare P1 as subproperty of both P2 and P3. – Stanislav Kralin Sep 04 '18 at 05:35
  • OK.. I will check if that t-box knowledge is accessible using OWLAPI in my application.. SWRLAPI does not have property equivalence axioms [link](https://github.com/protegeproject/swrlapi/wiki/SWRLTBoxBuiltInLibrary) – badari Sep 04 '18 at 12:05
  • 1
    OWL API has support for all axioms of OWL 2 standard. there is no explicit intersection of properties possible, the only way is to use multiple subproperty axioms as suggested above. – UninformedUser Sep 05 '18 at 12:08

0 Answers0