Rule Based Computation of Updates to Terminologies

In this paper we formalise compilation of the conjunctive bodies of a restricted class of Horn rules into updates on terminologies. This involves a pre-processing of the graphs representing connections between terms in a rule body. We motivate and illustrate application of this work in hybrid Description Logic/Rule based frameworks for medical plan specification.

• Type: Conference
• Year: 2003
• Where: DLOG
• Authors: Sanjay Modgil
• Keywords: Automated Reasoning, Conjunctive Bodies, DLOG 2003, Graphs Representing Connections, Hybrid Description Logic/rule