A rule-based object/task modelling approach
- 15 June 1986
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGMOD Record
- Vol. 15 (2) , 281-292
- https://doi.org/10.1145/16856.16882
Abstract
A rule-based object/task modelling approach is proposed which is characterized by specifying object behaviors and domain rules in terms of object-oriented logic programming, and specifying tasks and meta-rules in terms of network-oriented formalism. In addition the concepts of associations, virtual objects, multiple level integrity control and net expressions are introduced. The object-oriented logic programming system is extended for supporting the semantic modelling, and an explicit control knowledge representation mechanism is developed. This approach may be viewed as a step to the integration of object-oriented programming, logic programming, semantic modelling and event modelling, and to the combination of forward chaining and backward chaining techniques. Therefore, it can provide complementary benefits in deductive query support, integrity control, explicit control knowledge representation and intelligent user interface, and enhance the flexibility and extendibility of knowledge based systems to accommodate applications in multiple domains, towards a generalized, rule-based management of data, action and operational schemes. This approach is being designed and partially implemented on top of System C [Chen 85b] on a VAX computer.Keywords
This publication has 5 references indexed in Scilit:
- Logic and Databases: A Deductive ApproachACM Computing Surveys, 1984
- An optimizing prolog front-end to a relational query systemPublished by Association for Computing Machinery (ACM) ,1984
- PrismPublished by Association for Computing Machinery (ACM) ,1984
- Action and transaction skeletons:Published by Association for Computing Machinery (ACM) ,1983
- The semantic data modelPublished by Association for Computing Machinery (ACM) ,1978