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 the need for frame-based representation of information (as opposed to relational, predicate-based, representation); the need for flexible semistructured data support; the need for inheritance of defaults (with overriding); and the need for reification.

2. Status

3. Links to Related Use Cases

4. Relationship to OWL/RDF Compatibility

F-logic is an extension of the RDF triple 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

8.2. Main Sequence

8.3. Alternate Sequences

9. Narratives

9.1. Unified Student Management System

A unified student management system in a university that offers undergraduate, graduate, and doctoral programs is exceedingly complex. It encompasses admission as well as all stages of the study towards a degree. Different programs have different admission requirements (e.g., they might require different types of documentation) and different policies that govern the course of the study.

For instance, for admission, art departments might require creative work to be submitted and/or interviews. Graduate programs might require (mandatory or optionally) evidence of accomplishments such as completed projects or published papers. Graduate programs might have "proficiency" requirements (evidence that the student has attained knowledge in certain areas of science at the undergraduate level; if not, a student might be required to erase deficiencies in certain areas during their graduate years). PhD programs often require various kinds of special examinations during the course of the study.

Often there are also complex policies for tuition scholarships, graduation requirements, etc. They govern who gets scholarships and at what level; what it takes to graduate; etc. These policies often change over time, but must all be retained and applied in appropriate situations due to "grandfather rules" (a legal concept that states that students who were throughoutunder a certain policy can request to have this policy in effect thoughout their studies even if the policy changes in the interim). This means that such policies will be represented as objects that represent sets of rules (i.e., these objects will reify the rule sets). These rules will not be asserted initially. Instead, different kinds of such rule sets will be temporarily asserted to make inference in one case or another and then retracted.

10. Commentary