Open MidouDali opened 8 years ago
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
thank you I want to test with a more complicated rule (with built-in atoms). Can you help me with an example
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
an example of the DDI domain I want to test the performance of a rule engine using DINTO.
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.
I want to test with a rule that contains most types of atoms (class atom, property atom, built-in atom, differentFrom or sameAs atom).
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
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.
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
ok :) I will try to write some examples thank you
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