%0 Journal Article %1 Letia20131 %A Letia, Ioan Alfred %A Groza, Adrian %D 2013 %J Data & Knowledge Engineering %K HACCP compliance food norm ontologies safety standards %P 1 - 18 %R http://dx.doi.org/10.1016/j.datak.2013.03.002 %T Compliance checking of integrated business processes %U http://www.sciencedirect.com/science/article/pii/S0169023X13000335 %V 87 %X Abstract To enable compliance checking on integrated business processes we developed the \NTL\ – \ALC\ logical framework, for closing the gap between the abstract norms and the concrete business processes. To reason on the active obligations and permissions, we extended the normative temporal logic \NTL\ , by applying the deontic operators O (obligation) and P (permission) on concepts of the \ALC\ (Attribute Language with Complements) description logic. As proof of concept of our results we have used the Hazard Analysis at Critical Control Points (HACCP) standard, aiming to prevent the occurrence of significant hazards in the food industry.

@article{Letia20131, abstract = {Abstract To enable compliance checking on integrated business processes we developed the \{NTL\} – \{ALC\} logical framework, for closing the gap between the abstract norms and the concrete business processes. To reason on the active obligations and permissions, we extended the normative temporal logic \{NTL\} , by applying the deontic operators O (obligation) and P (permission) on concepts of the \{ALC\} (Attribute Language with Complements) description logic. As proof of concept of our results we have used the Hazard Analysis at Critical Control Points (HACCP) standard, aiming to prevent the occurrence of significant hazards in the food industry. }, added-at = {2016-02-29T22:06:14.000+0100}, author = {Letia, Ioan Alfred and Groza, Adrian}, biburl = {https://www.bibsonomy.org/bibtex/21842cf58c185109d04623ac3d96eee0f/agroza}, doi = {http://dx.doi.org/10.1016/j.datak.2013.03.002}, interhash = {bb91da1b74cf0dec2082e1a5f3718ab9}, intrahash = {1842cf58c185109d04623ac3d96eee0f}, issn = {0169-023X}, journal = {Data & Knowledge Engineering }, keywords = {HACCP compliance food norm ontologies safety standards}, pages = {1 - 18}, timestamp = {2016-02-29T22:06:14.000+0100}, title = {Compliance checking of integrated business processes }, url = {http://www.sciencedirect.com/science/article/pii/S0169023X13000335}, volume = 87, year = 2013 }