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

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/events.lisp"
(in-package "ONTOLINGUA-USER")

(in-ontology 'aktive-portal-ontology)


(Define-Frame EVENT  Show the class event in WebOnto

  :own-slots
  (  (Documentation "This is a minimalist definition of class event.  We start with the very basic
   and we will then add slots as we specialise this definition for specific classes of events.
   The fillers of slots has-other-agents-involved and has-main-agent should not 
   intersect")
  (Subclass-of temporal-thing))

  :template-slots
  ((Has-Location 
   (documentation "The location at which an event takes place")
   (slot-value-type location))
   (Has-Sub-Event 
   (slot-value-type event))
   (Has-Other-Agents-Involved 
   (documentation "Other agents involved in the event")
   (slot-value-type generic-agent))
   (Has-Main-Agent 
   (documentation "The agents causing the event to happen, if they are known.")
   (slot-value-type generic-agent))
   )

  :axioms
((=> (event ?x) (not (exists ?a (and (has-main-agent ?x ?a) (has-other-agents-involved ?x ?a)))))
))


(Define-Frame EVENT-INVOLVING-PRODUCTION  Show the class event-involving-production in WebOnto

  :own-slots
  (  (Documentation "When something is produced")
  (Subclass-of event))

  :template-slots
  ((Event-Product 
   (slot-value-type individual))
   ))


(Define-Frame EVENT-INVOLVING-MOVEMENT  Show the class event-involving-movement in WebOnto

  :own-slots
  (  (Documentation "This is an event in which the main agent (plus maybe others)
   goes from some place to another")
  (Subclass-of event))

  :template-slots
  ((Means-Of-Transport-Used 
   (slot-value-type generalised-means-of-transport))
   (Location-At-End 
   (maximum-slot-cardinality 1)
   (slot-value-type location))
   (Location-At-Start 
   (maximum-slot-cardinality 1)
   (slot-value-type location))
   )

  :axioms
((forall (?inst15519 ?value15520) (=> (event-involving-movement ?inst15519) (<=> (location-at-start ?inst15519 ?value15520) (has-location ?inst15519 ?value15520))))
))


(Define-Frame GENERALIZED-TRANSFER  Show the class generalized-transfer in WebOnto

  :own-slots
  (  (Documentation "An event in which the main agent transfers something (the thing-acted-on, tangible or intangible) 
   to one or more recipient agents.
   Note that we do not say anything about whether the original agent still retain
   the thing-acted-on.  In some cases this is clearly true ('I pass my wisdom on to my daughter'),
   in other cases it is not (I give you my wallet).")
  (Subclass-of event-involving-movement))

  :template-slots
  ((Recipient-Agents 
   (documentation "The agents which receive the thing-acted-on")
   (slot-value-type generic-agent))
   (Thing-Acted-On 
   (documentation "What is being transferred")
   (slot-value-type individual))
   )

  :axioms
((forall (?inst15521 ?value15522) (=> (generalized-transfer ?inst15521) (<=> (recipient-agents ?inst15521 ?value15522) (has-other-agents-involved ?inst15521 ?value15522))))
))


(Define-Frame INFORMATION-TRANSFER-EVENT  Show the class information-transfer-event in WebOnto

  :own-slots
  (  (Documentation "A generalized transfer in which information is passed from main agent to one or more
   recipient agents.  Examples include giving a tutorial.")
  (Subclass-of generalized-transfer))

  :template-slots
  ((Information-Transfer-Medium-Used 
   (slot-value-type information-transfer-medium))
   (Information-Object-Being-Transferred 
   (slot-value-type information-bearing-object))
   (Information-Being-Transferred 
   (slot-value-type abstract-information))
   (Sender-Of-Information 
   (slot-value-type generic-agent))
   )

  :axioms
((forall (?inst15523 ?value15524) (=> (information-transfer-event ?inst15523) (<=> (sender-of-information ?inst15523 ?value15524) (has-main-agent ?inst15523 ?value15524))))
(forall (?inst15523 ?value15524) (=> (information-transfer-event ?inst15523) (<=> (information-being-transferred ?inst15523 ?value15524) (thing-acted-on ?inst15523 ?value15524))))
(forall (?inst15523 ?value15524) (=> (information-transfer-event ?inst15523) (<=> (information-transfer-medium-used ?inst15523 ?value15524) (means-of-transport-used ?inst15523 ?value15524))))
))


(Define-Frame GENERALISED-MEANS-OF-TRANSPORT  Show the class generalised-means-of-transport in WebOnto

  :own-slots
  (  (Documentation "This is a generic class to catch all sorts of borderline and metaphorical 
   ways to carry things from A to B")
  (Subclass-of thing)))


(Define-Frame TRANSPORTATION-DEVICE  Show the class transportation-device in WebOnto

  :own-slots
  (  (Documentation "Something tangible designed to transport people, animals, objects from A to B. 
   For instance a bycicle, a car, a boat, etc.")
  (Subclass-of generalised-means-of-transport)
  (Subclass-of tangible-thing)))


(Define-Frame INFORMATION-TRANSFER-MEDIUM  Show the class information-transfer-medium in WebOnto

  :own-slots
  (
  (Subclass-of generalised-means-of-transport)))


(Define-Individual EMAIL-MEDIUM (information-transfer-medium) Show the instance email-medium in WebOnto
)


(Define-Frame MESSAGE  Show the class message in WebOnto

  :own-slots
  (
  (Subclass-of information-bearing-object))

  :template-slots
  ((Time-Of-Message 
   (slot-value-type time-point))
   (Recipient-Of-Message 
   (slot-value-type generic-agent))
   (Sender-Of-Message 
   (slot-value-type generic-agent))
   ))


(Define-Frame LETTER  Show the class letter in WebOnto

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


(Define-Frame EMAIL-MESSAGE  Show the class email-message in WebOnto

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


(Define-Frame SENDING-AN-EMAIL  Show the class sending-an-email in WebOnto

  :own-slots
  (  (Documentation "a generalized transfer in which information is passed from main agent to one or more
   recipient agents.  examples include giving a tutorial.")
  (Subclass-of information-transfer-event))

  :template-slots
  ((Information-Transfer-Medium-Used 
   (slot-value email-medium))
   (Information-Object-Being-Transferred 
   (slot-value-type email-message))
   (Sender-Of-Information 
   (slot-value-type generic-agent))
   ))


(Define-Frame SOCIAL-GATHERING  Show the class social-gathering in WebOnto

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


(Define-Frame MEETING-TAKING-PLACE  Show the class meeting-taking-place in WebOnto

  :own-slots
  (  (Documentation "A meeting type of event. Note that both attendee and organizer have
   multiple cardinality")
  (Subclass-of social-gathering))

  :template-slots
  ((Meeting-Organizer 
   (slot-value-type person))
   (Meeting-Attendee 
   (slot-value-type person))
   )

  :axioms
((forall (?inst15533 ?value15534) (=> (meeting-taking-place ?inst15533) (<=> (meeting-organizer ?inst15533 ?value15534) (has-main-agent ?inst15533 ?value15534))))
(forall (?inst15533 ?value15534) (=> (meeting-taking-place ?inst15533) (<=> (meeting-attendee ?inst15533 ?value15534) (has-other-agents-involved ?inst15533 ?value15534))))
))


(Define-Frame PUBLICATION-TYPE-EVENT  Show the class publication-type-event in WebOnto

  :own-slots
  (
  (Subclass-of event-involving-production))

  :template-slots
  ((Event-Product 
   (slot-value-type publication))
   ))


(Define-Frame CONFERENCE  Show the class conference in WebOnto

  :own-slots
  (
  (Subclass-of meeting-taking-place)
  (Subclass-of publication-type-event))

  :template-slots
  ((Published-Proceedings 
   (slot-value-type conference-proceedings-reference))
   )

  :axioms
((forall (?inst15536 ?value15537) (=> (conference ?inst15536) (<=> (published-proceedings ?inst15536 ?value15537) (event-product ?inst15536 ?value15537))))
))


(Define-Frame WORKSHOP  Show the class workshop in WebOnto

  :own-slots
  (
  (Subclass-of meeting-taking-place)
  (Subclass-of publication-type-event))

  :template-slots
  ((Published-Proceedings 
   (slot-value-type workshop-proceedings-reference))
   )

  :axioms
((forall (?inst15538 ?value15539) (=> (workshop ?inst15538) (<=> (published-proceedings ?inst15538 ?value15539) (event-product ?inst15538 ?value15539))))
))


(Define-Frame BOOK-PUBLISHING  Show the class book-publishing in WebOnto

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

  :template-slots
  ((Published-Book 
   (slot-value-type book))
   )

  :axioms
((forall (?inst15540 ?value15541) (=> (book-publishing ?inst15540) (<=> (published-book ?inst15540 ?value15541) (event-product ?inst15540 ?value15541))))
))


(Define-Frame CONFERRING-AN-AWARD  Show the class conferring-an-award in WebOnto

  :own-slots
  (
  (Subclass-of generalized-transfer))

  :template-slots
  ((Confers-Award 
   (slot-value-type award))
   (Has-Award-Rationale 
   (slot-value-type string))
   (Has-Awarding-Body 
   (slot-value-type awarding-body))
   )

  :axioms
((forall (?inst15542 ?value15543) (=> (conferring-an-award ?inst15542) (<=> (has-awarding-body ?inst15542 ?value15543) (has-main-agent ?inst15542 ?value15543))))
(forall (?inst15542 ?value15543) (=> (conferring-an-award ?inst15542) (<=> (confers-award ?inst15542 ?value15543) (thing-acted-on ?inst15542 ?value15543))))
))


(Define-Frame AWARDING-BODY  Show the class awarding-body in WebOnto

  :own-slots
  (  (Documentation "Legal agents can be either organizations or people.
   An awarding body is normally an organization, an individual, or a bunch of people")
  (Subclass-of legal-agent)))


(Define-Frame AWARD  Show the class award in WebOnto

  :own-slots
  (  (Documentation "An award is an intangible thing, even if the 
   piece of paper which is often associated with an award is 
   tangible.  What about the virtual piece of paper in the 
   virtual degree ceremony?  I guess that ought to be an intangible")
  (Subclass-of intangible-thing)))


(Define-Frame FINANCIAL-AWARD  Show the class financial-award in WebOnto

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

  :template-slots
  ((Has-Amount 
   (slot-value-type amount-of-money))
   ))


(Define-Frame DEGREE  Show the class degree in WebOnto

  :own-slots
  (  (Documentation "A degree is type of award")
  (Subclass-of award)))


(Define-Frame ACADEMIC-DEGREE  Show the class academic-degree in WebOnto

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


(Define-Individual PHD (academic-degree) Show the instance phd in WebOnto
)


(Define-Individual DENG (academic-degree) Show the instance deng in WebOnto
)


(Define-Individual MSC (academic-degree) Show the instance msc in WebOnto
)


(Define-Individual MA (academic-degree) Show the instance ma in WebOnto
)


(Define-Individual BA (academic-degree) Show the instance ba in WebOnto
)


(Define-Individual BSC (academic-degree) Show the instance bsc in WebOnto
)


(Define-Frame GIVING-A-TALK  Show the class giving-a-talk in WebOnto

  :own-slots
  (
  (Subclass-of information-transfer-event))

  :template-slots
  ((Has-Speaker 
   (slot-value-type person))
   )

  :axioms
((forall (?inst15549 ?value15550) (=> (giving-a-talk ?inst15549) (<=> (has-speaker ?inst15549 ?value15550) (sender-of-information ?inst15549 ?value15550))))
))


(Define-Frame ATTENDING-AN-EVENT  Show the class attending-an-event in WebOnto

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

  :template-slots
  ((Event-Attended 
   (slot-value-type event))
   ))


(Define-Frame ATTENDING-A-CONFERENCE  Show the class attending-a-conference in WebOnto

  :own-slots
  (
  (Subclass-of attending-an-event))

  :template-slots
  ((Event-Attended 
   (slot-value-type conference))
   ))

Contact Point

Email: John Domingue (j.b.domingue@open.ac.uk)