Reasoning on Business Processes and Ontologies in a Logic Programming Environment
暂无分享,去创建一个
[1] J. Lloyd. Foundations of Logic Programming , 1984, Symbolic Computation.
[2] Dieter Fensel,et al. Semantic business process management: a vision towards using semantic Web services for business process management , 2005, IEEE International Conference on e-Business Engineering (ICEBE'05).
[3] The XSB Logic Programming System , 2007 .
[4] Antonio De Nicola,et al. An Open Platform for Business Process Modeling and Verification , 2010, DEXA.
[5] Jos de Bruijn,et al. Web Service Modeling Ontology , 2005, Appl. Ontology.
[6] Ian Horrocks,et al. Description logic programs: combining logic programs with description logic , 2003, WWW '03.
[7] Michele Missikoff,et al. Formalizing the OPAL eBusiness ontology design patterns with OWL , 2007, IESA.
[8] Maurizio Proietti,et al. A Business Process Knowledge Base for Composite Services Development , 2010 .