Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

SWRL rules #2

Open
MidouDali opened this issue Oct 7, 2016 · 10 comments
Open

SWRL rules #2

MidouDali opened this issue Oct 7, 2016 · 10 comments

Comments

@MidouDali
Copy link

Hi,
I want to test SWRL rule execution with a rule engine but I didn't find rules in the DINTO.
Can you help me with some examples of rules
thank you

@labda
Copy link
Owner

labda commented Oct 7, 2016

Hi,
To find the rules, open the folder 'DINTO 1' and then 'DINTO 1 SWRL rules'. You'll find two different owl files with SWRL rules. They are intended to be merged with the ontology file DINTO 1 or DINTO 1.2. However, these files are too big and the reasoners cannot process them. Therefore, if you want to run the reasoner to see the inferences, you'll have to use instead one of the reduced versions containing individuals that you'll find in the folder 'DINTO 1 reduced versions'.

Hope this helps, let me know if you have any problem.

Cheers,
Maria

@MidouDali
Copy link
Author

thank you
I want to test with a more complicated rule (with built-in atoms).
Can you help me with an example

@labda
Copy link
Owner

labda commented Oct 7, 2016

Do you mean an example of the DDI domain or about SWRL rules in general? Maybe I could be more useful if you could explain to me what you want to do and in your application domain.

Cheers,
Maria

@MidouDali
Copy link
Author

an example of the DDI domain
I want to test the performance of a rule engine using DINTO.

@labda
Copy link
Owner

labda commented Oct 7, 2016

Okay, In order to help you with this, what is the problem with the current rules? What do you mean by "more complicated rules"? Maybe an example of any other simple domain would help me to understand what you need.

@MidouDali
Copy link
Author

I want to test with a rule that contains most types of atoms (class atom, property atom, built-in atom, differentFrom or sameAs atom).

@labda
Copy link
Owner

labda commented Oct 7, 2016

I think I'd need you to be more specific. I could suggest a more complicated rule, but you'd need to have that information in the ontology to obtain the inferences. It is not something straightforward, so I would appreciate if you could give me more information about you, your project, and exactly what you are trying to test. For example, did your rule engine work properly with the current rules for DINTO? What is the state of the art you're trying to improve? In summary, I'd like to help you but I'd need you to be a little bit more talkative ;)

Maria

@MidouDali
Copy link
Author

I am a PhD student. I'm developing a rule engine that is capable of handling larger ontologies and executeing all types of atoms. For this, I want to make a comparison with other engines.

@labda
Copy link
Owner

labda commented Oct 7, 2016

Regarding the first problem, I can confirm that with DINTO we have a lot of problems because none of the currently available reasoner engines in Protege (Pellets, FacT, HermiT) could process the whole ontology. Even when we worked with reduced versions (the ones that you can find in this repository) it took a long time (days) to process them and show the inferences. If your engine could process the whole ontology or process the reduced versions in a shorter period of time, that might be a very interesting contribution to the field.

As I said before, creating rules that might work with the ontology is something very time-consuming. I would suggest you familiarize yourself with the content in the ontology and the current rules (you have all the information in my dissertation) and propose some rules with the characteristics that you need. I could help you to check if they are correct or not once you give a starting point.

Cheers,
Maria

@MidouDali
Copy link
Author

ok :)
I will try to write some examples
thank you

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants