Vocabularies

• In a more formal fashion:

• Given:

• x --dc:subject--> y1

• y1 --isA--> MSC Code

• y2 --isA--> MSC Code

• y1 --isNarrowerThan--> y2

• Conclusion (Inference Rule)

• x --dc:subject--> y2

Vorherige Folie

Nächste Folie

Zurück zur ersten Folie

Graphik-Version anzeigen