0

I have created an ontology in Protege 4.3 along with a set of SWRL rules. In order to execute those rules and execute queries do I need another program to work with Protege or a plugin? Is a reasoner useful for this job? Searching I came across a lot of reasoners but I can't understand their usage, although I believe they may be relevant. I have found a lot of questions in here regarding Protege but none of them actually helped.

Ignazio
  • 10,504
  • 1
  • 14
  • 25
Mandy
  • 21
  • 6
  • @JimL. That was the first thing that I did, it was necessary after all. What is the problem with my question? – Mandy Mar 07 '16 at 00:21
  • How is the title a question? – Jim L. Mar 07 '16 at 00:23
  • @JimL. Do you mention this to all of the users? As I see the front page rarely features questions in titles. – Mandy Mar 07 '16 at 00:27
  • Are you suggesting that linked page needs to change? – Jim L. Mar 07 '16 at 00:31
  • @JimL. No but this is merely a suggestion as you can see in the front page. Let's not consume our time with the title...The point is in the questions in the main body. – Mandy Mar 07 '16 at 00:34
  • In what vocabulary are these rules expressed? – Jim L. Mar 07 '16 at 00:37
  • @JimL. They are expressed in SWRL if that is what you mean. – Mandy Mar 07 '16 at 00:43
  • Have you tried the obvious [SWRLJess Tab](http://protege.cim3.net/cgi-bin/wiki.pl?SWRLJessTab) or [SWRLTab](http://protegewiki.stanford.edu/wiki/SWRLTab")? – Jim L. Mar 07 '16 at 00:50
  • 3
    @Mandy if you're running a reasoner that supports SWRL rules (e.g., Pellet), then your rules will be used when the reasoner answers queries. What queries are you running where you didn't get the results you expected? I agree with Jim L a bit, it's not really clear what the question here is. Is there something that's not working? – Joshua Taylor Mar 07 '16 at 00:51
  • There are other questions that have examples of swrl rules in protégé here on stack overflow. E.g., http://stackoverflow.com/questions/21499126/ontology-property-definition-in-protégé-owl-swrl or http://stackoverflow.com/questions/21243879/swrl-rules-in-protege-3-4-8 . – Joshua Taylor Mar 07 '16 at 00:55
  • Have you read The [OWL 2 and SWRL Tutorial](http://dior.ics.muni.cz/~makub/owl/)? – Jim L. Mar 07 '16 at 00:59
  • @JimL. Those two tabs are available only in Protege 3 and not 4. Do I need Java as in the tutorial to run the rules? – Mandy Mar 10 '16 at 11:19
  • Before proceeding here, was Ignazio's answer helpful? If so, please up vote and accept his answer to give him and you reputation points. – Jim L. Mar 10 '16 at 12:59

1 Answers1

1

SWRL rules require a reasoner that supports them (as mentioned already by Joshua Taylor). This reasoner must come in the form of a Protege plugin to be usable inside Protege.

Usually Protege ships with at least one reasoner supporting SWRL rules, that's HermiT. You should see it available in the Reasoner menu.

To let any reasoner be used (for either SWRL or OWL inference), just select it and click on Reasoner -> Start reasoner.

Ignazio
  • 10,504
  • 1
  • 14
  • 25
  • Thank you. I downloaded Pellet and I executed it but there is no effect. I found a plugin named Axiome for Protege 3 that processes the rules in graphs but it doesn't work in 4. Is something similar for 4? Or something else relevant? – Mandy Mar 15 '16 at 23:44
  • "No effect" does not provide enough information to solve the problem. Do you get errors? Are your rules verified to work outside protégé? – Ignazio Mar 16 '16 at 00:17
  • By no effect I mean that it doesn't do absolutely anything without any errors showing somewhere. Furthermore I have checked that the rules are correct. Also I was told reasoners just check the validity of the rules and if I want to "process" them I need to use Java. Is this the case? – Mandy Mar 16 '16 at 18:56
  • No - reasoners supporting rules include them seamlessly in the processing of the ontology. – Ignazio Mar 16 '16 at 22:52