Matches in ScholarlyData for { <https://w3id.org/scholarlydata/inproceedings/ruleml2011-europe/paper/28> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- 28 creator antoni-ligeza.
- 28 creator grzegorz-j-nalepa.
- 28 creator krzysztof-kaczor.
- 28 creator szymon-bobek.
- 28 type InProceedings.
- 28 label "HalVA - Rule Analysis Framework for XTT2 Rules".
- 28 sameAs 28.
- 28 abstract "Quality issues are important in both deployment and maintenance of rule bases. In case of rule-based systems where certain level of rule language formalization is introduced, it is possible to consider formal analysis approaches. In fact, this has been a well-researched field in 90'. Apparently, the recent growth of popularity of rule solutions does not include development of effective analysis tools. In the paper an extended knowledge representation for rules called XTT is considered. It is based on the concepts of rule design using knowledge units grouping rules working in the same context. XTT is a formalized rule language based on an expressive logic called ALSV(FD). A custom runtime and analysis tool for XTT has been created. In the paper the rule analysis framework called HAlVA is described. It allows for verification of certain formal properties of rules, including rule subsumption or determinism. In fact, it is an extensible solution, where adding new analysis modules is possible. In the paper selected implementation details of the framework are presented.".
- 28 hasAuthorList authorList.
- 28 isPartOf proceedings.
- 28 keyword "formal verification".
- 28 keyword "rule analysis".
- 28 keyword "rule engine".
- 28 title "HalVA - Rule Analysis Framework for XTT2 Rules".