Sciweavers

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

31

DLOG
2003

favoriteEmaildiscussreport

101views Automated Reasoning» more DLOG 2003»

Rule Based Computation of Updates to Terminologies

14 years 5 days 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)