Gen Zou

11 papers Journal 2Unranked 9
YearRankTypeTitle / Venue / Authors
2017 J jnl
Perspectival Knowledge in PSOA RuleML: Representation, Model Theory, and Translation.
CoRR
Harold Boley, Gen Zou
2017 — conf
Port Clearance Rules in PSOA RuleML: From Controlled-English Regulation to Object-Relational Logic.
RuleML+RR (Supplement)
Gen Zou, Harold Boley, Dylan Wood, Kieran Lea
2016 — conf
Minimal Objectification and Maximal Unnesting in PSOA RuleML.
RuleML
Gen Zou, Harold Boley
2015 — conf
PSOA RuleML Integration of Relational and Object-Centered Geospatial Data.
Challenge+DC@RuleML
Gen Zou
2015 — conf
PSOA2Prolog: Object-Relational Rule Interoperation and Implementation by Translation from PSOA RuleML to ISO Prolog.
RuleML
Gen Zou, Harold Boley
2014 — conf
A Datalog + Plus RuleML 1.01 Architecture for Rule-Based Data Access in Ecosystem Research.
RuleML
Harold Boley, Rolf Grütter, Gen Zou, Tara Athan, Sophia Etzold
2014 J jnl
Computing Refined Ordering Relations with Uncertainty for Acyclic Process Models.
IEEE Trans. Serv. Comput.
Tao Jin, Jianmin Wang, Lijie Wen, Gen Zou
2014 — conf
GeospatialRules: A Datalog+ RuleML Rulebase for Geospatial Reasoning.
Challenge+DC@RuleML
Gen Zou
2012 — conf
PSOA2TPTP: A Reference Translator for Interoperating PSOA RuleML with TPTP Reasoners.
RuleML
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2012 — conf
PSOATransRun: Translating and Running PSOA RuleML via the TPTP Interchange Language for Theorem Provers.
RuleML (2)
Gen Zou, Reuben Peter-Paul, Harold Boley, Alexandre Riazanov
2009 — conf
Gossip-Based Workload Prediction and Process Model for Composite Workflow Service.
SERVICES I
Weihong Song, Dejun Jiang, Chi-Hung Chi, Pengfei Jia, Xintong Zhou, Gen Zou