Ontology: Aktive-Portal-Ontology; Representation Language: ONTOLINGUA; File: docs

This ontology was created by the Advanced Knowledge Technologies (AKT) project. AKT is an Interdisciplinary Research Collaboration (IRC), which is sponsored by the UK Engineering and Physical Sciences Research Council under grant number GR/N15764/01. The AKT IRC comprises the Universities of Aberdeen, Edinburgh, Sheffield, Southampton and the Open University.

;;;Automatically translated from OCML file #P"C:/users/jbd2/code/ocml/library/v5-0/domains/aktive-portal-ontology/docs.lisp"
(in-package "ONTOLINGUA-USER")

(in-ontology 'aktive-portal-ontology)


(Define-Frame INFORMATION-BEARING-OBJECT  

  :own-slots
  (  (Documentation "This notion comes from Cyc.  It is useful to group together all
   information bearing entities, including video, audio and documents.
   An information bearing object may have an author (a generic agent)
   and may be owned by a legal agent. It is a tangible object")
  (Subclass-of tangible-thing))

  :template-slots
  ((Owned-By 
   (slot-value-type legal-agent))
   (Has-Author 
   (slot-value-type generic-agent))
   ))


(Define-Frame ABSTRACT-INFORMATION  

  :own-slots
  (  (Documentation "Information in general, independent of an object in which it is encoded. 
   Whatever is transferred in an information-transfer event.
   It is clearly an intangible thing")
  (Subclass-of intangible-thing)))


(Define-Frame RECORDED-AUDIO  

  :own-slots
  (  (Documentation "Any kind of recorded audio, which is tangible.  This also includes a  
   audio file on a machine")
  (Subclass-of information-bearing-object)))


(Define-Frame RECORDED-VIDEO  

  :own-slots
  (  (Documentation "Any kind of recorded video, which is tangible.  This also includes (e.g.,) a mpeg 
   video file on a machine")
  (Subclass-of information-bearing-object)))


(Define-Frame PUBLICATION  

  :own-slots
  (  (Documentation "A publication is something which has one or more publication references.
   A publication can be both an article in a journal or a journal itself.
   The distinction between publication and publication-reference makes it possible
   to distinguish between multiple occurrences of the same publication, for instance in
   different media")
  (Subclass-of information-bearing-object))

  :template-slots
  ((Cites-Publication-Reference 
   (slot-value-type publication-reference))
   (Has-Publication-Reference 
   (slot-value-type publication-reference)
   (minimum-slot-cardinality 1))
   (Has-Date 
   (slot-value-type calendar-date))
   (Has-Abstract 
   (slot-value-type string))
   (Has-Author 
   (slot-value-type generic-agent))
   (Has-Title 
   (slot-value-type string))
   ))


(Define-Frame ELECTRONIC-PUBLICATION  

  :own-slots
  (  (Documentation "A publication produced in electronic form")
  (Subclass-of publication)))


(Define-Frame COMPOSITE-PUBLICATION  

  :own-slots
  (  (Documentation "A publication which contains items which cane be themselves referenced through a 
   publication reference.  Composite publications include newspapers, magazines and journals.
   A book which is a collection of articles is a composite publication, a monograph is not")
  (Subclass-of publication))

  :template-slots
  ((Contains-Publication 
   (slot-value-type publication)
   (minimum-slot-cardinality 1))
   ))


(Define-Frame SERIAL-PUBLICATION  

  :own-slots
  (  (Documentation "This used to be called periodical publication.  However, many periodicals
do not appear at fixed intervals, which is why librarians refer to them as serials.
So, we now use the concept of serial publication and the has-periodicity slot has been 
removed")
  (Subclass-of publication))

  :template-slots
  ((Has-Impact-Factor 
   (slot-value-type positive-number))
   ))


(Define-Frame PERIODICAL-PUBLICATION  

  :own-slots
  (  (Documentation "This comes from the ontolingua library.
   A periodical-publication is published regularly, such as once
   every week.  Strictly speaking, the noun 'periodical' is used
   by librarians to refer to things published at intervals of greater
   than a day.  We use the phase periodical-publication to include
   newspapers and other daily publications, since they share many
   bibliographic features.
   The periodicity indicates how often the publication comes out. Note that this is
   a duration, rather than a time interval. A time interval indicates a specific time interval
   on the time continuum, so we need to model periodicity as a time quantity")
  (Subclass-of serial-publication))

  :template-slots
  ((Has-Periodicity 
   (slot-value-type duration)
   (slot-cardinality 1))
   ))


(Define-Frame ARTICLE-IN-A-COMPOSITE-PUBLICATION  

  :own-slots
  (
  (Subclass-of publication))

  :template-slots
  ((Included-In-Publication 
   (slot-value-type composite-publication))
   ))


(Define-Axiom CONSISTENCY-BETWEEN-COMPOSITE-PUBLICATIONS-AND-THEIR-CONTENTS  
:= (<=> (included-in-publication ?a ?p) (contains-publication ?p ?a)))


(Define-Frame JOURNAL  

  :own-slots
  (
  (Subclass-of serial-publication)
  (Subclass-of composite-publication))

  :template-slots
  ((Contains-Article 
   (slot-value-type publication))
   )

  :axioms
((forall (?inst15407 ?value15408) (=> (journal ?inst15407) (<=> (contains-article ?inst15407 ?value15408) (contains-publication ?inst15407 ?value15408))))
))


(Define-Frame MAGAZINE  

  :own-slots
  (
  (Subclass-of serial-publication)
  (Subclass-of composite-publication))

  :template-slots
  ((Contains-Article 
   (slot-value-type publication))
   )

  :axioms
((forall (?inst15409 ?value15410) (=> (magazine ?inst15409) (<=> (contains-article ?inst15409 ?value15410) (contains-publication ?inst15409 ?value15410))))
))


(Define-Frame NEWSPAPER  

  :own-slots
  (
  (Subclass-of periodical-publication)
  (Subclass-of composite-publication))

  :template-slots
  ((Contains-News-Item 
   (slot-value-type news-item))
   )

  :axioms
((forall (?inst15411 ?value15412) (=> (newspaper ?inst15411) (<=> (contains-news-item ?inst15411 ?value15412) (contains-publication ?inst15411 ?value15412))))
))


(Define-Frame NEWSLETTER  

  :own-slots
  (  (Documentation "Merrian-Webster says: a small publication (such as a leaflet or newspaper) 
   containing news of interest chiefly to a special group")
  (Subclass-of serial-publication)
  (Subclass-of composite-publication))

  :template-slots
  ((Contains-News-Item 
   (slot-value-type news-item))
   )

  :axioms
((forall (?inst15413 ?value15414) (=> (newsletter ?inst15413) (<=> (contains-news-item ?inst15413 ?value15414) (contains-publication ?inst15413 ?value15414))))
))


(Define-Frame DAILY-NEWSPAPER  

  :own-slots
  (
  (Subclass-of newspaper))

  :template-slots
  ((Has-Periodicity 
   (slot-value 24-hour-duration))
   ))


(Define-Frame NEWS-ITEM  

  :own-slots
  (
  (Subclass-of article-in-a-composite-publication)))


(Define-Axiom MUTUALLY-EXCLUSIVE-SERIAL-PUBLICATIONS  
:= (subclass-partition serial-publication (setof journal magazine newspaper)))


(Define-Frame BOOK  

  :own-slots
  (
  (Subclass-of publication))

  :template-slots
  ((Has-Publication-Reference 
   (slot-value-type book-reference)
   (minimum-slot-cardinality 1))
   ))


(Define-Frame EDITED-BOOK  

  :own-slots
  (
  (Subclass-of publication))

  :template-slots
  ((Has-Publication-Reference 
   (slot-value-type edited-book-reference)
   (minimum-slot-cardinality 1))
   ))


(Define-Frame PUBLICATION-REFERENCE  

  :own-slots
  (  (Documentation "we have decided that a publication reference is an intangible, abstract information")
  (Subclass-of temporal-thing)
  (Subclass-of abstract-information))

  :template-slots
  ((Has-Place-Of-Publication 
   (slot-value-type location))
   (Has-Date 
   (slot-value-type calendar-date))
   (Has-Author 
   (slot-value-type generic-agent))
   (Has-Title 
   (slot-value-type string))
   ))


(Define-Frame WEB-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Has-Url 
   (slot-value-type url))
   ))


(Define-Frame URL  

  :own-slots
  (  (Documentation "A URL is a particular type of string")
  (Subclass-of string)))


(Define-Frame BOOK-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Has-Isbn-Number 
   (slot-value-type isbn-number))
   (Published-By 
   (slot-value-type publishing-house))
   ))


(Define-Frame EDITED-BOOK-REFERENCE  

  :own-slots
  (
  (Subclass-of book-reference))

  :template-slots
  ((Edited-By 
   (slot-value-type person))
   )

  :axioms
((forall (?inst15422 ?value15423) (=> (edited-book-reference ?inst15422) (<=> (edited-by ?inst15422 ?value15423) (has-author ?inst15422 ?value15423))))
))


(Define-Frame CONFERENCE-PROCEEDINGS-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Published-In-Conference 
   (slot-value-type conference))
   (Has-Page-Numbers 
   (slot-value-type string))
   (Edited-By 
   (slot-value-type person))
   )

  :axioms
((forall (?inst15424 ?value15425) (=> (conference-proceedings-reference ?inst15424) (<=> (edited-by ?inst15424 ?value15425) (has-author ?inst15424 ?value15425))))
))


(Define-Frame WORKSHOP-PROCEEDINGS-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Published-In-Workshop 
   (slot-value-type workshop))
   (Has-Page-Numbers 
   (slot-value-type string))
   (Edited-By 
   (slot-value-type person))
   )

  :axioms
((forall (?inst15426 ?value15427) (=> (workshop-proceedings-reference ?inst15426) (<=> (edited-by ?inst15426 ?value15427) (has-author ?inst15426 ?value15427))))
))


(Define-Frame ISBN-NUMBER  

  :own-slots
  (
  (Subclass-of string)))


(Define-Frame BOOK-SECTION-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Section-Of-Book 
   (slot-value-type book-reference))
   (Has-Page-Numbers 
   (slot-value-type string))
   ))


(Define-Frame ARTICLE-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Issue-Volume 
   (slot-value-type integer))
   (Issue-Number 
   (slot-value-type integer))
   (Article-Of-Journal 
   (slot-value-type journal))
   (Has-Page-Numbers 
   (slot-value-type string))
   ))


(Define-Frame PROCEEDINGS-PAPER-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Paper-In-Proceedings 
   (slot-value-type conference-proceedings-reference))
   (Has-Page-Numbers 
   (slot-value-type string))
   ))


(Define-Frame THESIS-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Institute-Of-Thesis 
   (slot-value-type academic-unit))
   (Degree-Of-Thesis 
   (slot-value-type academic-degree))
   ))


(Define-Frame TECHNICAL-REPORT-REFERENCE  

  :own-slots
  (
  (Subclass-of publication-reference))

  :template-slots
  ((Has-Tech-Report-Number 
   (slot-value-type integer))
   (Published-By 
   (slot-value-type organization))
   ))

Contact Point