Chris Welty - Dissertation
(defconcept kbeds-object (and kbeds-thing object-thing))
;
(defconcept information-topic
(and kbeds-object object-thing
(all has-information-item information-item)
(all has-description description)))
;
(defconcept information-item
(and kbeds-object
(all information-item-of information-topic)
(at-least 1 information-item-of)
(all has-information-view information-view)
(at-least 1 has-information-view)))
;
(defconcept information-view
(and kbeds-object
(all information-view-of information-item)
(at-least 1 information-view-of)
(at-most 1 information-view-of)
(all stored-in-file file)
(at-most 1 stored-in-file)
(at-least 1 stored-in-file)))
;
(defconcept valid-mail-recipient
(and kbeds-object
(all email-addr string) (at-least 1 email-addr)
(all owns-mailbox kbeds-mailbox) (at-least 1 owns-mailbox)
(all has-kbeds-filter kbeds-filter)))
;
(defconcept invalid-mail-recipient
(and kbeds-object
(at-most 0 email-addr)
(at-most 0 owns-mailbox)))
;
(defconcept valid-mail-sender
(and kbeds-object
(at-least 1 email-addr)
(all email-addr string)))
;
(defconcept invalid-mail-sender kbeds-object)
;
(defconcept kbeds-mailbox
(and kbeds-object
(all stored-in-file file)
(at-least 1 stored-in-file) (at-most 1 stored-in-file)
(all mailbox-owner valid-mail-recipient)
(at-least 1 mailbox-owner) (at-most 1 mailbox-owner)))
;
(defconcept kbeds-mail-message
(and kbeds-object
(all sender valid-mail-sender)
(at-most 1 sender) (at-least 1 sender)
(all recipient valid-mail-recipient) (at-least 1 recipient)
(all subject string) (at-most 1 subject)
(all body string) (at-most 1 body)
(all header string) (at-least 1 header) (at-most 1 header)
(all filter-condition-of kbeds-filter)))
;
(defconcept kbeds-filter
(and kbeds-object
(all kbeds-filter-of valid-mail-recipient)
(at-least 1 kbeds-filter-of)
(all has-filter-condition kbeds-mail-message)
(at-least 1 has-filter-condition)
(all has-filter-action kbeds-filter-action)
(at-least 1 has-filter-action)))
;
(defconcept person
(and information-topic valid-mail-sender valid-mail-recipient
(all first-name string)
(all last-name string)
(all middle-name string)
(all full-name string)
(all office-phone string)
(all fax string)
(all home-phone string)
(all office-address string)
(all home-address string)
(all email string)
(all interests string)
(all member-of group)
(all employee-of organization)
(all conference-chair-of conference)
(all program-chair-of conference)
(all publicity-chair-of conference)
(all has-spouse person)
(all has-children person)
(all has-parents person)
(all author-of document)
(all editor-of collection)
(all gendre (one-of 'male 'female))))
;
(defconcept information-service
(and information-topic
(all URL string)))
;
(defconcept meeting
(and information-topic
(all place string)))
;
(defconcept group
(and information-topic valid-mail-recipient
(all has-member person)
(all address string)
(all phone string)
(all name string)))
;
(defconcept software information-topic)
;
(defconcept publication
(and information-topic
(all title string)))
;
(defconcept document
(and publication
(all title string)
(all author person)
(all month-published string)
(all year-published string)
(all location string)
(all referenced-by document)
(all references document)
(all has-summary summary)))
;
(defconcept paper
(and document
(all has-abstract abstract)))
;
(defconcept book
(and document
(all published-by publisher)
(all has-review review)))
;
(defconcept collection
(and document
(all articles article)
(all editor person)))
;
(defconcept article
(and paper
(all published-in collection)))
;
(defconcept techreport
(and paper
(all tr-number string)
(all available-from group)))
;
(defconcept thesis paper)
;
(defconcept unpublished paper)
;
(defconcept review
(and article
(all reviews book)))
;
(defconcept manual book)
;
(defconcept collection-book
(and book collection))
;
(defconcept encyclopedia collection-book)
;
(defconcept proceedings
(and collection-book
(all proceedings-of conference)))
;
(defconcept journal-issue
(and collection
(all issue-of journal)
(all volume string)
(all number string)))
;
(defconcept journal
(and periodical
(all has-issues journal-issue)
(all frequency integer)))
;
(defconcept organization
(and group
(all has-employee person)
(all sponsors conference)
(all cooperates-on conference)
(all has-department department)))
;
(defconcept interest-group
(and group
(all interests string)))
;
(defconcept committee group)
;
(defconcept government organization)
;
(defconcept college organization)
;
(defconcept company organization)
;
(defconcept department
(and organization
(all department-of organization)))
;
(defconcept publisher
(and organization
(all publishes book)))
;
(defconcept program-committee
(and committee
(all program-committee-of conference)))
;
(defconcept conference
(and meeting
(all has-program-committee program-committee)
(all sponsored-by organization)
(all in-cooperation-with organization)
(all date string)
(all has-proceedings proceedings)
(all nickname string)
(all has-conference-chair person)
(all has-program-chair person)
(all has-publicity-chair person)
(all paper-deadline string)
(all has-cfp cfp)
(all has-program conference-program)))
;
(defconcept description
(and information-item
(all description-of information-topic)))
;
(defconcept abstract
(and information-item
(all abstract-of paper)))
;
(defconcept summary
(and information-item
(all summary-of document)))
;
(defconcept cfp
(and information-item
(all cfp-of conference)))
;
(defconcept conference-program
(and information-item
(all program-of conference)))
;
(defconcept text-view information-view)
;
(defconcept ascii-view text-view)
Generated with Harlequin WebMaker