Formal Ontology “Recipe”

Music

Opera

Concerto

IS-A

IS-A

includes

member-of

“Fidelio”

Libretto

has

Language

Theatre

IS-A

member-of

Digitization

has

extends

created-by

Production-format

Producer

Manifestation

Define vocabulary with logic:

• Start with tree of IS-A relations (as in Dewey)

• Add different relations. Permit multiple inheritance (as in WordNet)

• Add relations to fully capture meaning of central concepts (with model-theoretic semantics, as in Ontolingua library)

...

Previous slide

Next slide

Back to first slide

View graphic version