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

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

(in-ontology 'aktive-portal-ontology)


(Define-Relation ADDRESSES-GENERIC-AREA-OF-INTEREST (?x ?area) Show the relation addresses-generic-area-of-interest in WebOnto

  :sufficient (and (sub-area-of ?sub-area ?area) (addresses-generic-area-of-interest ?x ?sub-area))
  :constraints (generic-area-of-interest ?area))


(Define-Frame TECHNOLOGY  Show the class technology in WebOnto

  :own-slots
  (  (Documentation "By technology we mean engineered applications of science.
   I guess we are probably confining ourselves to tangible things
   but as I am not sure I will use thing as the direct superclass - 
   e.g., an algorithm is an intangible thing, but it could be seen as 
   a technology, if we give a broad interpretation of the term")
  (Subclass-of temporal-thing))

  :template-slots
  ((Has-Key-Publication 
   (slot-value-type publication))
   (Has-Publication 
   (slot-value-type publication))
   (Addresses-Generic-Area-Of-Interest 
   (slot-value-type generic-area-of-interest))
   (Supports-Method 
   (slot-value-type method))
   (Technology-Builds-On 
   (slot-value-type technology))
   (Owned-By 
   (slot-value-type legal-agent))
   (Has-Email-Address 
   (slot-value-type email-address))
   (Has-Web-Address 
   (slot-value-type url))
   (Has-Author 
   (slot-value-type generic-agent))
   ))


(Define-Frame METHOD  Show the class method in WebOnto

  :own-slots
  (  (Documentation "Merrian-Webster has a good set of definitions for a method.
   They say it is 'a systematic procedure,
   technique, or mode of inquiry employed by or proper to a particular 
   discipline or art;  a systematic plan followed in presenting 
   material for instruction; a way, technique, or
   process of or for doing something; a body of skills or techniques'.
   This is very much also what we mean by method.")
  (Subclass-of intangible-thing))

  :template-slots
  ((Has-Key-Publication 
   (slot-value-type publication))
   (Has-Publication 
   (slot-value-type publication))
   (Addresses-Generic-Area-Of-Interest 
   (slot-value-type generic-area-of-interest))
   (Method-Builds-On 
   (slot-value-type method))
   (Owned-By 
   (slot-value-type organization))
   (Has-Email-Address 
   (slot-value-type email-address))
   (Has-Web-Address 
   (slot-value-type url))
   (Has-Author 
   (slot-value-type person))
   ))


(Define-Frame COMPUTING-TECHNOLOGY  Show the class computing-technology in WebOnto

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


(Define-Frame SOFTWARE-TECHNOLOGY  Show the class software-technology in WebOnto

  :own-slots
  (
  (Subclass-of computing-technology)))


(Define-Frame IMPLEMENTED-SYSTEM  Show the class implemented-system in WebOnto

  :own-slots
  (
  (Subclass-of software-technology))

  :template-slots
  ((Has-Status 
   (documentation "Whether the software is released, alpha or beta")
   (slot-value-type software-status))
   (Requires-Software-Technology 
   (slot-value-type software-technology))
   (Runs-On-Operating-System 
   (slot-value-type operating-system))
   (Requires-Hardware-Platform 
   (slot-value-type hardware-platform))
   ))


(Define-Frame WEB-SITE  Show the class web-site in WebOnto

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

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


(Define-Frame PROGRAMMING-ENVIRONMENT  Show the class programming-environment in WebOnto

  :own-slots
  (
  (Subclass-of implemented-system))

  :template-slots
  ((Supports-Language 
   (slot-value-type programming-language))
   ))


(Define-Frame WEB-BASED-SYSTEM  Show the class web-based-system in WebOnto

  :own-slots
  (  (Documentation "A system which is accessible through the web")
  (Subclass-of implemented-system))

  :template-slots
  ((Requires-Software-Technology-On-Client-Side 
   (slot-value-type software-technology))
   (Runs-On-Operating-System-On-Client-Side 
   (slot-value-type operating-system))
   (Requires-Hardware-Platform-On-Client-Side 
   (slot-value-type hardware-platform))
   (Requires-Software-Technology-On-Server-Side 
   (slot-value-type software-technology))
   (Runs-On-Operating-System-On-Server-Side 
   (slot-value-type operating-system))
   (Requires-Hardware-Platform-On-Server-Side 
   (slot-value-type hardware-platform))
   )

  :axioms
((forall (?inst15563 ?value15564) (=> (web-based-system ?inst15563) (<=> (requires-software-technology-on-server-side ?inst15563 ?value15564) (requires-software-technology ?inst15563 ?value15564))))
(forall (?inst15563 ?value15564) (=> (web-based-system ?inst15563) (<=> (requires-hardware-platform-on-server-side ?inst15563 ?value15564) (requires-hardware-platform ?inst15563 ?value15564))))
(forall (?inst15563 ?value15564) (=> (web-based-system ?inst15563) (<=> (runs-on-operating-system-on-server-side ?inst15563 ?value15564) (runs-on-operating-system ?inst15563 ?value15564))))
))


(Define-Frame WEB-BROWSER  Show the class web-browser in WebOnto

  :own-slots
  (  (Documentation "A web browser is not a web-based system!")
  (Subclass-of implemented-system)))


(Define-Frame HARDWARE-TECHNOLOGY  Show the class hardware-technology in WebOnto

  :own-slots
  (
  (Subclass-of computing-technology)))


(Define-Frame OPERATING-SYSTEM  Show the class operating-system in WebOnto

  :own-slots
  (
  (Subclass-of implemented-system)))


(Define-Frame EDITOR  Show the class editor in WebOnto

  :own-slots
  (
  (Subclass-of implemented-system))

  :template-slots
  ((Supports-Language 
   (slot-value-type specification-or-computing-language))
   ))


(Define-Frame WEB-BASED-EDITOR  Show the class web-based-editor in WebOnto

  :own-slots
  (
  (Subclass-of editor)
  (Subclass-of web-based-system)))


(Define-Frame HARDWARE-PLATFORM  Show the class hardware-platform in WebOnto

  :own-slots
  (
  (Subclass-of hardware-technology)))


(Define-Frame SPECIFICATION-OR-COMPUTING-LANGUAGE  Show the class specification-or-computing-language in WebOnto

  :own-slots
  (
  (Subclass-of software-technology)))


(Define-Frame PROGRAMMING-LANGUAGE  Show the class programming-language in WebOnto

  :own-slots
  (
  (Subclass-of specification-or-computing-language)))


(Define-Frame SPECIFICATION-LANGUAGE  Show the class specification-language in WebOnto

  :own-slots
  (
  (Subclass-of specification-or-computing-language)))


(Define-Frame SCRIPTING-LANGUAGE  Show the class scripting-language in WebOnto

  :own-slots
  (
  (Subclass-of programming-language)))


(Define-Frame SOFTWARE-STATUS  Show the class software-status in WebOnto

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


(Define-Individual ALPHA-VERSION (software-status) Show the instance alpha-version in WebOnto
)


(Define-Individual BETA-VERSION (software-status) Show the instance beta-version in WebOnto
)


(Define-Individual RELEASED-VERSION (software-status) Show the instance released-version in WebOnto
)


(Define-Individual BROKEN-VERSION (software-status) Show the instance broken-version in WebOnto
)


(Define-Individual EXPERIMENTAL-VERSION (software-status) Show the instance experimental-version in WebOnto
)


(Define-Frame WEB-TECHNOLOGY  Show the class web-technology in WebOnto

  :own-slots
  (
  (Subclass-of computing-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value web-research-area))
   ))


(Define-Frame SERVER-TECHNOLOGY  Show the class server-technology in WebOnto

  :own-slots
  (
  (Subclass-of software-technology)
  (Subclass-of web-technology)))


(Define-Frame MULTIMEDIA-TECHNOLOGY  Show the class multimedia-technology in WebOnto

  :own-slots
  (
  (Subclass-of software-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value multimedia-research-area))
   ))


(Define-Frame LANGUAGE-ENGINEERING-TECHNOLOGY  Show the class language-engineering-technology in WebOnto

  :own-slots
  (
  (Subclass-of software-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value language-engineering))
   ))


(Define-Frame INFORMATION-EXTRACTION-TECHNOLOGY  Show the class information-extraction-technology in WebOnto

  :own-slots
  (
  (Subclass-of language-engineering-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value information-extraction))
   ))


(Define-Frame AGENT-TECHNOLOGY  Show the class agent-technology in WebOnto

  :own-slots
  (
  (Subclass-of software-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value agent-based-computing))
   ))


(Define-Frame SOFTWARE-VISUALIZATION-TECHNOLOGY  Show the class software-visualization-technology in WebOnto

  :own-slots
  (
  (Subclass-of software-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value software-visualization))
   ))


(Define-Frame KNOWLEDGE-MODELLING-TECHNOLOGY  Show the class knowledge-modelling-technology in WebOnto

  :own-slots
  (
  (Subclass-of software-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value knowledge-modelling))
   ))


(Define-Frame ONTOLOGY-SPECIFICATION-LANGUAGE  Show the class ontology-specification-language in WebOnto

  :own-slots
  (
  (Subclass-of specification-language)
  (Subclass-of knowledge-modelling-technology))

  :template-slots
  ((Addresses-Generic-Area-Of-Interest 
   (slot-value ontologies))
   ))


(Define-Frame KNOWLEDGE-PROGRAMMING-LANGUAGE  Show the class knowledge-programming-language in WebOnto

  :own-slots
  (  (Documentation "These are knowledge modelling languages which have an interpreter and that
   can be used to build systems")
  (Subclass-of programming-language)
  (Subclass-of knowledge-modelling-technology)))


(Define-Frame OPERATIONAL-ONTOLOGY-SPECIFICATION-LANGUAGE  Show the class operational-ontology-specification-language in WebOnto

  :own-slots
  (
  (Subclass-of ontology-specification-language)
  (Subclass-of knowledge-programming-language)))


(Define-Individual CLIPS (knowledge-programming-language) Show the instance clips in WebOnto
)


(Define-Individual ONTOLINGUA (ontology-specification-language) Show the instance ontolingua in WebOnto
)


(Define-Individual DAML+OIL (operational-ontology-specification-language) Show the instance daml+oil in WebOnto
)


(Define-Individual OIL (operational-ontology-specification-language) Show the instance oil in WebOnto
)


(Define-Individual OCML (operational-ontology-specification-language) Show the instance ocml in WebOnto
)


(Define-Individual JAVA (programming-language) Show the instance java in WebOnto
)


(Define-Individual LISP (programming-language) Show the instance lisp in WebOnto
)


(Define-Individual PROLOG (programming-language) Show the instance prolog in WebOnto
)


(Define-Individual C++ (programming-language) Show the instance c++ in WebOnto
)


(Define-Individual SMALLTALK (programming-language) Show the instance smalltalk in WebOnto
)


(Define-Individual PERL (programming-language) Show the instance perl in WebOnto
)


(Define-Individual CGI (scripting-language) Show the instance cgi in WebOnto
)


(Define-Individual JAVASCRIPT (scripting-language) Show the instance javascript in WebOnto
)


(Define-Individual KMI-WEB-LISP-SERVER (server-technology) Show the instance kmi-web-lisp-server in WebOnto
)


(Define-Individual HARLEQUIN-COMMON-LISP (programming-environment) Show the instance harlequin-common-lisp in WebOnto
  :axiom-def
  (And   (Supports-Language harlequin-common-lisp lisp)
  (Has-Status harlequin-common-lisp released-version)
  (Owned-By harlequin-common-lisp xanalys)
  (Runs-On-Operating-System harlequin-common-lisp windows2000)
  (Runs-On-Operating-System harlequin-common-lisp unix)
  ))


(Define-Individual GLOBAL-GRAPHICS-SOFTWARE (public-company) Show the instance global-graphics-software in WebOnto
"About 600 employees - I guess we consider it a medium-sized organization"
  :axiom-def
  (Has-Size global-graphics-software medium-size)
)


(Define-Individual XANALYS (company) Show the instance xanalys in WebOnto
  :axiom-def
  (And   (Subsidiary-Of xanalys global-graphics-software)
  (Has-Size xanalys small-size)
  ))


(Define-Individual WINDOWS2000 (operating-system) Show the instance windows2000 in WebOnto
)


(Define-Individual MAC-OS (operating-system) Show the instance mac-os in WebOnto
)


(Define-Individual UNIX (operating-system) Show the instance unix in WebOnto
)


(Define-Individual NETSCAPE-COMMUNICATOR-BROWSER (web-browser) Show the instance netscape-communicator-browser in WebOnto
)


(Define-Individual WEB-ONTO (web-based-editor) Show the instance web-onto in WebOnto
  :axiom-def
  (And   (Supports-Language web-onto ocml)
  (Has-Status web-onto released-version)
  (Has-Author web-onto john-domingue)
  (Owned-By web-onto the-open-university)
  (Runs-On-Operating-System-On-Client-Side web-onto windows2000)
  (Runs-On-Operating-System-On-Client-Side web-onto unix)
  (Runs-On-Operating-System-On-Server-Side web-onto windows2000)
  (Runs-On-Operating-System-On-Server-Side web-onto unix)
  (Requires-Software-Technology-On-Server-Side web-onto kmi-web-lisp-server)
  (Requires-Software-Technology-On-Server-Side web-onto harlequin-common-lisp)
  (Requires-Software-Technology-On-Client-Side web-onto netscape-communicator-browser)
  (Requires-Software-Technology-On-Client-Side web-onto java)
  ))

Contact Point

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