This is an archive of an inactive wiki and cannot be modified.

This is one of the possible Use Cases.

1. Abstract

This use case illustrates several issues, including the need to access several different knowledge bases, scoped default negation, modularization, etc.

2. Status

3. Links to Related Use Cases

4. Relationship to OWL/RDF Compatibility

FLORA-2 is based on F-logic (, which extends the RDF triples model.

5. Examples of Rule Platforms Supporting this Use Case

6. Benefits of Interchange

7. Requirements on the RIF

8. Breakdown

8.1. Actors and their Goals

smartcard * A patient interacts by providing a smartcard

9. Narratives

9.1. Jim goes to a doctor

Jim goes to his physician, Dr. Heal, and the latter prescribes a certain drug (say, phenolphthalein). The doctor wants to verify that this drug doesn't have adverse interactions with other drugs and/or other medical smartcards that Jim has. To verify that, a nurse inserts Jim's medical smartcard, which contains all of his medical history, into a reader connected to the Web.

A rule-based reasoner, which is running at the doctor's office, contacts various knowledge sources, including, that provides authoritative information about the prescribed drug. is powered by a rule knowledge base, which can answer queries about known interactions of phenolphthalein.

If doesn't establish that phenolphthalein is known to have adverse effects given Jim's medical history, then our reasoner concludes that phenolphthalein is safe and will not have unintended effects on Jim.

10. Commentary