Things are much neater now. Let's go and look at the way that the ontology looks now that we have made the change. We do this by clicking on the name of the Documents-2 ontology.

[Back] [Up] [Next]

HomeMake CommentPreferencesSave all and quit sessionReloadOntology LibraryParent OntologyAllow edit gadgetsUndoDictionaryDocumentationFind NameHelp
:
:
Class Thesis in ontology Documents-2

Class Thesis

Notes for Thesis:

Slots on class Thesis:

Arity: 1
Documentation:
An official report on a bout of graduate work for which one receives a degree, published by the university. Never mind that some fields make a big deal about the difference between dissertations and theses. From the bibliographic perspective, they are both of the same family.
Exhaustive-Subclass-Partition: {Doctoral-Thesis, Masters-Thesis}
Instance-Of: Class, Go Relation, Go Set
Subclass-Of:
Technical-Document, Go Document, Go Individual, Go Individual-Thing, Go Thing ...
Superclass-Of: Doctoral-Thesis, Masters-Thesis

Slots on instances of Thesis:

Has-Author:
Slot-Cardinality: 1
Organization-Of:
Slot-Cardinality: 1
Slot-Value-Type: University
Publication-Date-Of:
Slot-Cardinality: 1
Title-Of:
Slot-Cardinality: 1

Implication Axioms for Thesis:

(=> (Thesis ?X)
    (And (Value-Cardinality ?X Has-Author 1)
         (Value-Cardinality ?X Title-Of 1)
         (Value-Cardinality ?X Publication-Date-Of 1)
         (Value-Cardinality ?X Organization-Of 1)
         (Value-Type ?X Organization-Of University)))

Other Related Axioms for Thesis:

 Go (Subclass-Partition Document
                         (Setof Book
                                Periodical-Publication
                                Proceedings
                                Thesis
                                Technical-Report
                                Miscellaneous-Publication))
:
:
HomeMake CommentPreferencesSave all and quit sessionReloadOntology LibraryParent OntologyAllow edit gadgetsUndoDictionaryDocumentationFind NameHelp