Authors:
Min Li
and
Chris J. Hogger
Affiliation:
Imperial College London, United Kingdom
Keyword(s):
GBMF, Business model, PayPal, Prolog.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Artificial Intelligence and Decision Support Systems
;
Biomedical Engineering
;
Business Process Management
;
Data Engineering
;
e-Business
;
Enterprise Engineering
;
Enterprise Information Systems
;
Health Information Systems
;
Informatics in Control, Automation and Robotics
;
Information Systems Analysis and Specification
;
Intelligent Control Systems and Optimization
;
Knowledge Engineering
;
Knowledge Engineering and Ontology Development
;
Knowledge Management
;
Knowledge Management and Information Sharing
;
Knowledge-Based Systems
;
Knowledge-Based Systems Applications
;
Modeling Formalisms, Languages and Notations
;
Ontologies and the Semantic Web
;
Society, e-Business and e-Government
;
Software Engineering
;
Symbolic Systems
;
Web Information Systems and Technologies
Abstract:
Logic-based modelling methods can benefit business organizations in constructing models offering flexible knowledge representation supported by correct and effective inference. It remains a continuing research issue as to how best to apply logic-based formalization to informal/semi-formal business modelling. In this paper, we formulate aspects of the general business specification of PayPal in logic programming by applying this in logic-based GBMF which is a declarative, context-independent, implementable and highly expressive framework for modelling high-level aspects of business. In particular, we introduce the primary PayPal business concepts and relations; specify simple but essential PayPal business processes associated with a knowledge base, and set core business rules and controls to simulate the PayPal case in a fully automatic manner. This specific modelling method gives the advantages of general-purpose expressiveness and well-understood execution regimes, avoiding the need
for a special-purpose engine supporting a specialized modelling language.
(More)