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

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

(in-ontology 'aktive-portal-ontology)


(Define-Frame ACTIVITY  

  :own-slots
  (
  (Subclass-of temporal-thing))

  :template-slots
  ((Produces-Output 
   (slot-value-type thing))
   (Uses-Resource 
   (slot-value-type thing))
   (Has-Status 
   (slot-value-type activity-status))
   (Has-Sub-Activity 
   (slot-value-type activity))
   ))


(Define-Frame ACTIVITY-STATUS  

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


(Define-Relation INVOLVES-ORGANIZATION (?p ?o) 
"It is sufficient that somebody in unit ?u works in project ?p"
  :sufficient (and (project ?p) (involves-organization-unit ?p ?u) (unit-of-organization ?u ?o))
  :constraints (and (project ?p) (organization ?o)))


(Define-Relation INVOLVES-ORGANIZATION-UNIT (?p ?u) 
"It is sufficient that somebody in unit ?u works in project ?p"
  :sufficient (and (project ?p) (has-project-member ?p ?x) (works-in-unit ?x ?u))
  :constraints (and (project ?p) (organization-unit ?u)))


(Define-Frame PROJECT-OUTPUT  

  :own-slots
  (
  (Subclass-of temporal-thing))

  :axioms
((<=> (or (event ?x) (technology ?x) (method ?x) (organization ?x) (information-bearing-object ?x)) (project-output ?x))
))


(Define-Frame PROJECT  

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

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value-type generic-area-of-interest))
   (Has-Key-Publication 
   (slot-value-type publication))
   (Has-Publication 
   (slot-value-type publication))
   (Has-Web-Address 
   (slot-value-type url))
   (Has-Funding 
   (slot-value-type grant))
   (Has-Contact-Person 
   (slot-value-type person))
   (Has-Project-Member 
   (minimum-slot-cardinality 1)
   (slot-value-type person))
   (Has-Project-Leader 
   (slot-value-type person))
   (Has-Goals 
   (slot-value-type string))
   (Involves-Organization-Unit 
   (minimum-slot-cardinality 1)
   (slot-value-type organization-unit))
   (Involves-Organization 
   (minimum-slot-cardinality 1)
   (slot-value-type organization))
   (Contributes-To-Output 
   (slot-value-type project-output))
   (Produces-Output 
   (slot-value-type project-output))
   (Has-Leading-Organization 
   (slot-value-type organization))
   )

  :axioms
((=> (project ?x) (and (forall ?y (=> (has-leading-organization ?x ?y) (involves-organization ?x ?y))) (forall ?y (=> (has-project-leader ?x ?y) (has-project-member ?x ?y)))))
))


(Define-Relation CONTRIBUTES-TO-OUTPUT (?x ?c) 

  :sufficient (produces-output ?x ?c))


(Define-Frame GRANT  

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

  :template-slots
  ((Has-Grant-Reference 
   (slot-value-type string))
   (Has-Grant-Value 
   (slot-value-type amount-of-money))
   (Has-Funding-Source 
   (slot-value-type organization))
   )

  :axioms
((forall (?inst15589 ?value15590) (=> (grant ?inst15589) (<=> (has-grant-value ?inst15589 ?value15590) (has-amount ?inst15589 ?value15590))))
))

Contact Point