Foodborne Illness Acquired in the United States???Major Pathogens, Emerging Infectious Diseases, vol.17, issue.1, pp.7-15, 2011. ,
DOI : 10.3201/eid1701.P11101
Food Safety Emerging Public-Private Approaches: A perspective for local, state, and federal government leaders. IBM Center for The Business of Government, 2010. ,
Greis, ?Rule-Based Complex Event Processing for Food Safety and Public Health, Eds. LNCS, vol.6826, pp.376-383, 2011. ,
?Germany Faces Criticism Over E. Coli Outbreak.? NYTimes.com, 2011. ,
A working procedure for identifying emerging food safety issues at an early stage: Implications for European and international risk management practices, Food Control, vol.20, issue.4, pp.345-356, 2009. ,
DOI : 10.1016/j.foodcont.2008.07.024
From Ontology Selection and Semantic Web to an Integrated Information System for Food-borne Diseases and Food Safety, Advances in Experimental Medicine and Biology, vol.696, pp.741-750, 2011. ,
DOI : 10.1007/978-1-4419-7046-6_76
Data mining for recognizing patterns in foodborne disease outbreaks, Journal of Food Engineering, vol.97, issue.2, pp.213-227, 2010. ,
DOI : 10.1016/j.jfoodeng.2009.10.012
Traceability of food products: General framework and experimental evidence, Journal of Food Engineering, vol.81, issue.2, pp.347-356, 2007. ,
DOI : 10.1016/j.jfoodeng.2006.10.032
?Indicators of emerging hazards and risks to food safety,? Food and Chemical Toxology, pp.1022-1039, 2009. ,
?Ontology Development 101: A Guide to Creating Your First Ontology, 2001. ,
?An example of food ontology for diabetes control, Proc. of the International Semantic Web Conference 2005 workshop on Ontology Patterns for the Semantic Web, 2005. ,
?The Logic Programming Paradigm: a 25-Year Perspective,? chap. Stable models and an alternative logic programming paradigm, pp.375-398, 1999. ,
?The stable model semantics for logic programming,? International Logic Programming Conference and Symposium, pp.1070-1080, 1988. ,
Classical negation in logic programs and disjunctive databases, New Generation Computing, vol.38, issue.No. 3, pp.365-385, 1991. ,
DOI : 10.1145/116825.116838
ASSAT: computing answer sets of a logic program by SAT solvers, Artificial Intelligence, vol.157, issue.1-2, pp.115-137, 2004. ,
DOI : 10.1016/j.artint.2004.04.004
clasp: A Conflict-Driven Answer Set Solver, Proc. 9 th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'07, pp.260-265, 2007. ,
DOI : 10.1007/978-3-540-72200-7_23
cmodels ??? SAT-Based Disjunctive Answer Set Solver, Proc. 8 th International Conference on Logic Programming and Nonmonotonic Reasoning, pp.447-451, 2005. ,
DOI : 10.1007/11546207_44
?Predicate-calculus-based logics for modeling and solving search problems, ? ACM Transactions on Computational Logic, vol.7, issue.1, pp.38-83, 2006. ,
?Logic-Based Artificial Intelligence,? chap. Extending the Smodels System with Cardinality and Weight Constraints, pp.491-521, 2000. ,
OntoDLV: An ASP-based System for Enterprise Ontologies, Journal of Logic and Computation, vol.19, issue.4, pp.643-670, 2008. ,
DOI : 10.1093/logcom/exn042