Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

DLOG
2003

favoriteEmaildiscussreport

101views Automated Reasoning» more DLOG 2003»

Rule Based Computation of Updates to Terminologies

13 years 5 months ago

Rule Based Computation of Updates to Terminologies

Download sunsite.informatik.rwth-aachen.de

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 speciﬁcation.

Sanjay Modgil

Real-time Traffic

Automated Reasoning | Conjunctive Bodies | DLOG 2003 | Graphs Representing Connections | Hybrid Description Logic/rule |

claim paper

Related Content

» Rule Based Updates on Simple Knowledge Bases

» Updates in a RuleBased Language for Objects

» Updating of a Possibilistic Knowledge Base by Crisp or Fuzzy Transition Rules

» Embedding Defaults into Terminological Knowledge Representation Formalisms

» Dynamically Updating the Exploiting Parameter in Improving Performance of AntBased Algorit...

» A TransformationBased Approach to View Updating in Stratifiable Deductive Databases

» Integrity Constraint and Rule Maintenance in Temporal Deductive Knowledge Bases

» Computational Linguistic Support for Legal Ontology Construction

» Wide Ruled A Friendly Interface to AuthorGoal Based Story Generation

Post Info
More Details (n/a)

Added	31 Oct 2010
Updated	31 Oct 2010
Type	Conference
Year	2003
Where	DLOG
Authors	Sanjay Modgil

Comments (0)