HomeTechnology → Components

OntoLi♥♥x™ is based on

Besides the Kernel-based Virtual Machine (KVM) hypervisor, para- and fully virtualized versions of OntoLinux™ running on top of a hyp- ervisior with or without privileges are available that are based on

and as L4OntoLinux™ - OntoLinuxOnL4™ on
  • L4,
while OntoL4Linux™ - LinuxOnOntoL4™ uses Accordingly, OntoL4Linux™ and L4OntoLinux™ united leads to

To realize multimodal multimedia systems we created two basic technologies with the:

If a Multilingual Multimodal Multidimensional Multimedia User Interface (M⁴UI™) is needed, as in the case of a desktop system,

will be used.





  • L4 microkernel
  • O#





  • University of Birmingham, School of Computer Science, and University of Sussex, Informatics Department and Centre for Research in Cognitive Science: Free Poplog
  • University of Birmingham, School of Computer Science: SIM_AGENT - SimAgent TOOLKIT
  • University of Illinois at Urbana-Champaign (UIUC), and Stanford Research Institute (SRI): Maude (includes Rewriting Logic) + Stanford Research Institute (SRI): Pathway Logic + Alessio Guglielmi: Calculus of structures
  • Stony Brook University, Universidade Nova de Lisboa, XSB, Inc, Katholieke Universiteit Leuven, and Uppsala Universitet: XSB (includes Prolog with tabled resolution and HiLog extension permitting limited higher-order logic programming, and Flora) + Helsinki University of Technology (TKK), Department of Computer Science and Engineering, Laboratory for Theoretical Computer Science (TCS): Smodels and GnT - Generate'n'Test



  • Hirokazu Kato, University of Washington, Human Interface Technology Laboratory (HIT Lab), University of Canterbury, HIT Lab NZ, and ARToolworks: ARToolKit and
  • University of Canterbury, Human Interface Technology Laboratory New Zealand (HIT Lab NZ): osgART.
  • Diverse team: DIVERSE - Device Independent Virtual Environment - Reconfigurable, Scalable, Extensible
  • OntoVE - Ontologic Virtual Environment
  • CoVE™ - Collaborative Virtual Environment
  • OntoCOVE - Ontologic Collaborative Ontologic Virtual Environment
  • Centre National de la Recherche Scientifique (CNRS), Laboratoire Bordelais de Recherche en Informatique (LaBRI), David Auber, maintainers and contributors: Tulip



© and/or ® 2006-2014
Christian Stroetmann GmbH