Updating logical databases
Logic programming with strong negation
Proceedings of the international workshop on Extensions of logic programming
Handbook of theoretical computer science (vol. B)
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A logic for programming database transactions
Logics for databases and information systems
Applications of Transaction Logic to Knowledge Representation
ICTL '94 Proceedings of the First International Conference on Temporal Logic
On Active Deductive Databases: The Statelog Approach
ILPS '97 International Seminar on Logic Databases and the Meaning of Change, Transactions and Change in Logic Databases
CTR-S: a logic for specifying contracts in semantic web services
Proceedings of the 13th international World Wide Web conference on Alternate track papers & posters
The Description Logic Handbook
The Description Logic Handbook
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Ontologies and the semantic web
Communications of the ACM - Surviving the data deluge
Semantic Web Service Choreography: Contracting and Enactment
ISWC '08 Proceedings of the 7th International Conference on The Semantic Web
An approach for data-driven and logic-based complex Event Processing
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
Integrating Logic Programming and Production Systems in Abductive Logic Programming Agents
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
A Logic Based Approach to the Static Analysis of Production Systems
RR '09 Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems
The DL-lite family and relations
Journal of Artificial Intelligence Research
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Evolution of DL-lite knowledge bases
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Declarative semantics for the rule interchange format production rule dialect
ISWC'10 Proceedings of the 9th international semantic web conference on The semantic web - Volume Part I
Reasoning with actions in transaction logic
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Combining production systems and ontologies
RR'11 Proceedings of the 5th international conference on Web reasoning and rule systems
Simulating production rules using ACTHEX
Correct Reasoning
| Hi-index | 0.00 |
In this paper we proposed a new semantics for the combination of production systems with arbitraryDL ontologies. Unlike previous approaches, the semantics presented here allow looping rules and can handle inconsistencies produced by the interaction of the rule actions and the ontology. We also define a sound embedding of such semantics, restricted to rule-based DL Ontologies, into Transaction Logic with partial action definitions (ΤRPAD). This reduction adds a declarative semantics to the combination. To model production systems in ΤRPAD, we extend ΤRPAD with default negation and define the well-founded semantics for it.