Ontology: Aktive-Portal-Ontology; Representation Language: ONTOLINGUA; File: research-areas

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

(in-ontology 'aktive-portal-ontology)


(Define-Frame GENERIC-AREA-OF-INTEREST  Show the class generic-area-of-interest in WebOnto

  :own-slots
  (  (Documentation "A generic class to specify generic areas for research or business initiatives.
  For instance, the area in which a project is situated")
  (Subclass-of intangible-thing))

  :template-slots
  ((Sub-Area-Of 
   (slot-value-type generic-area-of-interest))
   ))


(Define-Frame RESEARCH-AREA  Show the class research-area in WebOnto

  :own-slots
  (
  (Subclass-of generic-area-of-interest))

  :template-slots
  ((Sub-Area-Of 
   (slot-value-type research-area))
   ))


(Define-Frame BUSINESS-AREA  Show the class business-area in WebOnto

  :own-slots
  (
  (Subclass-of generic-area-of-interest)))


(Define-Individual LEARNING-RESEARCH-AREA (research-area) Show the instance learning-research-area in WebOnto
)


(Define-Individual COMPUTING-RESEARCH-AREA (research-area) Show the instance computing-research-area in WebOnto
)


(Define-Individual ARTIFICIAL-INTELLIGENCE-RESEARCH-AREA (research-area) Show the instance artificial-intelligence-research-area in WebOnto
)


(Define-Individual COGNITIVE-MODELLING-RESEARCH-AREA (research-area) Show the instance cognitive-modelling-research-area in WebOnto
)


(Define-Individual E-COMMERCE-RESEARCH-AREA (research-area) Show the instance e-commerce-research-area in WebOnto
)


(Define-Individual TELEPRESENCE-RESEARCH-AREA (research-area) Show the instance telepresence-research-area in WebOnto
)


(Define-Individual HUMAN-COMPUTER-INTERACTION (research-area) Show the instance human-computer-interaction in WebOnto
  :axiom-def
  (Sub-Area-Of human-computer-interaction computing-research-area)
)


(Define-Individual SOFTWARE-VISUALIZATION (research-area) Show the instance software-visualization in WebOnto
  :axiom-def
  (Sub-Area-Of software-visualization human-computer-interaction)
)


(Define-Individual INFORMATION-RETRIEVAL (research-area) Show the instance information-retrieval in WebOnto
)


(Define-Individual AGENT-BASED-COMPUTING (research-area) Show the instance agent-based-computing in WebOnto
)


(Define-Individual HYPERMEDIA (research-area) Show the instance hypermedia in WebOnto
)


(Define-Individual ADAPTIVE-HYPERMEDIA (research-area) Show the instance adaptive-hypermedia in WebOnto
  :axiom-def
  (Sub-Area-Of adaptive-hypermedia hypermedia)
)


(Define-Individual COLLABORATIVE-HYPERMEDIA (research-area) Show the instance collaborative-hypermedia in WebOnto
  :axiom-def
  (Sub-Area-Of collaborative-hypermedia hypermedia)
)


(Define-Individual MULTIMEDIA-RESEARCH-AREA (research-area) Show the instance multimedia-research-area in WebOnto
)


(Define-Individual DYNAMIC-LINKING (research-area) Show the instance dynamic-linking in WebOnto
  :axiom-def
  (Sub-Area-Of dynamic-linking adaptive-hypermedia)
)


(Define-Individual ORGANIZATIONAL-LEARNING (research-area) Show the instance organizational-learning in WebOnto
  :axiom-def
  (Sub-Area-Of organizational-learning learning-research-area)
)


(Define-Individual KNOWLEDGE-MANAGEMENT (research-area) Show the instance knowledge-management in WebOnto
)


(Define-Individual KNOWLEDGE-ACQUISITION (research-area) Show the instance knowledge-acquisition in WebOnto
  :axiom-def
  (Sub-Area-Of knowledge-acquisition knowledge-management)
)


(Define-Individual INCIDENTAL-KA (research-area) Show the instance incidental-ka in WebOnto
  :axiom-def
  (Sub-Area-Of incidental-ka knowledge-acquisition)
)


(Define-Individual KNOWLEDGE-LIFECYCLE (research-area) Show the instance knowledge-lifecycle in WebOnto
  :axiom-def
  (Sub-Area-Of knowledge-lifecycle knowledge-management)
)


(Define-Individual KNOWLEDGE-MODELLING (research-area) Show the instance knowledge-modelling in WebOnto
  :axiom-def
  (Sub-Area-Of knowledge-modelling knowledge-management)
)


(Define-Individual ONTOLOGIES (research-area) Show the instance ontologies in WebOnto
  :axiom-def
  (And   (Sub-Area-Of ontologies knowledge-modelling)
  (Sub-Area-Of ontologies knowledge-reuse)
  ))


(Define-Individual WEB-RESEARCH-AREA (research-area) Show the instance web-research-area in WebOnto
)


(Define-Individual SEMANTIC-WEB-AREA (research-area) Show the instance semantic-web-area in WebOnto
  :axiom-def
  (Sub-Area-Of semantic-web-area web-research-area)
)


(Define-Individual PROBLEM-SOLVING-METHODS (research-area) Show the instance problem-solving-methods in WebOnto
  :axiom-def
  (And   (Sub-Area-Of problem-solving-methods knowledge-modelling)
  (Sub-Area-Of problem-solving-methods knowledge-reuse)
  ))


(Define-Individual KNOWLEDGE-MAINTENANCE (research-area) Show the instance knowledge-maintenance in WebOnto
  :axiom-def
  (Sub-Area-Of knowledge-maintenance knowledge-management)
)


(Define-Individual KNOWLEDGE-RETRIEVAL (research-area) Show the instance knowledge-retrieval in WebOnto
  :axiom-def
  (Sub-Area-Of knowledge-retrieval knowledge-management)
)


(Define-Individual KNOWLEDGE-REUSE (research-area) Show the instance knowledge-reuse in WebOnto
  :axiom-def
  (Sub-Area-Of knowledge-reuse knowledge-management)
)


(Define-Individual KNOWLEDGE-PUBLISHING (research-area) Show the instance knowledge-publishing in WebOnto
  :axiom-def
  (Sub-Area-Of knowledge-publishing knowledge-management)
)


(Define-Individual LANGUAGE-ENGINEERING (research-area) Show the instance language-engineering in WebOnto
)


(Define-Individual INFORMATION-EXTRACTION (research-area) Show the instance information-extraction in WebOnto
  :axiom-def
  (Sub-Area-Of information-extraction language-engineering)
)

Contact Point

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