Home → News 2016 May
 
 
News 2016 May
   
 

01.May.2016
Clarification Announcement
While reviewing much of the old stuff, including some documents of defrauding entities, we concluded that it would be constructive to give some information about the core abstract machine of our Ontologic System Architecture (OSA) and in this way to show further differences to, let us call it, other works and not prior art.

Maybe, we will add an Investigations::Multimedia, AI and Knowledge management about Marvin Minsky and Co., to show which concepts and parts of our OSA they have not understood around the years 2002 to 2004 and as a consequence what fractions of the OSA they were only able to steal for creating similar systems and the learning environment Sugar.

Clarification
While reviewing much of the older documents in our archive, which constitute the prior art in respect to the multimedia work of art series Ontologic System of C.S., we found more documents of the Massachusetts Institute of Technology (MIT) and its MediaLab, which were so very suspicious to us around 12 years ago, because the contents of said MIT works are identical with the Ontologic System to some large extend, that we found out the facts, that we were and still are under the threat of a massive espionage activity and even felt victim to a giant international complot and scandal.

We have often explained the reasons and backgrounds in the past already, and this retrospective gives us even a more detailed picture about the true situation. For example, we can see clearly why the social networking platform Facebook has been pushed by the defrauding entities in the last years, that our stolen concepts and systems described in said works are the ones that companies reference as prior art, and that those companies see and even handle their users as parts of an multi-agent system or simply said as robots.

But by this more detailed picture we can also see in a better way what the differences to our works are. For example, in all cases at least the following decisive aspects, concepts, and essential elements of our Ontologic System (OS) and its Ontoverse are missing:

  • evolvable systems and evolutionary computing inclusive mutation (the original and unique work of art and therefore the prior art is The Proposal and not the plagiarisms),
  • Artificial Life (AL) (depends on the interpretation or definition),
  • reflection (the original and unique work of art and therefore the prior art is The Proposal and not the plagiarisms)
    • operating system,
    • agent system, and
    • cognitive (agent) system

    in contrast to only a layered lightweight Belief-Desire-Intention (BDI) Multi-Agent System (MAS) possibly possessing some few anthropo- morphic qualities,

  • ontology,
  • trust and verification,
  • Quality Management (QM),
  • coherent (ontology-based or -oriented) model,
  • Semantic (World Wide) Web (SWWW) techniques and technologies,
  • Unified Language Processing (ULP) system,
    • Computational Language Processing (CLP) system respectively integrated system of abstract machines,
    • Computational Linguistics (CL), and
    • Natural Language Processing (NLP) system
      • explicitly connected with an MR Environment(?),
      • set in relation to an intelligent (agent) system, and
      • set in relation to a cognitive (agent) systems,

      in contrast to a simple communication with a single agent of a (multi-)agent system (e.g "Request target Joe action open file."),

  • holonic (operating) system in contrast to a BDI MAS, which is an application of foundational frameworks and systems but not the system or the envrionment itself,
  • migration from one MR mode to another also by the user and not only the artificial agent,
  • definition of such an all-encompassing MR as the next generation of the WWW, and not only as an infrastructure used for communication and data transfer, and
  • introduction, establishment, and installation of such an all-encompassing OS as the new reality.

    Taken all together means that the:

  • defrauding entities have stolen only the old and simple versions of some single and conceptually unconnected components,
  • originality and uniqueness of our Ontologic System are still given, including its
    • concept,
    • creation process,
    • composition of essential parts, and
    • overall expression,
  • conduct of an activity, such as
    • copying an essential element from our Ontologic System not covered by the fair use clause,
    • composing a similar system by taking our Ontologic System with its OS and Ontoverse as blueprint and essential parts from other prior art, and
    • creating a work as part of a manipulation to show alleged supporting evidence of prior art,

    does not avoid a causal link, an impermissible hindsight, and in the end an infringment of our copyright.
    In addition, the relevant documents are older than 10 years, which makes the argument of an ordinary technological progress not convincing.

    For sure, we never discussed that other entites realize either 3D, AR, VR, or MR applications on an operating system, a multi- agent system, or/and in the WWW in relation to the common definition of MR, which should not be confused with our definition of the reality-virtuality continuum as MR.
    But for example Microsoft's so-called holoportation system, which the company even called teleportation in the sense of and in relation to our OS and its Reality/AR/VR fusion respectively MR interpre- tation, and applications, is on or already over the edge from our point of view.
    When even an NLP chat(ter)bot, an Intelligent Personal Assistant (IPA), or/and more AI functionality of any kind is added respectively integrated, as seen by Google, Microsoft, and Facebook, or/and such an all-encompassing composition of an MR system or MR Environment (MRE) is taken in parts or as a whole as the infrastructure for the next WWW respectively network system or information system, then we are more and more proven right with our explanations and claims.

    That said, there is a limit, though it might be shifted a little by such defrauding activities. But in the end it is artist's pitch on both sides, indeed.


    02.May.2016
    Comment of the Day
    Speak with the Web™

    OntoLix and OntoLinux Website update
    We added several links to various sections of the webpage Links to Software as follows.

    In the section Network Technology we added the links:

  • Internet Research Task Force (IRTF):
    • Information-Centric Networking Research Group (ICNRG)
    • ICNRG Wiki
  • Xerox, Palo Alto Research Center (PARC), and community: Project [Content-Centric Networking (]CCN[)]x
    • CCNx Distillery
  • National Science Foundation: Named Data Networking (NDN)

    In the section File System we added the links:

  • Carnegie Mellon University, Electrical and Computer Engineering, Niraj Tolia: [Content Addressable Storage Performance Enhancement by Recipe (]CASPER[)]: A Recipe Based File System
  • Pennsylvania State University, Department of Computer Science and Engineering, Murali Vilayannur, Partho Nath, and Anand Sivasubramaniam: Providing Tunable Consistency for a Parallel File Store [(Content Addressable Parallel File System (CAPFS))]

    We also added to the section Formal Verification the links:

  • University of Texas at Austin: Pepper: toward practical verifiable computation
    • Srinath Setty, Richard McPherson, Andrew J. Blumberg, and Michael Walfish: Pepper - Making Argument Systems for Outsourced Computation Practical (Sometimes)
    • Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish: Ginger - Taking proof-based verified computation a few steps closer to practicality
    • Victor Vu, Srinath Setty, Andrew J. Blumberg, and Michael Walfish: Allspice - A hybrid architecture for interactive verifiable computation
    • University of Pennsylvania, Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish: Pantry - Verifying computations with state
    • New York University, Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, and Michael Walfish: Buffet - Efficient RAM and control flow in verifiable outsourced computation

    Ontonics, OntoLix and OntoLinux Further steps 10:17 UTC+2
    The OntoLix and OntoLinux Website update of today should also make clear how our Ontologic Net (ON) and Ontologic Web (OW) infrastructure, which is a part of the Ontologic uniVerse (OntoVerse or OV) of our Ontologic System (OS), looks like and works.
    As discussed several times before, the foundational OS can be seen as a ontology-based, ontology-oriented, and ontologic(-oriented), and reflective or even holonic system with the integrated functionality of a Natural Language Processing (NLP) system used wherever possible and advantageous, which includes:

  • name server of the operating system core,
  • name server of the agent-oriented or agent-based operating system,
  • file system of the operating system core
    • directory name,
    • file name, and
    • thing name,
  • network system
    • naming scheme
      • Content-Addressable Network (CAN), and
      • Information-Centric Networking (ICN),
        • Content-Centric Networking (CCN) and
        • Named Data Networking (NDN),

      and

    • resource identification scheme
      • Uniform Resource Identifier (URI),
      • Uniform Resource Locator (URL),
      • Uniform Resource Name (URN), and
      • thing name,
  • communication system
    • Multi-Agent System (MAS),
      • human to human,
      • human to agent or machine, and
      • agent or machine to agent or machine,

    and

  • positioning system
    • OntoGlobe,
    • OntoEarth (e.g. real server name is planet, country, town, street, building, level, room, rack, motherboard, data storage, and so on),
    • OntoSpace, and
    as well as
  • integrated system OntoVerse.

    In this relation it is important to note, that the whole system is based on the interplay of syntax and semantic (e.g. entity and relationship respectively identity, name, taxonomy, topic map, ontology, etc.), which defines the dynamic namespace so to say, and correspondingly some features of the listed systems, such as e.g. using a signature for every single data packet or addressed resource, as required by the NDN, are optional in specific free areas but mandatory in specific core areas.
    In sum, our Ontologic Net (ON) and Ontologic Web (OW) infrastructure is an inter(-)net(work) of names, capabilities, and things, and together with the other systems constitutes the all-encompassing OS.

    With the OntoLix and OntoLinux Website update of today we have also increased the trust in our OS, which is an essential element of the foundational idea and concept behind it. The focus was this time the verification of the dynamic aspects of the communication and the interaction, for which we can use the already given prover and reasoner functionalities of the OntoL4 respectively OntoS1 and OntoBot software components.

    Furthermore, the fields of Artificial Intelligence (AI) and Artificial Neural Networks (ANN) include Associative Memory (AM), AM is also known as associative storage, associative array, and Content-Addressable Memory (CAM), and associative storage is also known as Content-Addressable Storage (CAS). CAM and CAS are closely related. Content-Addressable Network (CAN) is well-known from Peer-to-Peer (P2P) networks.
    See also the OntoLab projects Log-structured Hash-based File System (LogHashFS or LHFS) and Associative Array Core and Chip/Processor in the Innovation-Pipeline of Ontonics, and also the Ontonics Further steps of the 13th of July 2014.

    Important to note is the fact that we have not seen before a relation, combination, or even integration of CAM, CAS, and CAN with:

  • Information-Centric Networking (ICN),
  • ontology
    • ontology-based system,
      • semantic (world wide) web,
    • ontology-oriented system, and
    • ontologic(-oriented) system,
  • social networking and social web,
  • Augmented Reality (AR), Virtual Reality (VR), or/and Mixed Reality (MR) systems and environments,
  • agent-oriented system
    • Belief-Desire-Intention (BDI) agent,
    • Multi-Agent System (MAS),
    • intelligent agent,
    • cognitive agent,
    • and so on,
    and
  • any mixtures or integrations of them,

    or even something that suggests or motivates such a relation, combination, or integration by another person, group, or company, though there is some overlap in some cases (i.e. CAN vs. ICN) and there might exist some related works already.

    As a conclusion we have to assume that due to the smart composi- tion and the extremely high level of complexity and integration the originality and uniqueness of this general approach, idea, or concept, and these related techniques, technologies, and systems is given.

    There is no need to get in panic, because we only proved and increased more the originality and uniqueness of our OS.

    The Web is US. But everybody is welcomed, as usual and as long as we all stay on the legal side, howsoever this is looking like.

    Speak with the Web, your hand, or yourself. :D

    OntoLix and OntoLinux Further steps 13:55 UTC+2
    We took:

  • the approaches described in
    • B. Braun: Compiling computations to constraints for verified computation,
    • University of Pennsylvania, Benjamin Braun, Ariel J. Feldman, Zuocheng Ren, Srinath Setty, Andrew J. Blumberg, and Michael Walfish: Pantry- Verifying computations with state, and
    • New York University, Riad S. Wahby, Srinath Setty, Zuocheng Ren, Andrew J. Blumberg, and Michael Walfish: Efficient RAM and control flow in verifiable outsourced computation,
  • the tools listed in the sections

    on the webpage Links to Software, and

  • a programming language dialect similar to for example
    • networked embedded system C (nesC) and
    • Small-C,

    for the

  • transformation of common programming language code in easier verifiable code,
  • verification of software code,
  • implementation of
    • operating system,
    • component framework, and
    • applications,

    and

  • support of verifiable queries in a (small) subset of query languages for the semantic (world wide) web (e.g. SPARQL Protocol and RDF Query Language (SPARQL)).

    In this way we are able to verify

  • software of the same size faster or/and
  • larger software in the same time.

    This approach is original and unique due to its extremely high level of complexity and difficulty, and therefore at least its description is copyrighted.


    03.May.2016
    Comment of the Day
    Ontocore™


    04.May.2016
    Clarification #1
    After conducting the first round of our requirement engineering as part of the creation of the Ontologic System (OS) by C.S., we came to the result that the users of the OS demand continua between extrema like the following for example:

  • nothing and infinity,
  • order and chaos,
  • determinism and non-determinism,
  • homogeneity and heterogeneity,
  • non-symbolic and symbolic,
  • good and bad,
  • love and hate,
  • god and devil,
  • truth and lie,
  • physics and metaphysics,
  • reality and virtuality or illusion,
  • man and woman or woman and man (order is not relevant at this point),
  • past and future,
  • young and old,
  • life respectively alive and death respectively dead,
  • and so on.

    The second round of our requirement engineering provided as results some more continua between extrema, such as the following:

  • the red phial or pill and the blue phial or pill,
  • rationality and irrationality (see also surreality and craziness),
  • determination and probability or chance,
  • free will and constraint,
  • etc.,

    and also the insight, that the preferences tend to the extrema that we concider as negative and destructive. The latter surprised us somehow, though we explained it with the human nature.

    Luckily, these results coincide with our general concept of an n-dimen- sional (fractal, reflective, holonic) OS with continua between arbitrary extrema everywhere, like the following for example:

  • zero and one (see also many-valued or n-valued logics and probability theory for example),
  • timeless and real-time,
  • centralized and distributed,
  • monolithic system and multiple subsystems,
  • monolithic operating system and kernel-less multi-agent-based operating system (continuum includes e.g. microkernel with actor operating system (added on the 5th of May 2016)),
  • hardware-level and software-level virtualization (added on the 5th of May 2016),
  • this and that,

    which can be created, and manually or automatically configured, adjusted, and extended as well as planned, assured, controlled, and improved by the Quality Management (QM) system (added on the 5th of May 2016) at runtime. Obviously, it is possible to provide an all in one operating system core that covers all requirements.
    We come back to some aspects of this n-dimensional foundation when we discuss for example the core abstract machine of our Ontologic System Architecture (OSA).

    The customer is king.
    The user is king.

    Clarification #2
    Since the 21st of March 2016 two related eruptions in a discussion thread on the mailing list of the compositor protocol respectively display server framework Wayland have been observed:

  • The first eruption was related with the presentation of a proprietary extension of the Wayland framework of a processor manufacturer as an answer to our Graphics Processing Unit (GPU) variant of our Wire- less Supercomputer (WiSer) and its support of our OpenSceneGraph-Wayland Compositor (OSGLand).
  • The second eruption began on the 29th of April 2016 after we publicated the OntoLix and OntoLinux Website update, which names the window system Metisse once again but also the Scene-Graph-As-Bus technique.

    We only waited for some reactions like these.

    Obviously, other companies have understood how clever our strategy with our hardware and software architectures is, specifically with the inclusion of a scene graph and the technique that has been given the designation HardWare Composer (HWC):

  • The one company is forced to present something proprietary on the level of a scene graph as well, and not only on the level of the underlying Open Graphics Library (OpenGL), if it wants to continue with its refusal to provide an open source hardware driver. But this seems to be impossible for being accepted by the developers of Wayland, as well as of window(ing) systems and desktop environments set on top of Wayland.
  • The other company has seen that it must do something more to copy us in this field after it already came up some years ago with the window manager Mutter, that has a 3D scene graph, and continued with its usual copying and misleading of the public some months ago.

    We have not taken the usual way with a proprietary processor, but just opened the visor, thrown away the gloves, and begun to do flat out computing with our GPU on the level of the OpenGL and the OpenSceneGraph (OSG) library without any operating system magic, supertroll nonsense, and proprietary silicon gimmick of chip manufacturers.

    Btw.: It was not the last surprise.


    05.May.2016
    Comment of the Day
    Talk to the web™
    Talk to the net™

    Qestion of the Day
    "Tock, tock, tock. Hello, hello! Uncle Sam? Anybody home?"

    Ontonics Further steps
    We continued with the development of a device.

    Furthermore, together with our business unit Style of Speed, we adapted two older solutions, which are conected with each other by their technological foundations, and integrated another technology to a new system, which solves a practical problem.

    In a subsequent step, we concluded, that the functionality of this system can be extended in a totally different way, which makes it a very interesting overall solution.

    Since some days we are also continuing the work on an older project and in the course of this included another older project, which made progress somehow due to other reasons.
    Yesterday, we also concluded that we have already developed an interesting part of the overall solution.
    Today, we are thinking about the possibility to take this crazy thing more seriously.


    06.May.2016
    Comment of the Day
    Ontocraft™

    Clarification
    *** Small revision ***

    We continue with providing some more (additional) results (again) of the analysis of certain works and their comparison with the work of art series

  • Evolutionary operating system (Evoos) and
  • Ontologic System (OS) with its Ontoverse

    created by C.S..

    We have analyzed some related documents for another time. The curcial points and problems are that

  • some foundational and general concepts are discussed, which
    • on the one hand equal our general concepts, which again is now unsurprising for us, but
    • on the other hand were explained and realized in such particular ways, which again shows us how the general concepts were truly meant and how long and how much they really have spied on us at that time,
  • the terms Augmented Reality (AR), Virtual Reality (VR), and Mixed Reality (MR) are used in confusing and sometimes even wrong ways, for example augmented Virtual Reality viewing (Augmented Virtuality (AV) was not described), which also led already more then 11 years ago to our definition or interpretation of the Mixed Reality (MR) as the Reality-Virtuality-Continuum (RVC) respectively eXtended Mixed Reality (XMR) or simply eXtended Reality (XR), and
  • we have to unravel the meaning of the used terms and the limits of the presented concepts again in a very careful way to
    • ensure objectivity,
    • show the clear evidences of plagiarism and differences, and
    • avoid talking nonsense or even making wrong claims.

    The three analyzed works focus on the integration of an Intelligent Agent System (IAS or IntAS), or more precisely Belief-Desire-Intention (BDI) Multi-Agent System (MAS) architecture, which is basically a specific extension to a Human Machine Interface (HMI) of an MR Environment (MRE), including an AR Environment (ARE) and a VR Environment (VRE).
    This integration has been realized in such a very rudimentary or simple way, that the origins and limits of the foundational concepts are recognizable.

    In a first work a special type of software agent with its so-called "digital spirit" is described, which is

  • situated on different devices
    • stationary devices (with e.g. display or touchscreen, camera, and microphone)
      • desktop computer and
      • game console,
    • mobile devices (with e.g. display or touchscreen, camera, and microphone)
      • handheld computer (with e.g. stylus),
      • tablet computer, and
      • smartphone,

      and

    • wearable devices with display
      • VR Head-Mounted Display (VRHMD),
  • embodied in different devices
    • physical respectively hardware and artificial agent
      • mobile robot,
  • embodied in displaced ways respectively immersed
    • virtual respectively software and artificial agent
      • animated agent or 3D figure in Operating Environment (OE) and
      • animated agent or 3D figure in Virtual Reality Environment (VRE),
  • able to be mobile respectively migrate or teleport between different (information) spaces, environments, worlds, and universes respectively realities respectively
    • physical environment
      • Mobile Robotic System (MRS),
    • digital environment
      • Operating Environment (OE)
        • shell with Graphical User Interface (GUI) or graphical shell and
        • Desktop Environment (DE),
      • Mirror World (MW),
    • virtual or metaphysical environment,
      • Virtual World (VW), Computer-Simulated Environment (CSE), or Persistent Virtual Environment (PVE),
      • Collaborative Virtual Environment (CVE) or Multi-user Virtual Environment (MVE), and
      • Virtual Reality Environment (VRE)
        • Semi-Immersive Virtual Environment (SIVE) and
        • Immersive Virtual Environment (IVE or ImVE),
          • Cave Automatic Virtual Environment (CAVE),
  • able to mutate, and
  • able to evolve or evolvable.

    The migration or teleportation of the mobile agents changes the specifics of the context, or said more generally the specifics of context change or the context specifies change, which again also

  • associates the actions and perceptions of a system with its environment and
  • questions the connection between mind and body in relation to classical Artificial Intelligence (AI), but not in relation to Natural Intelligence (NI).

    See also the works in the field of

  • Philosophy, specifically René Descartes, specifically the one titled "Meditationes de Prima Philosophia"==Meditations On First Philosophy and publicated in 1641, and
  • Cybernetics, specifically Cybernetic Logic (CL or CybL), including Günther's PolyContextural Logics (PCL), including Contextual Logic (CL or ContextL), calculus of context, or formalized context, formalized contextual dependence, or context transcendence formalization, or context as formal object.

    The claim is made to add a new dimension to the context of artificial systems on the basis of a BDI MAS architecture and complete adaptivity (e.g. reflection and mutation) of its embodiment, which again is based on a dichotomy of the

  • dualistic mind and body approach (see for example Descartes) and
  • embodied mind and body approach (see for example Robotic System (RS)).

    But eventually, a framework for multimedia systems based on a BDI MAS architecture and a specific extension to a User Interface (UI) and seamless Human Machine Interface (HMI) of an AR Environment (ARE) and a VR Environment (VRE) between the real and the virtual is described, which can be executed on stationary and mobile machines.

    In a second work, which is related to the first work and was publicated around 1 year later, the

  • context-dependent integration paradigm between physical and virtual (information) spaces, environments, worlds, and universes as found in the first work and AR research at that time is extended through seamless and stronger functional features rather than primarily perceptual ones,
  • capability set of a 3D figure in VE is extended through the use of an intentional agent system respectively BDI MAS architecture, and
  • BDI MAS VRE of the first work is extended through ARE as part of MRE, which is
  • able to migrate between different environments
    • Cyber-Physical Envrionment (CPE) and
    • Mixed Reality Environment (MRE)
      • Augmented Reality Environment (ARE) and
      • Augmented Virtuality Environment (AVE),
  • situated on different devices
    • mobile devices (with e.g. display or touchscreen, camera, and microphone)
      • wearable devices with display
        • AR glasses,

    to develop a seamless Human Computer Interface (HCI) between the real and the virtual

    Taken the first and second works together, an all-encompassing interface between the real and the virtual is defined through the BDI MAS based framework, and UI and HCI respectively HMI.

    In a third work of art an Agent Communication Language (ACL) is extended for a human-inclusive language, which is connected with the same agent runtime environment used for the BDI MAS described in the first and second works. That said, the third work provides no explicit connection between the first and second works.

    Throughout the development of such systems the quantities and qualities of the foundational concept, the system features, and the resulting immersion have been increased:

  • Common ARE and VRE provide a higher realism with the focus layed on perceptual features, specifically visual followed by tactical (touch) and acoustical features.
  • Others and C.S. added more functional features in ARE and VRE respectively MRE and XRE, specifically a seamless functional interface in the real and physical, and virtual and metaphysical environment. Some simple examples:
    • a user takes a real torch to illuminate an avatar or a 3D figure,
    • an avatar or 3D figure illuminates a user with a virtual or even a real torch, or
    • both a user, and an avatar or a 3D figure illuminate each other.
  • C.S. added the reflective issue or reflectivity of embodiment, that is the adaptivity feature, and the capacity of a system for adaptive evolution, that is the evolvability feature, which includes the mutation feature, for example (see for example The Proposal and also the Clarification of the 1st of May 2016).
  • C.S. added the cybernetic feature, the cyber-physical feature, and the contextual feature (see PolyContextural Logics (PCL) and Contectual Logic (CL or ContextL), calculus of context, or formalized context, formalized contextual dependence, or context transcendence formalization, or context as formal object).
  • C.S. added the bioholonic, holologic, and holonic feature.
  • Others extended the contextual feature further based on the adaptivity feature.
  • C.S. added existential features and the feature of a continuum for each single system feature (see also the Clarification of the 5th of May 2016), and redefined the contextual feature with the reflective, fractal, respectively holonic OS and its Caliber/Calibre as a universal theory.

    In fact, our Evoos is based on evolution, reflection, cybernetics, bioholonics, Holonic Agent System (HAS) (see also Social Interaction Framework for Virtual Worlds (SIF-VW) and Virtual Reality Environments (VREs)), Cognitive Agent System (CAS), Cyber-Physical System (CPS), Model-Based Autonomous System (MBAS) or Immobile Robotic System (ImRS or Immobot), Distributed operating system (Dos), Virtual Machine Monitor (VMM) or hypervisor, and Virtual Machine (VM), etc., and also the "assignment of the physiological senses to a possible underlying hardware" (see the chapter 5 Summary of The Proposal.
    Therefore, Evoos provides the foundations for the two first works and our OS integrates all three works, and both provide and integrate other techniques and technologies, and does more on a higher level or deeper level or both respectively on the maximum level resulting in something totally new and different (see also the Clarifications of the 13th, 16th, and 29th of April 2016, and 1st and 4th of May 2016).

    Furthermore, the foundational concept of our Evoos and OS

  • fuses the real or physical, and virtual or metaphysical (information) spaces, environments, worlds, and universes respectively realities to
    • one space, environment, world, and universe, that we named eXtended Mixed Reality (XMR) or simply eXtended Reality (XR) and Ontoverse (Ov), respectively
    • one reality, that we named New Reality (NR),
  • defines the Ontoverse (Ov) also as an all-encompassing context or simply said the New Reality (NR), and names different specifics of a context to make the communication and handling of the OS and the Ov easier,
  • regards even a human user simultaneously as a real or physical and a virtual or metaphysical (information) agent or entity,
  • immerses all users, other natural agents, and artificial agents permanently in this Ontoverse, and
  • provides a seamlessly perceptual, tangible or experiencable, and graspable functionality including some kind of a migration and a mutation inside the Ontoverse for example by the Ontoverse as the context

    instead of making any differentiations between reality and virtuality.

    Finally, we would like to give the comparing metaphor of a hotel with a boat service vs. a boat is a hotel (e.g. cruise ship), and the following simple example:

  • Facebook as application or service in an ARE or VRE or MRE legal
  • Facebook as application or service in a BDI MAS ARE or VRE or MRE already questionable or even illegal, specifically when composition of OS is copied,
  • Facebook as application or service in a BDI MAS ARE or VRE or MRE plus NLP (e.g. NLP chatbot) already questionable or even illegal, specifically when composition of OS is copied,
  • Facebook as application or service in a BDI MAS ARE or VRE or MRE plus NLP (e.g. NLP intentional or BDI chatagent) already highly questionable or most potentially illegal,
  • ARE or VRE or MRE as the Facebook (platform) already highly questionable or most potentially illegal,
  • BDI MAS ARE and VRE or MRE as the Facebook (platform) illegal,
  • ARE and VRE or MRE plus NLP as the Facebook (platform) illegal,

    specifically when our OS is taken as a blueprint and its composition with its functionalities is copied, which includes the Ontologic Web.
    The decisive factor is that Facebook is already a platform, environment, or information space for human agents/users, that is more and more comprising the whole World Wide Web respectively constituting the overall or global context. Adding more and more of the essential elements of the OS, such as the systems named before, in the same way resulted in a part of the OS.

    Maybe our explanations sound a little unusual or even are unconvincing, but this is the way the protection of a work by the copyright is working since more than a century. Simply compare the situation with e.g. painting or making music, or substitute a painting or a pop music song with a multimedia system like the OS of C.S..

    Nevertheless, we came to the same result as some years ago in relation to our Ontoscope hardware (we will look for the related Clarification).

    Interested entities should also take a look at the issued patents in the field of e.g. Augmented Reality (AR), though some of them are nonsense or not valid.

    Ontonics Further steps
    In relation to the new system developed together with our business unit Style of Speed and mentioned in the Further steps of yesterday, we adapted and integrated a third older solution, which might have an advantage.

    In a subsequent step, we concluded, that the functionality of this system can be extended in a totally different way, which makes it a very interesting overall solution.

    OntoLix and OntoLinux Further steps
    We worked again a little on one of our oldest multimedia projects, that is the adaption of a block-based open world game respectively a block-building sandbox game as the Graphical User Interface (GUI) of an operating system (see the explanations given in the OntoLinux Further steps of the 29th of June 2011, 12th and 15th of July 2012, the intelliTablet Announcement One Tablet Per Child (OTPC) and One Pad Per Child (OPPC/OP²C) #18 of today below). Besides the designations Brick (desktop) environment and Lego® Brick Theme we gave this variant without the typical Lego® brick knobs the name Ontocraft for better differentiation.

    We also thought about the specific variant for mobile devices with

  • complete wireless connectivity,
  • Belief-Desire-Intention Multi-Agent System (BDI MAS), or/and
  • Mixed Reality Environment (MRE), or/and
  • eXtended
  • based on OntoDroid.

    Btw.: A very well known block-building sandbox game was developed after other entities have implemented such games and also after we have publicated our thoughts and related works.

    intelliTablet Further steps One Tablet Per Child (OTPC) and One Pad Per Child (OPPC/OP²C) #18
    While others proposed a block-building sandbox game as application for the learning environment Sugar, we followed the demand of the children and took our original and unique approach of a block-based sandbox game for the Graphical User Interface (GUI) of a learning environment.

    For its realization we have developed two basic variants, that are based on the integration of:

  • voxel.js with our Sugarfox, which all are based on the scripting language JavaScript, and
  • Minetest, Freeminer, and Craft with the original version of Sugar, which all are based on the programming languages C and C++.

    A more interesting realization has been mentioned already in the past with the variant based on the Lego® bricks metaphor or Lego® Brick Theme, and the related style guide for the elements (see also the intelliTablet Announcement One Tablet Per Child (OTPC) and One Pad Per Child (OPPC/OP²C) #1 of the 17th of July 2012, the intelliTablet Announcement Iri #1 of the 17th of April 2014, and the OntoLix and OntoLinux Further steps of today above), and with a similar variant without the typical Lego® brick knobs.


    07.May.2016
    Investigations::Multimedia

  • Microsoft: The company announced in January 2016 a learning environment, which is based on its sandbox game Minecraft and called Minecraft: Education Edition or MinecraftEDU. We quote a short description from a related webpage of an internet encyclo- pedia: "Minecraft has already been used in classrooms around the world to teach subjects ranging from core [Science, Technology, Engineering and Mathematics (]STEM[)] topics to arts and poetry. [...] Minecraft: Education Edition will be designed specifically for classroom use. The main concept is the same [as the initial version of the game], an open sandbox world. The student's characters in MinecraftEDU will be able to retain characteristics. Students will also be able to download the game at home, without having to buy their own version of the game. Finally the last large difference is that students can take in-game photos [(also known as screenshots)]. These photos will be stored in an online notebook with the students online notes. These online notebooks will be shareable with other students."

    Obviously, this is virtually the original and unique multimedia work of C.S., which integrates our School in the Cloud approach and our Web Operating System (WOS) Sugarfox, which both have been developed by C.S. as well, with the desktop and learning environment Sugar, which took as its source of inspiration The Proposal written by C.S., as it can be seen with for example Sugar's journal used by a student for reflection, and the informations about our activities spied out at that time.
    Furthermore, Sugar uses the term journal instead of notebook for the same functionalities, which becomes an online journal or online notebook by the features of our School in the Cloud and Sugarfox.
    In addition, Sugarfox and in this way Sugar can have the Brick Theme or brick-based metaphor as Graphical User Interface (GUI), which includes individual characters or figures for the students for sure.

    In fact, all relevant concepts and essential elements have been described and named by C.S. several years before, as it can be seen by the following references in more detail:

  • OntoLinux Further steps of the
  • intelliTablet Announcement One Tablet Per Child (OTPC) and One Pad Per Child (OPPC/OP²C) #1 of the 17th of July 2012, and
  • intelliTablet Announcement Iri #1 of the 17th of April 2014, as well as
  • School in the Cloud project description publicated on the 21st of August 2012, and
  • Sugarfox project description publicated on the 9th of October 2013 and 20th of October 2014.

    Indeed, the decisive factor is not that the concept of a block-based open world or sandbox game is used as a learning environment, but that the original and unique work of C.S. was taken as the source of inspiration and the blueprint for the selection and composition or integration of the same essential elements, including the distributed computing or cloud computing techniques and technologies, the learning environment (e.g. Sugar with journal, sharing, etc.), and the 3-dimensional, block-based environment as the Graphical User Interface (GUI), to get the same result.
    Therefore we have the next infringement of the copyright by the company Microsoft conducted this time in relation to said multimedia work of art of C.S..

    But it has also become very clear now which business strategy Microsoft is pursuing since some months:

  • being totally obsessive and as much as aggressive (as we have seen it before with the company Google and the automotive industry for example),
  • permanently stealing as much as possible of our intellectual properties, specifically the multimedia art works of C.S..

    Therefore we also have an infringement of the copyright in relation to The Complete Works of C.S.' by the company Microsoft, which makes the whole issue even a case for the Federal Bureau of Investigation (FBI) and the prosecutors due to the serious economical implications for C.S., shareholders of the company, investors, and even the whole public.

  • Indiegogo: Another issue with a crowdfunding campaign has developed into a larger scandal in relation to the crowdfunding platform itself. In the following we give all relevant informations.

    On the 27th of April 2016 we made this comment:
    Attention: Crowdfunding Fraud
    This time a group claimed that the presented smartwatch has a battery with 300 mAh, which provides an always-on runtime of 32 hours under normal usage.
    The first questions that always have to be raised are: What means normal usage for a smartwatch in general and in particular if it has an AMOLED color display with touchscreen, sensors, WLAN (WiFi is only the brand of a related consortium), and other multimedia functions? and What means always-on for such a smartwatch?

    To make it short and simple: Do not fall into this next common battery runtime lie. It has been proven so many times that such a mobile device has a battery runtime between 10 to 12 hours, when it is used as a small wrist-worn computer, and even less depending on the used multimedia functions, and correspondingly a standby time of maybe 22 hours (claimed are even an always-on runtime of 32 hours).

    We have informed several times a crowdfunding platform about the battery lie in relation to different campaigns, but there is no sign that crowdfunding platforms are interested in controlling and stopping such and other problems in general.

    On the 5th of May 2016 we made this related comment:
    Attention: Crowdfunding Fraud
    On the 27th of April 2016 we gave the warning that "This time a group claimed that the presented smartwatch has a battery with 300 mAh, which provides an always-on runtime of 32 hours under normal usage."
    But this was not the only issue. In addition, that campaigner group has also stolen the design of one of the smartwatches presented in the iRaiment Further steps of the 29th of February 2016 (the one in the middle row).

    Because one of the campaigners is said to be a former employee of the company Google, who has founded an own company in the field of smartwatches, which again might be a fake company by the supertroll to disturb the activities of our business unit iRaiment in relation to smartwatches and wrist-worn computers, we thought at first that the campaign was the revenge for our revenge with the specific wristband attachment shown in the iRaiment Further steps of the 26th of February 2016 (see also the case of the company Blocks Wearables in the Investigations::Multimedia of the same day), which also shows a small section of said smartwatch design com- pletely presented on the 29th of February 2016.

    Around more than 1 day ago, new demo videos have been presented by the campaign group, which show that the smartwatch copy in- deed has a bezel respectively a frame around the display, that both are covered by the protection glass to suggest an edge-to-edge display like our design.

    Now, we reported that fraud to the crowdfunding platform.

    The contents of our email and the first reply of the crowdfunding platform are quoted in the following:
    Hi Christian,

    Thank you for contacting Indiegogo. Your request (#946019) has been received and is being reviewed.

    Sincerely,

    The Indiegogo Trust & Safety team

    Your request was:

    Christian Stroetmann, May 5, 08:21:

    Hello Indiegogo Team

    This campaign was suspicious to me just right from its start due to the following 2 issues:

    1. Again, I must tell you that a campaign claims a suspeciously long battery runtime.

    This impression is strengthened by e.g. the following conversation in the comment section:
    A.
    "Shaz Khan 5 days ago

    Thanks Abb Co
    What is the bettry timing in not always on mode .ie power safe mode ?"

    "AB Co. Campaigner 3 days ago
    Thanks, Shaz! There is indeed a power safe mode for the watch, to ensure you can conserve power whenever you need. Always-on mode is just one of the options for the CoWatch, but you can customize as you so desire. Thank you!"

    No clear answer is given. I guess, that the answer would provide the information that the power safe mode and the always on mode are somehow very similar, which again would raise more related questions about the runtimes of the different modes.
    Such a device runs 6 hours with the display always on, as shown in the videos. With WLAN (Wi-Fi) always on but not using the network respectively the smartwatch, I guess the run-time might be 24 hours or even shorter.

    2. Another issue is the marketing, specifically the design and the size of the display.

    When the campaign began, I had to examine the images with a high zoom factor very precisely until I saw it as well before a new demo video has been presented.
    Indeed, the campaigners have misled the public by suggesting my design for a very similar looking smartwatch of my business unit iRaiment presented on the the 29th of February 2016 (www.ontomax.com/newsarchive/2016/february.htm#29.February.2016), which in fact has such an edge-to-edge display without a bezel.

    Now the first complain[t]s arrived:
    A.
    "marlatodd 1 day ago

    Hello, I am sorry to say but one thing I cannot stand is when a product is advertised to look a certain way then you see the actual product and it is not as shown in the marketing. Your marketing stills and video show the watch face almost reach to the edge of the watch dial. In your new demo videos posted today you can clearly see there is a rather large bezel around the watch. I am asking that you please refund my backing immediately based on this new information.
    Thanks"

    B.
    "Balaji Gopalakrishnan 1 day ago

    Hello Team!
    I just happened to watch the Demo Videos and the watch looks promising.
    However, the bezel which was missing in your photos of the watch ,is rather dominant on the watch face in the Video.
    The absence of the bezel as per your photographs was one of the main criteria for me to choose Cowatch over pebble .
    Can you please clarify this.
    Thanks much!
    Balaji"

    "AB Co. Campaigner 1 day ago
    Hey Balaji! Thanks so much for the comment and support. CoWatch has a flat screen design, much like the Apple Watch. We wanted to differentiate ourselves from other smartwatches like Huawei, LG, and Pebble, which all have non-flat screen designs with metal edges. We chose our design to ensure a smooth touchscreen experience, and the bezel allows you to easily swipe left and right when interacting with apps. Thank you!"

    C.
    "Rajesh Mohan 1 day ago

    Hey Team! [...] Secondly, is the hardware shown in the video the final version, especially since you have done extensive prototyping till now? Can we expect any design changes? The bezel and the limited nature of the software seems to trouble me a lot. Please let us know about any plans you might have.

    "AB Co. Campaigner 24 hours ago
    CoWatch has a flat screen design, much like the Apple Watch. We wanted to differentiate ourselves from other smartwatches like Huawei, LG, and Pebble, which all have non-flat screen designs with metal edges. We chose our design to ensure a smooth touch screen experience, and the bezel allows you to easily swipe left and right when interacting with apps. Thank you!"

    D.
    "Kermina Awad 13 hours ago

    I really like that you've made the 2 videos for us to get a sneak peak, but after seeing the bezel I have 2 question. How large is the display not including the bezel? And how big is the display including the bezel? Metric as well, please and thank you. [...]"

    E.
    "Frans 12 hours ago

    The bezel is much bigger then on the pictures! Is this correct CoWatch? I don't like it!"

    F.
    ["]pj.lopes1 6 hours ago

    C'mon guys!! The size of the bezel is horrendously huge!
    Please tell us that's a prototype version of the cowatch as it's going to look cheap quality otherwise! Please don't let us down guys!["]

    Now, I call that campaign a fraud officially.

    Sincerely
    Christian Stroetmann

    The second reply of the crowdfunding platform arrived at 22:02 UTC+2 and is quoted in the following:
    "Hi there,

    Thank you for sharing your concern with us. At this time, the campaign is under review to ensure that it adheres to our Terms of Use (http://www.indiegogo.com/about/terms). We will follow up with you if we have any further questions.

    So what happens now? We will include the information you have provided along with all other information at our disposal in our review of the campaign. In some cases, we will contact the campaign owner to have them edit their campaign and it will remain on our platform. If the project doesn't follow our rules, we may remove the campaign. We may also restrict the campaign owner's future activities on Indiegogo.

    To protect our users' privacy, we're unable to share the action we take. At Indiegogo, we take the trust and safety of our community very seriously, and we greatly appreciate your patience and under- standing throughout this review process. To learn more about Indiegogo's Trust & Safety effort, please visit: www.indiegogo.com/trust"

    But despite that some more backers demanded the refund, the momentum to support that campaign stopped abruptly, and no information has been corrected on the webpage of the campaign, the marketing team of Indiegogo made this message on a well known short messaging service platform on the same day (5th of May 2016) with a carefully selected image, which makes it impossible to see that there is a bezel or frame around the display, to even maximize the deception and at 03:00 PM (see also the time of arrival of the second email once again) to even maximize the provocation:

    In addition, it also promoted that fraud in its newsletter of today (7th of May 2016):

    As it can be seen with the official campaign image, the two smartwatch versions have different hour and minute marks, which are also colored like the graphical elements of the watch face and the indicators to suggest that they are variable at runtime respec- tively that the smartwatch has an edge-to-edge display.

    By the way: That scam with the mini TV projector (see the bottom of the top image) belongs also to the set of suspicious campaigns which resulted in another comment of our objective series Attention: Crowdfunding fraud, because a defrauding entity thought we would develop such a device for whatever reasons on the on hand and on the other hand both the specification of the lumen output level and the battery runtime were suspicious.

    Moreover, several trolls sent comments to the related section of the campaign claiming that the bezel is not that large, e.g. "it's only 3mm thick" (respectively 3.2mm when taken the specification data for a calculation) instead of 4mm or maybe more, as we guessed by looking at the last prototypes, that the complaints would be ridicu- lous, and so on.
    Even directly after we have written the sentence before, another commentator explained the following:
    "morryzelcovitch 1 minute ago

    I have a moto 360 and use an app on it called wear mini launcher, to activate it requires a swipe from the edge of the screen. the 360 has that bezel flat tire at the bottom and as long as I have the swipe to launch located there it works perfectly every time. if I set the swipe to activate at the sides of the display (where there is no bezel) then it hardly ever works. The reason for sharing this with you is to show that the design team did the right thing. It will work much better as a result."

    What an utter nonsense by both, that troll and the member of that campaign group. On the one hand, the described problem has no- thing in common with the type of the display, here edge-to-edge vs. flat tire, but with that additional application. On the other hand, the display and the touchscreen are two separate hardware compo- nents.
    That said, the "smooth touch screen experience" depends solely on the size, resolution, and responsiveness of the touchscreen and on the programming of the hardware driver and the touch functionality, which processes the data delivered by the hardware driver of the touchscreen.

    Obviously, we have finally convicted Indiegogo of supporting fraud on its platform deliberately, which is an even bigger scandal than the campaigns that do not deliver.


    08.May.2016
    Picture of the Day
    Andy Warhol Campbell's Tomato Juice Box (1964)

    Andy Warhol Campbell's Tomato Juice Box 1964
    © Andy Warhol Foundation for the Visual Arts represented by Artists Rights Society

    Clarification
    In relation to the copyright protection, the term 'technical benefit for the society' is also used to decide if a work is protected by the copyright or not.

    Our opinion is as follows:

  • We present a work or project comprising essential elements also as a means to begin a discussion about for example the benefits as well as the positive and negative implications for the society.
    For working out the important aspects C.S. creates (multimedia) compositions that are as close as possible to technical and commer- cial products or services to prove the possibility of their existence and of their realization. In relation to some works, this approach of realism even belongs to the overall expression.
  • We are not presenting works only, but also a performance of art as part of The Complete Work. Such a performance provides no direct technical benefit for the society.
  • We explain when appropriated that a multimedia work of art created by C.S. is a pioneering work that has no references, patterns, and such alike, or even has not been thought of in its specific way at all.
  • We also use the term 'ordinary technological progress' in the same sense.
  • We are aware about this factor of technical benefit for the society and consider it more and more when we discuss an issue of copyright infringement. In the last past we even mentioned only such copyright infringements that correspond with this factor in a supporting way for our standpoint. For example, we say that
    • as more visionary the subject,
    • as longer the time of understanding,
    • as longer the time of technical realization,
    • as higher the complexity,
    • as more general the focused object or theme, or
    • as greater the technical benefit for the society

    of a work is, as more the originality and uniqueness of a related work is given.

  • We made clear recently that this specific factor is less and less relevant if The Complete Work of an entity is copied, specifically when the entity is a single individuum.
  • We show other issues in conjunction with an alleged infringement of our copyright. For example, to cover C.S. by the manipulating and lying media or to generate deceiptful plagiarisms and present them as some kind of prior arts does not work.

    Four examples for comparison:

  • A masterpiece of horology is a watch or clock that provides the technical benefit for the society to tell the time.
  • A chair with a specific design is a chair that provides the technical benefit for the society to seat.
  • A box for tomato juice cans is a box that provides the technical benefit for the society to store and transport food cans.
  • A multimedia application or system with a specific design or architecture and a unique composition of essential elements is a hardware or/and software system that provides the technical benefit for the society to use it for communication, problem solving, manufacturing, and so on.

    But despite their technical benefits for the society they can also be a work of art.

    In sum, there are limits even if there are technical benefits for the society that argue against our copyright claims. C.S.' activities are definitely not a self-service for any entity and no one has the right to steal the show permanently or/and completely in the sense of copying the performance. Specifically industrial companies, which we have mentioned many times in the last years in this relation, are not on save soil or legal ground anymore.


    09.May.2016
    Picture of the Day
    Marvel and Lego Iron Patriot (2013)
    Marvel and Lego Iron Patriot 2013
    ©© BY-SA 3.0 Wikia and C.S. (cut out from background)

    For sure, we have the best toys and not the Russian and North Korean nuke kiddies. Hopefully, they can read in English at least, because on the armor stands: Danger Danger.

    And if they are not nice, then our nanny will come (see also the Picture of the Day of the 23rd of April 2008).

    Article I, Section 8, Clause 8 of the United States Constitution
    Article I, Section 8, Clause 8 of the United States Constitution, known as the Copyright Clause, empowers the United States Congress:
    To promote the Progress of Science and useful Arts, by securing for limited Times to Authors and Inventors the exclusive Right to their respective Writings and Discoveries.

    The terms authors and writings have to be understood as synonyms for creators (including authors, inventors, artists, scientists, and everybody else) and all creative works of any type, including a performance and a process of creation itself, any media, and any way of presentation.
    But at first, a work must fulfill some requirements for being qualified for the protection by copyright, specifically it must be original and unique, but must not be the result of an ordinary technological progress, as we call the term 'technical benefit for the society' sometimes (see the related Clarification of yesterday).

    Actually, the limit is in most of the modern societies the lifetime of a creator plus 70 years.

    The legal doctrine of fair use, known as the fair use clause, "ack- nowledges certain exceptions to this right.
    But Article 9.2 of the International Copyright Law places strict limits on the scope and reach of those exceptions.
    [In this respect, e]xceptions
    a) must be limited to certain specific cases,
    b) provide that such reproduction does not conflict with [the author's respectively creator's] normal exploitation of the work and [...]
    c) do not unreasonably prejudice the legitimate interests of the author [respectively creator]."

    An example:

  • If someone takes an image of an article to comment or explain the subject of said article on her or his webpage, then this is fair use in this single case.
  • If someone takes said image of an article and claims copyright for it, then this is a copyright infringement.
  • If someone takes said image of an article, alters some elements with a raster graphics editor, and claims copyright for the altered image, then this is a copyright infringement if there is no transfor- mation of the original expression, context, or meaning.
  • If someone takes said image of an article, cuts out one or more elements with a raster graphics editor, which are essential for the original expression, context, or meaning, pastes these elements into another image, and claims copyright for the new image, then this is a copyright infringement if there is no transformation of the original expression, context, or meaning, so that no new original and unique work has been created in this way.

    For sure, some artists and companies like Microsoft and Facebook, Google and Co. are attempting to exploit loopholes. But this is only a matter of time until that very bold behavior is stopped finally.

    In addition, many other factors have to be considered, that in many cases only a specialized attorney is able to handle.
    For example, a settled expectation in the marketplace might have emerged in the last years, if a copyright holder has not taken any actions to protect her or his copyright, which would give the public some more rights. But this needs decades to happen if at all.
    In any way, ask an attorney with references, read the Terms of Service (ToS) of a website carefully and again ask an attorney, and also consider to fill a patent application instead.

    OS is ON
    With our Ontologic System (OS) the internet became one extremely large distributed computer or one machine, that does not need an operating system, an actor system, an agent system, a cloud computing system, and even not an artificial intelligence system.
    The only prerequisites for any user and device are a:

  • very little processor chip hardly visible to the naked eye,
  • simple connection to our Ontologic Net (ON), the new Internet,
  • small access software based on our OS, and
  • legal account to use our OS and ON.

    All the rest is in our Ontologic Web (OW), the World Wide Web of the next generation:

  • Every single operating system, actor, and agent function,
  • every type of network function,
  • every artificial intelligent and cognitive function,
  • every language,
  • every information space, environment, reality, and context,
  • every single piece of the whole big data,
  • every fact,
  • every service,
  • every novel,
  • every music,
  • every video,
  • every game,
  • every application,
  • every social networking platform,
  • every shop,
  • every emotion, and
  • every etc.

    is directly generated, assembled, updated, customized, referenced and linked, up- and downloaded, and available for use eventually.

    Conceptually, it functions like a sea or sphere of signs or symbols for example. In the moment a user touches it, holds a finger into it, looks at it, or only thinks about it, some of the symbols arrange at the related spot in the right way (see the Picture of the Day of the 4th of October 2008 for example). The resulting arrangement or form is already the desired function, which is executed in the subsequent step (see also the Clarification of the 29th of April 2016).
    This functions also with molecules on the nanoscopic scale and hence on the micro- and macroscopic scales respectively physical, chemical, and biological levels as well, as shown for example in the Picture of the Day of the 23rd of April 2008.

    Practically, it functions in uncountable many amazing ways:
    Our Multilingual Multimodal Multiparadigmatic Multimedia Programming (M⁴P) technique respectively Ontologic Programming (OP) paradigm has been explained before and in other explanations given in the last years (start with the Clarification of the 27th of April 2016 for example).
    Our Ontoverse has been described in parts and as a whole in the past. The latest summary is given in the Clarification of the 16th of April 2016.

    Another practical example is a light switch with the minimal prerequisites, such as a basic ON connection simply provided together with the electric power over the power lines. In this case only a microphone has to be connected with the input contacts of the extremely small processor chip or embedded computer of the light switch, and a user can command it by voice. The same can be done with every other sensor and also every actuator connected with the output contacts.

    Safe, secure, reliable, and fascinating everytime, again and again.

    The Original OS

    Any kind of plagiarism or other fraud in relation to our OS, ON, and OW as well as their components by a public-law or private entity goes straight to the Federal Bureau of Investigation (FBI) of the U.S.A. and similar governmental authorities in other countries.


    10.May.2016
    Ontonics Further steps
    Today, we official start the prototyping and production phases for our hardware technologies to realize our Ontologic Net (ON) and Ontologic Web (OW). This includes network chips based on our Wireless Supercomputer (WiSer) processor technology, for sure, and network devices based on our NetWiSers, such as for example:

  • equipment for the telecommunication backbones,
    • gateway,
    • router,
    • switch,
    • wireless access point,
    • and so on,
  • pizzas for the data centers and server clusters or server farms (see the Original vs. Inspiration and Further steps of the 13th of July 2014 and the Further steps 4th of January 2016) but also
  • personal routers and hubs
    • at home,
    • at business,
    • in vehicles,
    • in robots,
    • etc.,
    as well as
  • stationary (personal) computer systems, and
  • mobile devices.

    At this point we would like to give the recommendation, that interested companies should not take copies or alternatives to our technologies, because they might be serious

  • legal problems, specifically in relation to our OS and ON,
  • technical problems due to the overall compatibility and complexity.
  • practical problems, specifically when applied in a wrong way by a user,
  • social problems due to misuse.

    Investigations::Multimedia, AI and Knowledge management
    *** Work in progress - Quotes and comments are fine; Rearranging, formulating, beautifying needed; But rewrite rules are included in Mercury and Genesis-II (Mercury Conversational System is based on Genesis-II generation server***

  • General: As not expected otherwise, already very well known entities are trying to steal our Ontologic System (OS) by copying essential elements in a way that it does not look like a copyright infringement at first sight. We have documented every single issue and explained why these attempts are unsuccessful and instead strengthen our position.

    {revision, because its foundation was already based on our Evoos and hence it did not work} The trick applied in the first round worked more or less by taking existing systems, in which the funding and developing entities have lost their interests, because they got no more money for the continuing of the related research and development, or simply because they were too incompetent to get the systems running in a practical way, and then marketing these existing systems as their recently invented systems after we revived them or/and showed how they could be used (e.g. the voice command system or speech controlled virtual assistant Siri).
    Some months ago, they thought that this trick would work in a second round, specifically in relation to Mixed Reality (MR), Artificial Intelligence (AI), and Natural Language Processing (NLP) based software robots or agents, which is also the reasons why we are publicating so many clarifications since the end of March 2016. In all these last clarifications we discussed the foundational concepts, components, and subsystems of our Ontologic System (OS) on the one hand and on the other hand made clear why repeating this trick does not work very well or does not work at all.

    In the course of this, some fraudsters claimed that they have developed further the virtual voice-controlled assistant Siri in two directions, which not surprisingly correspond again with the components and subsystems of our OS and our clarifications given in the last weeks
    The prominent keywords used in this relation are Natural Language Processing chatterbot (NLP chatbot; see the Clarification and the OntoLix and OntoLinux Website update of the 13th of April 2016), network of capabilities (stolen from the Ontonics, OntoLix and OntoLinux Further steps of the 2nd of May 2016), user migration, intention and context pointing to the BDI MAS MR systems (see the Clarification of the 16th of April 2016, 1st of May 2016 and 6th of May 2016), cloud-based artificial intelligence agent, dynamic program generation (see the Clarification of the 27th of April 2016 and all the other related explanations given in the last years), this new system as different name for our OS for sure, and so on, which doubtlessly proves again the infringement of our intellectual properties.

    Also, the presentation had to be made very quickly, because it neither was a complete conversation, which was said to be one of the main features, nor something of the new system respectively our Ontologic System at all. Ah, now we can see it, they have found more documents from the Massachusetts Institute of Technology (on our harddisk?) this time for that conversational agent. But all these documents are not enough, because they do not contain what has been presented by us in November 2006. Furthermore, the time on the smartphone is 9:41 AM, which points to one of the usual shows suggesting the audience of a real-time application.

    We also found out by commentators that the plagiarism is a rip off of another personal assistant. But this personal assistant has been presented around 14 months ago. So why do they present now in May 2016 their plagiarism? Exactly, because it is a plagiarism based on our last clarifications and other informations. And his explanations become rough searching for words.

  • Viv: The company has been founded by Adam Cheyer and Dag Kittlaus. A. Cheyer led a 300-person team at SRI International, the nonprofit, government-funded research and development lab in Palo Alto, U.S.A., working on a project of the Department of Defense to create a next-generation personal assistant, which resulted in the Cognitive Agent that Learns and Organizes (CALO) and the Personalized Assistant that Learns (PAL), which orphaned after the funding of said project ended on the one hand and on the other hand were revived by us, when we linked them in the section Intelligent/Cognitive Agent of the webpage Links to Software of our Ontologic System (OS) OntoLinux.
    D. Kittlaus also worked at the SRI International laboratory together with A. Cheyer and later at the company Motorola. A. Cheyer and D. Kittlaus belong to the fraudsters who founded the company Siri after they saw the links to their former works on the webpage of OntoLinux. and sold the company to Apple in the year 2010. With the many related investigative cases we publicated on OntomaX at that time, we were able to show that the whole process around Siri was suspicious somehow, because it suggested some kind of an orchestrated operation by the acting entities.
    Now, A. Cheyer and D. Kittlaus are trying the same trick a second time, but the goal is this time to steal the whole multimedia work of art series Ontologic System of C.S. most potentially for another large company, such as Google or Facebook for example.
    The technology taken in this round has been developed again by the SRI International laboratory and is called dynamic program generation by them. But what we see is in fact what C.S. developed as part of our OS that is ontology-based Natural Language Processing programming (begin with the Clarification of the 27th of April 2016 as a starting point).
    At first they only wanted to steal our OntoBot with the virtual voice-controlled assistant Siri, but then they saw our clarifications publicated over the years and in the last weeks, and wanted to steal the automatic natural language programming based dynamic program generation and execution approach, and some days ago they saw that the whole OS is ON, which they tried to claim as their invention in a discussion. We quote the presentation given by D. Kittlaus and the subsequent discussion with a moderator by a manipulating and lying media company that are documented on a related video taken yesterday at TechCrunch Disrupt New York 2016 (see also the general remarks above, as long as this investigative case is work in progress): "[...] intent [...] dynamic program, that writes itself, that creates an execution program [...] [No matter if SRI International developed such a dynamic program generator or even one with integrated Natural Language Processing (NLP), the laboratory never intended to use it as we do and as it is promoted by that defrauding company. See again the Clarification of the 27th of April 2016 and the links given therein. Our OS has been taken as blueprint once again, and the reference to this work of SRI International or another third party has to be seen as impermissible hindsight, copyright infringement, or just as fraud.]", "[...] conversational commerce [...]", "What about tulips? [This question seemed to be asked as an introduction for the presentation of an application example. But the real reason is that the Tulip graph visualization toolkit is a part of our OntoScope software component.]", "[...] the inside of VIV Brain [...] [For sure, this explanation has been copied from our websites as well, because we described some years ago that the foundational ontologic model of our OS functions like a brain.]", "These are the actual models that the developers are building into. I call this the universe of capabilities [...]. [In this relation, a brain-like graph-based 3D visualization of some kind of knowledge domains was shown. Firstly, the models and knowledge domains seem to be ontologies. Secondly, the term model is self-explanary in relation to the point "computer-aided software engineering tools" of the webpage Overview and the section Formal Modeling of the webpage Links to Software of the OntoLinux website. Thirdly, the visualization resembles one of the many possibilities provided with the Tulip graph visualization toolkit of our OntoScope software component. Virtually the same was said by us in the investigative case of the Centre National de la Recherche Scientifique→Laboratoire d'Analyse et d'Architecture des Systèmes and Technical University Munich in the Investigations::AI and Knowledge management, and Robotics of the 10th of May 2011. See the quote "Visualising and editing ontologies [...] with a nice dynamic layout engine" and our related comment. Fourthly, the term 'universe' was used in relation to our Ontoverse and the term 'universe of capaibilities' was stolen from the Ontonics, OntoLix and OntoLinux Further steps of the 2nd of May 2016, in which we said "integrated system Ontoverse" and "our Ontologic Net (ON) and Ontologic Web (OW) infrastructure is an inter(-)net(work) of names, capabilities, and things".]", "Because when you see this [icon ...] That means you can talk to that thing. [Read again the comment to the quote before and also note our slogans "Speak with the Web" and "Talk to the web".]", "[...] users will migrate to this new world [...] [Obviously, we have here the Clarifications of the 16th of April 2016, 1st of May 2016, and 6th of May 2016.]", "[...] cloud-based artificial intelligence agent [...] [For sure, this was also stolen from us. See for example the section Network Technology of the webpage Links to Software and keep in mind that every link on this webpage is connected with our software components.]", "[...] we are talking about a new thing [...] So its not about launching a single app [...] launching a system that people can embed in their devices, in their hardware, and their software.", [...] dynamic program generation [...] a really important part of this new system and it's kind of a breakthrough. [It is a breakthrough, but it happened already in the year 2006, when we put all essential elements of our OS together and presented OntoLinux officially on the 9th of November 2006.]", [...] network of capabilities [...] [As we said in a comment to a related quote before, this was stolen from the Ontonics, OntoLix and OntoLinux Further steps of the 2nd of May 2016.]", "[...] conversational UI [...] [See the dialog system Galaxy Communicator and the telephone-based conversational interface Mercury listed in the section Natural Language Processing of the webpage Links to Software. That was it with the never existing magic of Viv.]", and "[...] radically simplifies the world [...] [Yes, indeed, C.S. is ingenious.]".

    We also quote from a report publicated in the Washington Post on the 4th of May 2016: "It was their first real test of Viv, the artificial-intelligence technology that the team had been quietly building for more than a year. [This is very interesting, because only the company has been founded 4 years ago in contrast to the misleading and defrauding claim that the development of that plagiarism has been started 4 years ago. Nevertheless, the relevant date is when we publicated the webpage Overview of the OntoLinux website in the beginning of the year 2007.]", "[A] chief executive [...] said he rushed to sign up with Viv two years ago, impressed with the idea of allowing consumers to perform different activities without having to toggle between services. [So what now, more than 1, 2, or 3 years?]", "That wasn't how it was supposed to be, Kittlaus said. The original Siri wasn't supposed to be a clever [Artificial Intelligence (]AI[)] chatbot. [This is very interesting, because we get this information directly from one of the fraudsters on the one hand, who on the other hand it makes clear that the company Siri had not our OntoBot, OntoScope, and other essential elements of our Ontologic Systems (OSs). That said, everything that was added in relation to an Artificial Intelligence chatbot Thank you very much for your collaboration and this shot into the own foot.]", "Kittlaus and Cheyer, who became close with Apple's Steve Jobs before his death in 2011, will not discuss what happened beyond this from Kittlaus: "Steve had some ideas about the first version, and it wasn't necessarily aligned with all the things that we were doing."", "Viv "is what they wanted Siri to become - an open system," said Bart Swanson, adviser at the venture-capital firm Horizons Ventures and an investor in Viv, Siri and other artificial-intelligence technologies. [Now, we got from another entity the testimony that the company Siri had not our OntoBot, OntoScope, and other essential elements of our Ontologic System (OS) at that time. Thank your very much again for this collaboration.]", ""The Turing Test is just a bad design, and it kind of set the industry off on the wrong foot," said [...] a venture capitalist who has funded virtual-assistant start-ups. [The alternative also mentioned in the quoted report has the other deficits. That said, only our OS with its Multilingual Multimodal Multidimensional Multimedia User Interface (MMMMUI or M⁴UI) and Multilingual Multimodal Multiparadigmatic Multimedia Programming (M⁴P) technique solves all problems since the year 2006.]", ""Our goal is ubiquity," Kittlaus said. "There's no way to predict where that goes except to say we'll pick the path that gets us there. Either way, we will finish the job." [First of all, their goal is to steal again from our OS to make money. Furthermore, in the presentation yesterday D. Kittlaus talked about "the new system", which for sure is our OS, which again proves that he announced before to pick respectively steal our intellectual property, despite even not knowing what it would be.]", and "Facebook chief executive Mark Zuckerberg is also an investor in Viv through the firm Iconiq Capital. [Bingo!!! See also the case of the company Facebook below and the investigative cases linked therein.]".

    No new internet or/and any content-addressable technique and technology to see.

    It is also obvious, that they have not seen the Ontologic Net (ON) and Ontologic Web (OW), which for C.S. was only a logical consequence of using the NLP chatbot respectively OntoBot together with mobile applications and web services in 2005 or 2006.

    Moreover, the related points about the new system respectively our OS were stolen after we explained them another time in the last weeks. These facts prove a further time that they have not understood our OS at all and therefore are only stealing our intellectual properties. We do not need to discuss it further after providing all these evidences, and we will not discuss this issue further.

    The whole thing is just only a reflection of what we do, specifically of our clarifications, investigations, further steps, website update and so on given since the 16th of April 2016. But we said all the time everything is already there since OntoLix and OntoLinux officially started on the 9th of November 2006.

    The white line in this specific field of technology could be drawn by looking at the foundations of the conversational interface or system Mercury based on the Genesis-II module or server. For example, arbitrary SQL, HTML, and similar formal code can be generated by the dialog system or conversational agent and executed in a DataBase Management System (DBMS) or displayed in a window of a Graphical User Interface (GUI).
    Such an NLP based transformation and generation system might have been developed for the use in software engineering by another third party as well. But as we already said above, we have not seen such a generation system in the past respectively before we created our OS, specifically not in relation to a reflective system, the control of a system, such as e.g. an agent system, or a system interface, such as e.g. a Graphical User Interface (GUI), an intelligent user interface, and an Intelligent Personal Assistant (IPA), such as the mentioned Cognitive Agent that Learns and Organizes (CALO) and Personalized Assistant that Learns (PAL).
    Nevertheless, compositions comprising for example

  • NLP plus agent system plus dynamic program generation plus World Wide Web,
  • dynamic program generation ("really important part" and hence essential element of our OS) plus composition of (domain model based or semantic) web services respectively Service-Oriented Architecture (SOA), or
  • similar compositions

    are an essential part of the copyrighted multimedia work of art series Ontologic System of C.S..

    The copyright infringements are clear and include the concept but also the performance in the sense of presentation of C.S..

    This is an act of copyright infringement, because it has not been presented with Apple Siri, Google Now! or/and Tango, Amazon Alexa, Microsoft Cortana, and so on despite it was possible all the time already, as we always said and explained. This makes the whole issue also a case for the FBI.

    Btw.: The audience was dead, but the presenter begged for applause "please clap". Guess why they were neither amused nor amazed?

  • TechCrunch: In the discussion of Dag Kittlaus yesterday the questions of the moderator reflected our clarifications (see the investigative case of the company Viv above). Interesting was the point, when he said that such a system like our OS or its plagiarism would eleminate the web services of the middle tier, such as search engines, online shops, and video platforms, which is exactly what has been said in relation to the Content-Centric Networking (CCN) by another online magazine. In this moment, D. Kittlaus suddenly concluded that he has the next huge problem with that business plan and technology.

    Furthermore, if our NLP dynamic programming is so crucial, radical simplifying, and ingenious, for what are developers still needed at all and why does a user need an app developed by another entity at all? She or he can just tell our OS what is wanted and there it is. Obviously, those fraudsters have invested into and stolen something from us, that they have not understood all the time and instead they were directly fallen into our trap. We love it when a plan comes together.

  • Facebook: As we found out today, the company is also an investor in the company Viv (see its case above), which explains even better what we said in the Investigations::Multimedia, AI and Knowledge management of the 16th of April 2016. Bingo!!!

    We can only give the recommendations to the following companies:

  • Google to integrate the mobile technology Tango with something like that Viv plagiarism, because it is an essential part of the multimedia work of art series Ontoscope of C.S. used for the mobile devices of our business divisions Ontoscope, intelliTablet, and iRaiment,
  • Microsoft to continue with copying our OS with its operating system, distributed computing and cloud computing, and other products, applications, and services, and
  • Facebook to integrate their web platform with something like that Viv plagiarism.

    It is up to the large companies to act and in this way provide us more decisive evidences. Come on gals and guys, do not be shy.

    Investigations::Multimedia

  • Microsoft: The company has also stolen the concept of a continuum in relation to our interpretation of the reality-virtuality-continuum that we call Mixed Reality (MR). We quote a personal computer magazine: "The first glimpse Microsoft provided of Continuum for [a mobile operating system for] phones during its Build keynote on Wednesday [...]. "With Continuum for phones, we believe any screen can be your PC," Microsoft's Joe Belfiore proudly exclaimed." See also the related Clarification of the 1st of May 2016 and 6th of May 2016, which are about the more than a decade old foundational prior arts.

    Now, the company is going beserk, which means that it has understood its situation, which is standing with the back at the wall of a dead-end street. The latter also explains its extremely aggressive attitude we have observed since the presentation of its Augmented Reality (AR) goggle some months ago.


    11.May.2016
    Ontonics Further steps
    We are working again on the formal and legal requirements of a Terms of Service (ToS) and the license model for our

  • Ontologic System, hereafter abbreviated as OS, comprising
    • OntoLix,
    • OntoLinux,
    • OntoDroid, and
    • OntoWin,
  • Ontologic Net (ON),
  • Ontologic Web (OW), and
  • Ontoverse.

    Our OS is protected by the International Copyright Law and the individual copyright laws of the single nations.
    We are not represented by any entity. Interested entities have to contact us, the Christian Stroetmann GmbH Business Unit Ontonics, directly using for example one of the possibilities given on the webpage Contact of the Ontonics website.
    The license allows and guarantees the safe, secure, and law compliant use of our OS, ON, OW, and Ontoverse for a fee, which depends on a graduated price scale.
    We hold the right to reject a license, if reasonable arguments are given in correspondence with common sense.

    We think that the easist way to manage the licensing process would be to connect a license fee with a

  • hardware and
  • telecommunication contract,

    so that the OS, ON, and OW are free to use so to say for the public.
    In this relation, we would like to clarify that we are not bound to the ruling of net neutrality at this time, though this will change in the future and then ruled by the laws for telecommunication and other laws.

    But this is not always the best way seen from the economical point of view, which implies that we must have a regulation that secures our share from for example the online advertisement and the appli- cation store markets, and additional sources of surplus.
    In general, we are fine with sharing, but it must be reasonable on the one hand and on the other hand without such fee, share, and other financial sources our Social Mobile Service (SMS), which has been presented in the Further steps of the 31st of January 2016 and 1st of February 2016, cannot be operated and developed further.

    In relation to our Social Mobile Service (SMS) presented in the Further steps of the 31st of January 2016 and 1st of February 2016 we are pleased to inform our fans, friends, and customers that we have added more services.

    We also connected our SMS with the additional option of our modular mobile device platform Iri.

    Ontologic Net and Ontologic Web Further steps 15:05 UTC+2
    Over the last years we have composed a specific start configuration of our Ontologic System (OS) that includes:

  • OntoLix or OntoLinux,
  • Content Addressable Storage Performance Enhancement by Recipe (CASPER) file system,
  • a Relational DataBase Management System (RDBMS) and an Object-Oriented DataBase Management System (OODBMS), or a hybrid ORDBMS,
  • a Content-Addressable Network (CAN),
  • Content-Centric Networking (CCN) library CCNx Distillery (see the Ontonics, OntoLix and OntoLinux Further stepse of the 2nd of May 2016),
  • OpenWRT (see the Website update of the 30.March.2015),
  • a web server,
  • a distributed, grid, cloud computing library,
  • and other components.

    Most of these components are either listed or implicitly linked in the sections Operating System and Network Technology of the webpage Links to Software webpage, or have been mentioned in one of our messages.

    What we are now doing together with Ontonics is to begin with the realization of the Ontologic Net (ON) and Ontologic Web (OW) in several concurrent threads:

  • In the first thread, we take network devices of different layers of the general telecommunication infrastructure and network stack (see the Ontonics Further Steps of yesterday for example), and add this start configuration, so that the prototyping of the Ontologic Net (ON) can begin without losing compatibility to the legacy internet.
    This phase is solely to get in touch with the basic technologies, if this has not happened by the network gurus.
  • In the second thread, we will add more semantic respectively ontology and ontologic features, cleaned, rearranged, and optimized components, and so on.
  • In the third thread, we will add more optimized hardware.
  • In subsequent threads, we will increase the fun, hopefully.

    The threads overlap more or less and are meant has a guideline for sure.

    The timeline depends on the support and the echo we receive from external entities, but we have made some rough estimations:

  • Thread 1: 2016 to 2017
  • Thread 2: 2016 to 2019
  • Thread 3: 2016 to ...

    Ontologic Web Further steps
    We are very pleased to announce our first Ontologic Web (OW) applications or environments, including our:

  • learning environment Salt and Pepper,
  • office environment Ontologic Office (OntoO), and
  • enterprise, business, and commerce environment Ontosap or OntoS&P.

    In addition, we are working on our various OW services, such as our direct video streaming and online shopping platforms.

    OntoLix and OntoLinux Website update
    We added to the section Natural Language Processing of the webpage Links to Software the link:

  • Lauren M. Baptist: Genesis-II: A Language Generation Module for Conversational Systems

    This document describes in more detail the generation of natural languages and formal languages (e.g. Structured Query Language (SQL) and HyperText Markup Language (HTML)) based on a semantic frame representation in relation to the telephone-based conversational interface Mercury as one example domain of several dialog systems, which are realized with the Galaxy (Communicator) hub or architecture. The Galaxy Communicator and the Mercury user interface are listed in the section Natural Language Processing of the webpage Links to Software already.
    Said this, we still wonder why the researchers did not use C, C++, eXtensible Markup Language (XML) and Scalable Vector Graphics (SVG), and ontologies at that time, as we did with our Ontologic System (OS) besides the ontologic paradigm, the intelligent multi- agent system also used for the dialog system with our OntoBot software component (see also the OntoLix and OntoLinux Further steps of the 23rd of April 2016), and so much more integrations of techniques and technologies, such as e.g. reflection or self-teaching systems and the integration of ontology-based or ontology-assisted language generation with Mixed Reality Environments (MRE).

    TaaaDaaa!!!


    12.May.2016
    Ontologic Web Further steps
    We also added our other learning environment:

  • Sugarfox

    to our range of Ontologic Web (OW) applications (see also the Further steps of the 11th of May 2016 (yesterday)).

    To get more informations about one of its Graphical User Interface (GUI) Ontocraft take as the starting point the intelliTablet Further steps One Tablet Per Child (OTPC) and One Pad Per Child (OPPC/OP²C) #18 of the 6th of May 2016 for example.

    OntoLix and OntoLinux Further steps
    We developed an essential function of our OntoGraphics component, which was missing.

    OntoLix and OntoLinux Website update
    We updated the webpages Links to Software and Literature in the following ways.

    In the section Natural Language Processing of the webpage Links to Software we added the links:

  • Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, Vivienne C. Lee: LanguageLand: A Multimodal Conversational Spoken Language Learning System
  • University of Twente, Parlevink Language Engineering Group, Mariet Theune: Natural Language Generation for dialogue: system survey
  • National Aeronautics and Space Administration (NASA), Ames Research Center, Research Institute for Advanced Computer Science, Manny Rayner, Beth Ann Hockey, and Frankie James: A Compact Architecture for Dialogue Management Based on Scripts and Meta-Outputs

    Before an entity thinks there is a loophole or an inconsistency in our argumentation, we would like to mention that it is very well known how to use a Relational DataBase Management System (RDBMS) and for example the Entity-Relationship (ER) paradigm to store, match, and transform graphs, and realize the latter incrementally (see the Clarification #2 of the 10th of September 2012 and also the Website update and the Further steps of the 23rd of April 2016).
    Said this, we added to the section Multiparadigmatic Computing of the same webpage:

  • Budapest University of Technology and Economics, Department of Computer Science and Information Theory, and Department of Measurement and Information Systems, Gergely Varró, Katalin Friedl, and Dániel Varró: Graph Transformation in Relational Databases
  • Gergely Varró and Dániel Varró: Graph Transformation with Incremental Updates
  • Philadelphia University, Department of Basic Science, Hashemite University, Department of Physics, Singapore Polytechnic, School of Chemical and Life Sciences, University of Melbourne, Department of Zoology, Amani Naser Tahat, Maurice HT Ling: Mapping Relational Operations onto Hypergraph Model

    In the same section Multiparadigmatic Computing (alternative sections Semantic (World Wide) Web and Formal Modeling) we added:

  • Universidad de Chile, Department of Computer Science, Renzo Angles and Claudio Gutierrez: Querying RDF Data from a Graph Database Perspective

    In the section Formal Modeling we added:

  • Budapest University of Technology and Economics, Department of Computer Science and Information Theory, and Department of Measurement and Information Systems
    • Gergely Varró: Towards Incremental Graph Transformation in Fujaba
    • Dániel Varró, Gergely Varró, and András Pataricza: Towards an XMI based Model Interchange Format for Graph Transformation Systems

    In the section Formal Modeling (alternative section Exotic Operating System) we added:

  • National University of Singapore, Department of Information Systems and Computer Science, Rafael Ramirez: Representing and Executing Real-time Systems
    (see also RbCl)

    In the section Formal Modeling (alternative section Semantic (World Wide) Web) we added:

  • University of Geneva, Centre Universitaire d'Informatique, Giovanna Di Marzo Serugendo and Michel Deriaz: Specification-Carrying Code for Self-Managed Systems

    In the section Formal Verification we added:

  • University of Texas at Austin, Department of Computer Sciences, E. Allen Emerson and Kedar S. Namjoshi: On Model-Checking of Non-Deterministic Infinite-State Systems
  • Universite de Liege, Faculté des Sciences Appliquées, Bernard Boigelot: Symbolic Methods for Exploring Infinite State Spaces

  • Budapest University of Technology and Economics, Department of Measurement and Information Systems, Dániel Varró, Gergely Varró, and András Pataricza: Automatic Graph Transformation in System Verification
  • Institut de Recherche en Informatique et Systèmes Aléatoires, Olaf Burkart and Yves Marie Quemener: Model-Checking of Infinite Graphs Defined by Graph Grammars

    In the section Intelligent/Cognitive Agent (alternative sections Formal Modeling and Formal Verification) we added:

  • Universidade Nova de Lisboa, Departamento de Informática, João Alexandre Leite, José Júlio Alferes, and Luís Moniz Pereira: Dynamic Logic Programming with Multiple Dimensions
  • Università del Piemonte Orientale, Alessandria, Dipartimento di Informatica, and Università di Torino, Dipartimento di Informatica, Laura Giordano, Alberto Martelli, Paolo Terenziani, Alessio Bottrighi, and Stefania Montani: A temporal approach to the specification and verification of Interaction Protocols

    Furthermore, we added to the section Abstract Machine of the webpage Literature:

  • University of Wisconsin, Madison, and AT&T Bell Laboratories, Raghu Ramakrishnan, Divesh Scrivastava, S. Sudarshan, and Praveen Seshadri: The Coral Deductive System

  • University of Massachusetts, Amherst, Department of Computer and Information Science, Australian National University, Acton, Department of Computer Science, Oregon Graduate Institute, Beaverton, Department of Computer Science and Engineering, University of Glasgow, Lilybank Garden, Department of Computing Science, University of St Andrews, North Haugh, Department of Mathematical and Computational Sciences, and University of Vermont, Burlington, Department of Computer Science and Electrical Engineering, David Stemple, Robin B. Stanton, Tim Sheard, Paul Philbrow, Ron Morrison, Graham N.C. Kirby, Leo Fegaras, Richard L. Cooper, Richard C.H. Connor, Malcom P. Atkinson, and Suad Alagic: Type-Safe Linguistic Reflection: A Generator Technology

    We also added to the section Logics of the same webpage:

  • University of California, San Diego, Department of Computer Science & Engineering, University of Liverpool, Department of Computer Science, and Oxford University, Joseph Goguen, Grant Malcolm, and Tom Kemp: A Hidden Herbrand Theorem-Combining the Object and Logic Paradigms
  • University of Edinburgh, Laboratory for Foundations of Computer Science, Julian Bradfield and Colin Stirling: Modal logics and mu-calculi: an introduction

  • University of Cambridge, Computer Lab, Imperial College London, Department of Computing, and Università di Pisa, Dipartimento di Informatica, Anuj Dawar, Philippa Gardner, and Giorgio Ghelli: Expressiveness and Complexity of Graph Logic

    The approach of the incremental graph transformation also improves PROgramming with Graph REwriting Systems (PROGRES) and is included in the OntoBase and Ontologic File System (OntoFS) components. See the OntoLix and OntoLinux Further steps of the 12th of May 2014 and also our Multimodal Rule Markup Language (MRML), and note that we have overcome textually the expressive- ness of logics with our approach to use the visual graphical Scalable Vector Graphics (SVG) vector image format based on the eXtensible Markup Language (XML), that was said before to only be possible with graph grammars (see also the Clarification #1 of the 10th of September 2012).

    Together with the analyses of the logics behind the PROGRES (see e.g. the document "Expressiveness and Complexity of Graph Logic") it should be clear for everybody, that we

  • have chosen the graph-based approach as well,
  • referenced all these techniques and technologies, and
  • gave the OntoBot software component a rewriting logic system inclusive PROGRES (see again the Clarification #2 of the 10th of September 2012),

    because for example the semantic structures or knowledge representation formalisms

  • Entitative Graph (EG) and Existential Graph (EG),
  • Conceptual Graph (CG),
  • Semantic Network (SN),
  • Topic Map (TM),
  • Resource Description Framework (RDF) Graph (RDFG), and
  • Web Ontology Language (OWL) Graph (OWLG)

    are graphs respectively graphical formalisms or graph-theoretic formal languages, also designed to be interpreted for logic.

    Also keep in mind in this relation and in relation to the Website update of the 5th of October 2007 and yesterday for example, that the

  • "Genesis-II's high-level architecture [used with the Galaxy Communicator and for applications like Mercury] consists of a kernel and a linguistic catalog [...]. For each unique domain and language, the linguistic catalog provides a lexicon, a grammar, and a list of rewrite rules, which together control the string generation for frames in that domain", and
  • Flora-2 rule-based system
    • is relying on the system of the Prolog programming language dialect XSB for its inference engine,
    • is used for the semantic (world wide) web inference engine F-OWL, which is used in relation to formal approaches to agent-based systems on the one hand and is referenced by us since the OntoLinux Website update of the 5th of October 2007 on the other hand, and
    • was always included in our OS by the direct connection to the ontology-based semantic (world wide) web techniques and technologies.

    Now, add the semi-quantum computer capability of our Wireless Supercomputer (WiSer) or something similar based on quantum computing, conclude how we get far past the common logically calculi and even beyond the observable universe, and pay attention to not toast your brain.

    After referencing more old documents we will explain in the clarifica- tion announced on the 1st of May 2016, which is about the abstract machine core, how this all fit togther to a natural and formal multi- lingual multimodal multiparadigmatic system on the one hand and on the other hand how our ontologic paradigm unifies everything in an extremely elegant and ingenious way, when having all domain models respectively ontologies about logics, mathematics, spoken languages, logic and programming languages, graphics, and systems at hand, which again are reflective, self-referencing, automatic generating, and so on.
    By the way, a short summary is already given on the webpage Overview.

    Citations for the

  • multimedia work of art series:
    • Christian Stroetmann "Ontologic System" or alternatively "Ontologisches System", 1999-2006
  • commercial products and services:
    • Christian Stroetmann GmbH, OntoLab, Christian Stroetmann: Ontologics OntoLi+-x, Planet Earth, 2006
    • Christian Stroetmann GmbH, OntoLab, Christian Stroetmann: Ontologics OntoLix, Planet Earth, 2006
    • Christian Stroetmann GmbH, OntoLab, Christian Stroetmann: Ontologics OntoLinux, Planet Earth, 2006

    Hopefully, we could answer some of the open questions in this way.


    13.May.2016
    OntoLix and OntoLinux Website update
    We added to the section Multiparadigmatic Computing (alternative section Formal Modeling) of the webpage Links to Software the link:

  • King's College London, Department of Computer Science, Peter Mc Brien and Alexandra Poulovassilis: A Uniform Approach to Inter-Model Transformations
    (see also Structured Entity-Relationship Model (SERM))


    14.May.2016
    Comment of the Day
    Ontologic Net™ (used on 9th of May 2016)

    Clarification
    We are not sure if the document listed in the OntoLix and OntoLinux Website update of today was a source of inspiration or a confirma- tion of our already made conclusion in relation to this insight:
    "The notion of computing with words (C[w]W) hinges crucially on the employment of natural language expressions. These are considered to provide not only the representational structures of what can semantically be meant but also the operational means of what can cognitively be understood by processing these structures. They allow for decomposition of wholes into their constituents or parts (granulation), or conversely, for composition and integration of parts into wholes (organization), and for the association of signs with meanings (causation).", [Burghard B. Rieger, From Computational Linguistics to Computing with Words].

    Despite that the meaning of this quote only applies for humans respectively natural languages, it explains at least why we are talking directly about a cognitive multi-agent system and a cognitve user interface instead of a relatively simple Belief-Desire-Intention (BDI) Multi-Agent System (MAS) and a more elaborated User Inter- face (UI), and correspondingly have named the related sections Intelligent/Cognitive Agent and Intelligent/Cognitive User Interface of the Links to Software.

    We also concluded around the year 2003 that fuzzy logic is only a lazy approach for solving problems developed and used by scientists and engineers, because of their inabilities to measure precisely, handle complexity thoroughly, and program correctly, and showed with our abstract machine core that fuzzy logic, probabilistic logic, and similar paradigms can be realized with the classical boolean logic in the very end.

    Indeed, a three-valued logic can be classified as a finite(ly-many) valued logic, which belongs to the many-valued logics, which again is said to be included in the class of infinite(ly-many) valued logics together with for example the fuzzy logic and the probabilistic logic. But such a classification is already a result of a cognitive process mentioned in the quote above, that is based or "hinges crucially on the employment of natural language expression".
    In general, the definition of a logical paradigm, its application, and the interpretation of the results of its application have to be con- ceived and described by a human in a way that uses languages in the very end, which are based on symbols such as words with individual fixed lengths, arrangements, and transformations according to a definition, application, and interpretation of a grammar, another logic, or even the same logic, which again is also described by languages, and therefore can be represented by classical logics.

    In the moment we show that

  • a word is processed by a computer as a bit-string, which can also be interpreted as a string of numerals (0s and 1s) or a value, on the one hand and
  • we apply the CwW paradigm of Lotfi A. Zadeh (see his paper "Fuzzy logic = Computing with Words") together with e.g. the conclusion of others in relation to formal fuzzy logic "that computing with words can be implemented with computing with values", and the explanation of Burghard B. Rieger (see again the quote in the first section) on the other hand,

    we are able to imply from the point of view of (computational) semiotics and informatics, specifically of Algorithmic Information Theory (AIT), that the

  • fuzzy logic depends on the determination of the length of the bit-string respectively the resolution of the real unit interval [0, 1],
  • fuzzy automata can be reduced to a classical automata or realized with a multi-dimensional logic based on classical approaches or a graph logic based on graph rewrite rules for example,
  • statement "[f]uzzy automata are generalizations of classical automata" must be wrong, and
  • these implications also hold for every infinite(ly-many) valued logic, such as probilistic logic and possibility logic.

    In this respect, the section Pure Rationality on the webpage Terms of Discussion or Terms of the 21st Century has to be understand as logics approached from AIT respectively as discrete logics and discretized logics. The latter also corresponds with the physical reality, specifically with logic gates and hardware circuits based on them.

    Another important point to mention is, that using an approach based on fuzzy logic, probabilistic logic, and similar paradigms, is a profound contradiction to the important requirement of trust in and reliability of a system, specifically in relation to the application of Artificial Intelligence (AI) on the large scale. One cannot trust such a system due to its design. In contrast, our Ontologic System (OS) provides results that are founded on a rational, correct, and verified basis. If we get a wrong result, then we have the possibility to correct the processing, which is not given with a system based on uncertainty, imprecision, and chance respectively the probabilistic theory. We do not dice.

    Despite using imprecise fuzzy logic and favoring words over numbers respectively values is not sufficient, not precise, and not so impor- tant as claimed by some proponents, we have it also incorporated in the range of functionalities of our abstract machine core (see for example the Clarification #1 of the 4th of May 2016).
    More important are the facts, that we resolved the semiotic aspects as well and created

  • a direct interface to the universe, the matter, and the machines (see the Clarification of the 29th of April 2016),
  • an operating system, an actor system, an agent system, and an agent-oriented or agent-based operating system, that includes system of the types
    • ontology-based,
    • Object-Oriented (OO 1),
    • Ontology-Oriented (OO 2), and
    • Ontologic(-Oriented) (OO 3),
  • the Mixed Reality (MR)
  • the Ontoverse, and
  • eventually the Ontologic System (OS), which could be described in this context as the all-encompassing dynamic (zero-)ontology(-based system) O#.

    In this relation, we have found a very nasty and most potentially serious criminal attempt to steal our ontologic paradigm and OS, which proposes a system architecture based on the combination of this 'fuzzy logic equals Computing with Words (CwW)' paradigm and the ontology-based semantic (world wide) web approach, and even references formal approaches.
    Very suspiciously, the document is said to be filed at a publisher on the 23rd of October 2006, just 6 days before we uploaded the first inofficial version of the website of OntoLinux and 2 weeks before we started the website of OntoLinux officially, but its revised version was filed on the 28th of September 2007, was publicated online on the 15th of March 2008, and is listed in the dblp computer science bibliography with the date 2009.
    About the reason for its revision we do not need to talk anymore, and without the publication of the original version by the author and the publisher no prior art is shown. In addition, the authors have some serious problems to explain the equivalence of their highly complex work and the related fraction of C.S.' highly complex work. The main author also needs some convincing arguments to show that he was not inspired by C.S.' OS despite his publications of the following years gives us relatively significant evidences in relation to the same subjects, their connections with each other, and their times of publication.
    In this relation we would also like to mention that the field of soft computing is a part of SoftBionics (SB).

    Around the year 2003, it was already consensus that both the semantic (world wide) web, which includes solutions for the merging of ontologies, and the existence of more than 45,000 ontologies, which cover virtually everything, also required concepts for the mediation between ontologies (see for example the related reference in the section Intelligent/Cognitive Interface of the Links to Soft- ware webpage of OntoLinux), as it could be learned with the communication and the knowledge management and sharing in the case of Multi-Agent Systems (MASs) in the semantic (world wide) web.
    At first, we thought that such a mediation had to function like a proposed approach based on a fuzzy logic. But then we concluded that we have to reject such an ontology-based approach in general and apply such a fuzzy logic and other probabilistic and possibilistic paradigms in a different and precise way, which eventually led to the implication that an ontology-based approach is not needed at all, as we also explained already in the investigative case of the company Radar Networks in the Investigations::AI and Knowledge manage- ment of the 5th of May 2009, and correspondingly to the develop- ment of our Ontologic-(Oriented) (OO 3) and Ontologic Computing (OC) paradgms.

    The computing system proposed in this suspicous document sud- denly was not based on the fuzzy logic and the CwW paradigms in the first place anymore, but presented an ontology for relations and constraints, which can be used for the description of many logic paradigms in general and allows the description of the fuzzy logic and the other probabilistic and possibilistic paradigms in the sense of a specific probabilistic network (see again the Investigations::AI and Knowledge management of the 5th of May 2009) in particular. Obviously, this reflects our trademark Ontologics, our domain name Ontologic Systems, and the content of the section Pure Rationality, because providing pure rationality with two-valued and three-valued logics is a very clear statement, that says how we describe and handle imprecise knowledge and logics in general and ontologies, including such an ontology for relations and constraints, in particular.

    Said work also misses to apply the proposed computing model res- pectively this stolen part of our ontologic model on its system itself. For example, it uses an inference engine with different reasoners, which reflects the Parallel Inference Machines OS (PIMOS), systems in the field of digital libraries for example, but does not apply its specific ontology on these reasoners or an interface, like it was done for example with the Knowledge Bus system for an Application Programming Interface (API) of an Object-Oriented (OO 1) programming language with reflection (only introspection) capabilities, and for sure the OntoBot software component of of our OS with its well-structured and -formed, validated and verified, and kernel-less reflective/fractal/holonic properties and rule-based and rewrite rules subsystems. Compare this with the content of the section 2. Computational Linguistics of "From Computational Linguistics to Computing with Words", specifically with "Certainly, linear aggregation of these symbols serve to understand and control one type of observable natural language phenomena as part of aggregational string formation or formal grammar. Its core concepts of well-formedness (syntax) and truth-function (semantics) were made explicit by way of specifying conditions of formal correctness and derivational compositionality. Their symbolic representations in the form of productions or rewrite rules - allowing for recursive application and generative string formation - not only constituted a wealth of symbol aggregation systems (formal languages) but were also employed to model comparable properties (in processes) of natural language string formation."
    Said work also lacks a connection of its concept to an intelligent agent system, an intelligent multimodal user interface, and so on. See also all the related works that are referenced on the Links to Software webpage.

    We will go into all the details when we discuss our abstract machine core and some more aspects of Multi-Agent Systems (MASs) and the semantic (world wide) web in relation to the foundations of constraints, logics, and graphs, the processing of them, and the programming with them, as well as our ontologic paradigm and our Ontologic Web (OW).

    OntoLix and OntoLinux Website update
    We added to the section Systems Theory, Complex Systems, Cybernetics of the webpage Literature:

  • Burghard B. Rieger: From Computational Linguistics to Computing with Words

    In: Gerd Willée, Bernhard Schröder, B. und Hans-Christian Schmitz: Computerlinguistik - Was geht, was kommt? Festschrift für Winfried Lenders. 2002.
    Its list of references includes

  • Pattee, H. H.: Simulations, Realizations, and Theories of Life. In: Langton (ed): Artificial Life, [SFI Studies in the Science of Complexity VI]. 1989.

    See also the Clarification of today for more related informations and also the Clarification of the 29th of April 2016 for a more complete view.


    15.May.2016
    OS too large to steal
    Everytime a defrauding entity stops to give informations, we can go on and

  • provide detailed explanations about the background and the whole picture, and
  • give arguments in all directions.

    Only an original creator, author, or/and developer is able to act in this way.
    In the course of the discussion about a suspicous or defrauding work, it also becomes obvious that a part has been described by an entity that so to say is freely hanging in the air respectively unconnected with the rest of what we show with our Ontologic System (OS).

    Whoever the criminal entities are behind all those frauds we are investigating, discussing, explaning, breaking down, and documenting, in the end they cannot use the stolen fractions of our OS, such as the combinations or integrations of for example:

  • Mixed Reality (MR) and a Belief-Desire-Intention Multi-Agent System (BDI MAS),
  • Computing with Words (CwW or CW) or fuzzy logic paradigm and an intelligent user interface,
  • dynamic program generation and an intelligent user interface,
  • Content-Addressable Memory (CAM), Content-Addressable Storage (CAS), and Content-Addressable Network (CAN),
  • Information-Centric Networking (ICN),
  • and so on,

    because on this level such an acting always constitutes a causal link with our OS respectively with the OS of C.S..


    16.May.2016
    OntoLix and OntoLinux Website update
    *** Work in progress - Better formulations of last sections needed ***
    We updated the webpages Links to Software and Literature in the following ways.

    In relation to the Clarification of the 14th of May 2016 we added to the section Logics of the Literature webpage the link:

  • Ohio State University, Department of Computer and Information Science, and Carnegie Mellon University, School of Computer Science, Spiro Michaylov and Frank Pfenning: Higher-Order Logic Programming as Constraint Logic Programming
    This works also explains why a defrauding work presented an ontology for constraints and relations, and not just only for the fuzzy logic paradigm (see the Clarification of the 14th of May 2016). But ontologies are not sufficient for the integration of knowledge provided by different sources, as others have found out in the year 1996 already.
    The OntoBot software component is also based on the higher-order logic provided by one of its modules.

    In the section Symbolic Artificial Intelligence (AI 1) (alternative sections Logics, and Natural Language Processing and Intelligent/Cognitive Agent of the webpage Links to Software) of the same webpage we added:

  • State University of New York at Buffalo, Stuart C. Shapiro and The SNePS Implementation Group: [Semantic Network Processing System (]SNePS[)]: A Logic for Natural Language Understanding and Common Sense Reasoning
    SNePS is simultaneously a logic-, frame-, and network-based knowledge representation, reasoning, and later also acting system that implements a theory for the construction of a computational, natural language using, intelligent, rational agent.
    This work was not a source of inspiration, but has confirmed our flexible and integrative approach. What we considered aside from all the other OS features is the integration of for example SNePS with the Computing with Words (CwW) approach respectively fuzzy logic, furthermore frame logic or f-logic, relevance logic or relevant logic with fuzzy logic, and other related logic paradigms, and also Artificial Intelligence 2 (AI 2) (emergence, Machine Learning (ML), Artificial Intelligence 3 (AI 3) (hybrid, Soft Computing (SC or SoftC), Computational Intelligence (CI), Evolutionary Computing (EC), and so on.

    In the section Hybrid Artificial Intelligence (AI 3) (alternative sections Abstract Machine, and Intelligent/Cognitive Agent and Intelligent/Cognitive Interface of the webpage Links to Software) we added:

  • Massachusetts Institute of Technology, Department of Architecture, Nicholas L. Cassimatis: Polyscheme: A Cognitive Architecture for Integrating Multiple Representation and Inference Schemes
  • Naval Research Laboratory, Nicholas L. Cassimatis: Polylog: A Framework for Answering Queries Using Multiple Representation and Inference Techniques
    (see also SimAgent, SNePS, Soar and ACT-R, mediation of information and Knowledge Bus, and OntoBot)

    These are two more highly suspicious documents about an Artificial Intelligence (AI) system, which uses different knowledge representations and inference engines, because the author described a so-called reflective specialist and an ontology specialist, and therefore we marked them with the sign * meaning under investigation.

    Nevertheless, the work also does not apply the presented Artificial Intelligence (AI) system in a reflective way respectively makes the system itself the domain or universe of discours (see also the Clarification of the 14th of May 2016), because the task of a reflective specialist described in relation to Polyscheme and Polylog is to manage the foci of processing, which we also compared with a scheduler of an operating system or a job manager of a cluster computing or grid computing system, and not to realize a reflective system, such as an operating system and an agent system.
    Simply explained, we took

  • such reflective operating systems and agent systems (see The Proposal),
  • such frameworks using different representations and inference engines for mediation of information sources and knowledge bases, as well as programming, and
  • a Total Quality Management (TQM) system (see the webpage Overview), which is comprising the steps planning, assurance, control, and improvement at least, to literally close the circle respectively (regulatory) processing cycle,

    and created an Ontologic System (OS) in this way, which can even be a holonic system. Wow.

    In the section Systems Theory, Complex Systems, Cybernetics we added:

  • Universities of the Netherlands, Janos J. Sarbo and József I. Farkas: On the isomorphism of sign, logic and language [-] A novel framework for language modelling
    The isomorphism of sign, logic, and language is one of the mathematical expressions and the source of inspirations for our
  • abstract machine core,
  • way of handling infinite(ly-many) valued logics, such as for example fuzzy logic, probabilistic logic, and possibilistic logic, by classical logics (see the Clarification of the 14th of May 2016), and
  • foundation of our ontologic paradigm,

    because it has a "semiotic model of language which is only linearly complex" or O(n).
    The document also references the document "A Logical Ontology", 2000, publicated by the same authors.

    In the section Systems Theory, Complex Systems, Cybernetics of the Literature webpage (alternative section Intelligent/Cognitive Agent of the webpage Links to Software) we added:

  • University of Essex, Department of Computer Science, John Pisokas and Ulrich Nehmzow: Experiments in Subsymbolic Action Planning with Mobile Robots
    When this work is taken together with the isomorphism of sign, logic and language, then we can see that computational semiotics or subsymbolic techniques are applicable with perception techiques of an artificial agent as well, which even
  • include speech recognition and speech synthesis for example,
  • simultaneously work on the symbolic level (see the Clarification of the 29th of April 2016 and the Clarification #1 of the 4th of May 2016 for example), and
  • is realized as a self-organizing and self-learning system.

    When creating our Ontologic System (OS), we also considered as part of the agent-oriented or -based operating system core the application of a subsymbolic planning approach as a software agent planner, that is specialized on the production of plans for process scheduling and job management (see also the section Exotic Operating System of the webpage Links to Software; last sentence added on the 20th of May 2016).

    We also added in the section Semantic (World Wide) Web of the Links to Software webpage the link we added:

  • Vrije Universiteit, Amsterdam, Division of Mathematics and Computer Science, and Nanyang Technological University, Singapore, School of Communication and Information, Ying Ding and Schubert Foo: Ontology Research and Development Part 2 - A Review of Ontology Mapping and Evolving
  • Norwegian University of Science and Technology, Department of Computer and Information Science, Xiaomeng Su, Terje Brasethvik, and Sari Hakkarainen: Ontology mapping through analysis of model extension
  • University of Southampton, Department of Electronics and Computer Science, and University of Edinburgh, Centre for Intelligent Systems and their Applications, Yannis Kalfoglou and Marco Schorhemmer: Information-Flow-based Ontology Mapping

    In the section Natural Language Processing of the same webpage we added:

  • Japan Advanced Institute of Science and Technology, The University of Tokyo, Toyohashi University of Technology, Kyoto Institute of Technology, Advanced Telecommunications Research Institute International, National Institute of Advanced Industrial Science and Technology, Seikei University, Shizuoka University, Nara Institute of Science and Technology, Ritsumeikan University, Tokyo Institute of Technology, Nagoya Institute of Technology, The Advanced Software Technology and Mechatronics Research Institute of Kyoto, and Chiba University, Shin-ichi Kawamoto, Hiroshi Shimodaira, Tsuneo Nitta, Takuya Nishimoto, Satoshi Nakamura, Katsunobu Itou, Shigeo Morishima, Tatsuo Yotsukura, Atsuhiko Kai, Akinobu Lee, Yoichi Yamashita, Takao Kobayashi, Keiichi Tokuda, Keikichi Hirose, Nobuaki Minematsu, Atsushi Yamada, Yasuharu Den, Takehito Utsuro, and Shigeki Sagayama: Galatea: Open-source Software for Developing Anthropomorphic Spoken Dialog Agents
    (see OntoBot + OntoScope and OntoBlender)
    So much about a Multi-Agent System (MAS) Virtual Machine (VM) based multimodal user interface, which by the way confirmed this part of our approach after we had already developed it ourselves and integrated its MAS VMs with the core agent-oriented or agent- based operating system. But what about an OO 1, 2, and 3 BDI MAS VM ROS with M⁵UI including a 3D computer graphics software with game engine (e.g. OntoBlender)? In fact, this was already included in the software part of our original and unique multimedia work of art series OS in the year 2006 (see also the Clarification of the 13th and 16th of April 2016 related with our Ontoverse).

    In the section Intelligent/Cognitive Agent we added:

  • Royal Melbourne Institute of Technology University, School of Computer Science and Information Technology, James Harland and Michael Winikoff: Agents via Mixed-mode of Linear Logic

    In the section Intelligent/Cognitive Agent (alternative section Semantic (World Wide) Web) we added:

  • Carnegie Mellon University, Katia Sycara and Massiomo Palucci: Ontologies in Agent Architectures
  • Brigham Young University, Computer Science Department, Muhammed Al-Muhammed and David W. Embley: Towards Enabling Communication among Independent Agents in the Semantic Web

    In the section Intelligent/Cognitive User Interface (alternative section Semantic (World Wide) Web) we added:

  • University of Southampton, Department of Electronics and Computer Science, Stuart E. Middleton, Harith Alani, Nigel R. Shadbolt, and David C. De Roure: Exploiting Synergy Between Ontologies and Recommender Systems [PDF]

    Besides the usual nonsense and fraud, we have also seen in many documents publicated after around the year 2002 the common mistake that already existing techniques and technologies of the fields of logic programming, knowledge management, operating system, and agent system have been described once again due to the lack of the knowledge about these techniques and technologies, the inheretent homomorphisms, isomorphisms, and equivalences, and the overall context.
    For example, the use of ontologies is not mandatory but a supporting tool to structure, understand, and control highly complex Artificial Intelligence (AI) systems and Multi-Agent Systems (MASs), our Ontologic System (OS), Ontologic Net (ON), and Ontologic Web (OW), and eventually our Ontoverse.
    Another example is that the mixing of data formats, knowledge sources, such as databases and ontologies for example, inference engines, and logic programming paradigms can be integrated by the concepts applied with the one or more of the others.
    In addition, there is so much missing, which most potentially cannot all be found in other documents.

    What can be seen now is also the fact that all authors have not used their system to support their work respectively to do the work. For sure, we were not so blind, as it is proven by the following quote from the section Hint of the webpage Project Status of the website of OntoLinux:
    "If you are trying to build your own system, develop a strategy for automating as much as possible without stepping out of the whole concept."

    Following this path leads to our abstract machine core in a first step and ends at our Ontologic System (OS) with its Ontologic(-Oriented) (OO 3) and Ontologic Computing (OC) paradigms in the last step.

    And do not forget to mention: Our OntoBase and Ontologic File System (OntoFS) components are directly connected with it, which makes the OS superfast. Meep! Meep!

    So now we come closer and closer where the magic begins. TaaaDaaa!!!

    Despite it looks so easy now to implement our OS, taking our OS as blueprint and all these documents or similar works to create our OS remains impermissible hindsight respectively a copyright infringement, specifically when used in parts or as a whole for commercial proposes, which includes researching and teaching at most of the universities and research institutes worldwide.

    OntoLix and OntoLinux Further steps
    We are working on new sections and related webpages called Clarifications, which collects all relevant clarifications publicated over the years, and Ontologic Frameworks, which lists the different combinations of single foundational works and essential parts of our Ontologic Systems, which again we consider as protected by the copyright.


    17.May.2016
    OntoLix and OntoLinux Website update
    *** Work in progress - Selection of sections missing and better formulations of text ***

    In relation to the Clarification of the 14th of May 2016 and the Website update of the 15th of May 2016 we added to several sections of the webpages Literature and Links to Software links and references:

    In the section Symbolic Artificial Intelligence (AI 1) (alternative section Semantic (World Wide) Web of the webpage Links to Software) of the Literature webpage we added:

  • Rutgers University, New Brunswick, Department of Computer Science, and University of Georgia, Department of Computer Science, Amit Kashyap and Vipul Sheth: Semantic and Schematic Similarities between Database Objects: A Context-based Approach

  • San Diego Supercomputer Center and University of California, San Diego, Department of Neuroscience, Mediation of Information using XML (MIX):
    • XMAS sub-group of MIX: A Brief Introduction to XMAS
    • Amarnath Gupta, Bertram Ludäascher, and Maryann E. Martone: An Extensible Model-Based Mediator System with Domain Maps
    • Chaitan Baru, Amarnath Gupta, Bertram Ludäascher, Richard Marciano, Yannis Papakonstantinou, Pavel Velikhov, and Vincent Chu: XML-Based Information Mediation with MIX

    "The integration challenge is that source data cannot be joined using simple term-matching or comparison operators. Even more sophisticated approaches which use ontologies to enumerate joinable terms are often not sufficient (see ["Semantic and Schematic Similarities between Database Objects"]). Instead a join should be performed based on whether the objects satisfy some application-specific condition. For complex integration scenarios as our neuroscience application, a more expressive formalism is necessary to specify these "semantic join conditions". In particular, the formalism should have inferencing mechanisms to reason over domain knowledge if necessary." and "[...] make the mediator independent of a source's choice of [Conceptual Model (]CM[)] formalism [(for example relational Entity-Relationship (ER) model and object-oriented Unified Modeling Language (UML)) ...]".

    Most of the work in this field has been done already in the 1990s in relation to digital libraries and knowledge management, which led to the development of XML, formal models (UML, and so on), and the semantic web for example (see also the Website update of the 12th of May 2016 to get some more informations). C.S. was all the years one of the pioneers and sometimes even the secrect pioneer in this field.

    In the section Emergent Artificial Intelligence (AI 2) (alternative sections Systems Theory, Complex Systems, Cybernetics and Natural Language Processing of the webpage Links to Software) we added:

  • Carnegie Mellon University, School of Compueter Science, Wei Xu and Alex Rudnicky: Can Artificial Neural Networks Learn Language Models?
    The old discussion about the foundation of consciousness, body vs. brain, representation vs. reasoning, subsymbolic vs. symbolic approaches, AI 1 vs. AI 2, hard computing vs. soft computing, etc., etc., etc. have been solved by others in parts with hybrid systems and us as a whole with an all-encompassing Ontologic System (OS), which led to our definition of AI 3 and our creation of the field of SoftBionics (SB).
    Indeed, one can argue from the point of view of the non-symbolic side, one can argue from the point of view of the symbolic side, and one can argue from the point of view of the middle between these extrema or the hybrid side. But we could prove that the correct answer is a subsymbolic-symbolic continuum and even more importantly we could show that the overall context and maximum limit has to be considered, because the observable universe contains a limited amount of atoms on the one hand and on the other hand Turing still matters no matter if we speak about deterministic or non-deterministic machines, which means that in the end informations are processed with bits, qubits, or more precisely with a sign of limited length as the basic information unit to give the chaos an order (see also the Clarification of the 29th of April 2016 and the Clarification #1 of the 4th of May 2016).
    These considerations and insights are also the foundation for our Caliber/Calibre respectively universal theory (information about limited amount of atoms and last sentence added on the 24th of May 2016).

    In the section Natural Language Processing (alternative section Semantic (World Wide) Web) of the webpage Links to Software we added the link:

  • Kyoto Institute of Technology, Department of Electronics and Information Science, Masahiro Araki: Owl-based Frame Descriptions for Spoken Dialog Systems
    The formal model of Generic Conceptual Model (GCM) is a fragment of frame logic or F-logic with well-founded negation semantics. As we already mentioned in the Website update of the 12th of May 2016, F-OWL is referenced since the OntoLinux Website update of the 5th of October 2007.

    In the section Natural Language Processing we added:

  • University of Trondheim, Norwegian Institute of Technology, Faculty of Electrical Engineering and Computer Science: The Understanding Computer (TUC)
    • Tore Amble: Automatic Solving of Problems stated in Natural Language
    • Tore Amble: The Understanding Computer - Natural language understanding in practice

    (see also e.g. SNePS)
    Specifically interesting is that "[c]ommon [s]ense logic is realised by a theorem prover [...] implemented in Prolog", which is also ... [operational model of computation or the processing model] on the one hand and on the other hand exchange with a new pillar, pillow [What was said here?].

    Furthermore, we added to the section Abstract Machine of the webpage Literature:

  • University of Glasgow, Department of Computing Science, and University of St Andrews, North Haugh, Division of Computer Science, Richard Cooper and Graham Kirby: Type-Safe Linguistic Run-time Reflection A Practical Perspective
    The document linked with the Website update of the 14th of May 2016 was about compile-time reflection. This document is about the other type of linguistic reflection called run-time reflection.

    In the section Logics ...

  • Utrecht Institute of Linguistics, Michael Moortgat: Categorial Type Logics [PDF]
    The index of this document already provides us many interesting features:
  • "1 Introduction: grammatical reasoning"
  • "2 Linguistic inference: the Lambek systems"
  • "3 The syntax-semantics interface: proofs and readings"
  • "4 Grammatical composition: multimodal systems"
    • "4.1 Mixed inference: the modes of composition"
  • "5 Reasoning about multiple type assignments"
  • "6 Hybrid architectures"
  • [...]

    This work presents multimodality in a different field than User Interface (UI) but together with directionally-sensitive implications, mixed inference, induction, a whole zoo of logics, inclusive grammar logics (see also the document "Expressiveness and Complexity of Graph Logic"), as well as connections between categorial type logics and linear logics (see the related links on the webpages Literature).
    Furthermore, we had something in mind like reflective incremental hypergraph grammatical reasoning or processing. Now, our fans and readers know on the one hand how Mr. Spock talks to machines and why we said that some scientists are only defrauding or/and demonstrating their incompetences.

    When taken together all the Website updates made in the months April and May of 2016, then at least the real problem should have become crystal clear and why we developed our OS, and why we were able to do so.
    Our fans and readers do not need to read or even understand all the referenced works. The more important points are that:

  • all relevant works have been publicated before 2006,
  • some relevant works have been publicated in 2006,
  • some interesting or explaining works have been publicated after 2006,
  • {?} everything existed before the official start of OntoLinux in the November 2006,
  • the contents of the documents respectively the works are connected with each other somehow,
  • we have integrated them with our OS,
  • we have extended and optimized the prototypical OS before the official start of OntoLinux in the November 2006,
  • we have made these Website updates and Clarifications solely for the reason of detailed explanations, and
  • everything we said about the OS is true (e.g. turing test, self-awareness inclusive recognition in mirror, universal theory, new reality, etc.).

    It's not a trick - It's Ontologics


    19.May.2016
    OS can do
    Our OS, comprising the OntoCore, OntoNet, OntoWeb, and Ontoverse, can do everything what the defrauding competitors respectively datakrakens provide as services, but without any privacy and safety issues.

    The reality you can trust.

    Website update
    We have updated some parts of our news and renamed some of the news titles related with our Ontologic Net and Ontologic Web to make it easier to follow their contents. In detail we renamed the :

  • Ontonics, OntoLix and OntoLinux Further steps of the 11th of May 2016 to Ontologic Net and Ontologic Web Further steps
  • Ontonics Further steps of the 12th of May 2016 to Ontologic Web Further steps
  • Ontonics, OntoLix and OntoLinux Further steps of the 16th of May 2016 to Ontologic Net or/and Ontologic Web Further steps, and
  • Ontonics, OntoLix and OntoLinux of the 19th of May 2016 (today) to Ontologic Net Further steps.

    We also moved the OntoWeb related part from the Ontonics Further steps to the Ontologic Web Further steps of the 11th of May 2016.

    Ontonics Further steps
    In contrast to defrauding companies we improved a technology to support the society in the best way.

    Ontologic Net Further steps
    We continued with the improvement of a foundational functionality of our Ontologic Net (ON), which increased our lead.

    Style of Speed Further steps
    We worked on 3 new models and in total 9 new variants of a vehicle.

    Investigations::Multimedia, AI and Knowledge management

  • Google: Indeed, we have seen the activities but not interpreted completely. What we have overlooked is the fact that the Virtual Reality (VR) cardbox and its software-based support constitutes a general support for mobile devices with a 3D display by its Linux kernel based Android operating system. But at its developers con- ference the company even presented "a set of specifications that devices must meet in order to provide [for example] a lag time of less than 20 milliseconds between movements of the user's body and on-screen responses, and gave informations about a forthcoming VR feature called Daydream, which "also includes a reference design for a VR headset mount into which a variety of smartphones could be fitted.", [British Broadcasting Corporation, Today]. See also the Clarification of the 17th of April 2016, that is about some aspects of our Ontoverse related with VR comparable with a lucid dream, and Augmented Reality (AR) respectively Mixed Reality (MR) comparable with a day-dream.
    In addition, a conversational chatbot has been added (for some details see for example the OntoLix and OntoLinux Website update of the 13th of April 2016 and the Investigations::Multimedia, AI and Knowledge Management of the 17th of April 2016), which is able to comment on pictures sent by friends. This comment function is based on image recognition algorithms, a semantic interpretation, and an integration of textual and visual functions and contents (e.g. multimodal).
    Furthermore, as a reaction on our Ontologic Net (ON) and Ontologic Web (OW) it also unveiled at its developers conference a so-called instant app feature for "evolving Android apps to run instantly without installation". What should we say? Client-side Java code execution?
    Nevertheless, we can already see that it wants to steal more essential features of our OS related with a so-called singularity (see also its case in the Investigations::Multimedia, AI and Knowledge management of the 24th of April 2016).
    Officially, Google tried to handle the single functions or systems as if they were separated and unconnected, indeed, but they were designed from the start to be directly connected with each other and some of them are even closely intertwined in the companies technological environment and systems used for serving its customers. Now, it is obvious by the features of its Linux kernel based operating system Android and hence we have proven with our explanations that Google could not keep up this bold and always unsuccessful trick anymore.
    More important is the fact, that the company took as much as possible of the essential elements of our OS and tried to keep them separated, and acted accordingly, which proves that it tried to circumvent our copyright protection in this way, which again proves that Google acknowledged and admitted that the Ontologic System and the Ontoscope are original and unique multimedia work of art series protected by the copyright or otherwise all these deliberately conducted attempts of camouflaging and circumventing would make no sense at all. The same holds for other companies, such as Microsoft and Facebook for example, as well as the media, as we explained in the past already.

    Taking all facts together means, that the support for AR and VR or MR systems and environments, the graph-based knowledge base or knowledge graph, the Natural Language Processing (NLP) based speech controlled virtual assistant, dialog system, or conversational agent, special Artificial Intelligence (AI) functions, and other essential hardware and software elements of our original and unique OS and Ontoscope series are now included in parts or as a whole in Android (see for example the Ontologics.info Further steps of the 26th of August 2013), its case in the Investigations::Multimedia, AI and Knowledge management of the 27th of September 2013, and the OntoDroid Further steps of the 10th of January 2016.).
    Doubtlessly, Google has infringed the copyright in relation to the multimedia work of art series Ontologic System (OS), including for example OntoLinux, and Ontoscope of C.S., deliberately. Convicted!!!

    Besides this, the whole world can see once again that companies like Google and Microsoft do not respect the copyright law and in this way the intellectual property of other members of the society.

    In general, if a competitor infringes a copyright in a similar or even the same way is neither a proof of a

  • technical benefit for the society or an ordinary technological progress (see the related Clarification of the 8th May 2016), nor
  • settled expectation in the marketplace (see the discussion about the Article I, Section 8, Clause 8 of the United States Constitution on the 9th May 2016).

    So to say a class action in this way is not legal.

    In this relation, C.S. is considering since several months to file a lawsuit due to this obsessive and more and more aggressive attitude, including stalking and mobbing in the World Wide Web. In the course of this process Google will have to present the court detailed informations about its database, knowledge graph, speech controlled virtual assistant, and many other business secrets. Needless to say, the goal is to ban Google from such activities, which implies to stop copying multimedia works of art and other works created by C.S..

  • British Broadcasting Corporation: At least one of the well known criminal journalists of its news staff reported about the presentation of the company Google, despite knowing very well the facts in relation to the multimedia work of art series Ontologic System (OS), including for example OntoLinux, and Ontoscope of C.S., and that Google has infringed our copyright in this way.
    We quote the related report with comments: "[The company] has announced a conversation-based tool to control smartphones, smartwatches and other devices. [Obviously, this is what we do with our Ontologic Systems OntoLix and OntoLinux since 2006.]", "Amazon launched its own dialogue-based smart home device in 2014, which is operated by the firm's proprietary virtual assistant Alexa. [This was said to mislead the public a further time in relation to our original and unique, as well as pioneering works.]", "Google's chief executive Sundar Pichai credited Amazon with pioneering the idea. [The criminal journalist(s) publicated this obvious lie, despite knowing that it is not true (see the Ontonics Further steps of the 28th of December 2013 for example).]", ""[The company]'s new Assistant is [the company's] attempt to bring together a set of disparate efforts that have lacked a coherent brand," commented [an analyst.] "Referring to the combined functions of Google Now, OK Google, and other elements has been tough in the past, because there wasn't a single name for this functionality. [For sure, we have done this just right from the start with our brand Ontologics® and there is also a single name for the whole set of all the (essential) elements: Ontologic System (OS). Not surprisingly, the media company The Guardian also discussed this point in a misleading way.]", ""[Another company] should take note of [the company's home service] given [the company]'s search and artificial intelligence capability [...]" noted [a defrauding consultant, who is always quoted in such manipulated reports. Here we also see that the term capability is used, because of our Ontologic Web (OW) and Ontoverse, which we and an other criminal entitiy described as "The Web of capabilities" and "The Universe of capabilities".]", "This includes commenting on pictures sent by friends, thanks to its use of image recognition algorithms. [This was reported, because it is another essential element of our OS, as we explained in more detail in the OntoLix and OntoLinux Website update of the 13th and 23rd of April 2016 for example.]", "[...] there were new details about a forthcoming virtual reality feature called Daydream. [This was mentioned, because of our Ontoverse. In the Clarification of the 16th of April we explained some artistical aspects of it referencing a lucid dream.]", "[...] provides a set of specifications that [VR] devices must meet [...]", "Daydream also includes a reference design for a VR headset mount - into which a variety of smartphones could be fitted - and a controller - a handheld device featuring a trackpad and two buttons. [See the case of the company Google above for slightly more detailed comment.]", "The firm also announced an upgrade to its smartwatch operating system [...] "Having learned lessons from the first generation, Google and partners will hope 2.0 will kick start wearables adoption and usage." [So what is really important here? Firstly, the fact that Google failed with its attempt to steal the hardware and software of our business unit iRaiment the second time after that Augmented Reality (AR) device Google Glass. Secondly, the fact that the journalist is promoting that special variant of a Linux kernel based operating system, because they all know that the wearable devices of our business unit iRaiment are much superior.]", "The biggest cheer, mind you, wasn't for any of the new products. Instead, it was news of a fresh range of emoji depicting female professionals that drew delight from the audience here. [Besides this funny fact, we can see here again another promotion of a product of that company. But that the heads of the figures are most potentially illegal copies of the heads of the Playmobil figures was not reported to the public.]", "Rather than making users install an additional app each time they want to access a new service, the firm wants to make it possible to quickly download just the code needed to carry out a specific task. "As a developer... you'll modularise your app and Google Play will download only the parts that are needed on the fly." [As we already said before, this is nothing else than the executing Java code on the client side. See also the related explanation on the webpage of the Ontologic File System (OntoFS) component on the website of OntoLinux, Ontonics, OntoLix and OntoLinux Further steps of the 2nd of May 2016, and the presentation OS is ON of the 9th of May 2016.]", "The idea echoes the Scopes found in [another defrauding company] 's smartphone OS [...] [This statement was solely made to lead the public away from our Ontologics OntoLinux with its OntoScope component.]", and "Analysts had mixed feelings about the proposition. [...] "When I think about Android Instant Apps, why is the first thing I think of [a] security panic?" [Obviously, the criminal journalist(s) want(s) cause distrust to the public, because both the media and Googl do know that trust is an essential element of our original and unique OS and that we are able to provide it, as promised.]".
    Again a serious criminal act conducted by at least one member of the news staff of the British Broadcasting Corporation (BBC) has been uncovered, documented, and archived.
  • The Guardian: As not expected otherwise, one of its criminal journalists acted like the criminal news staff of the public-law broadcaster British Broadcasting Corporation. That said, its marketing story including the claim of being independent seems to be written by the Brothers Grimm. We quote the related report: "[...] sort through dog pictures using voice commands [...] [As we explained in the cases before, this is an essential element of our Ontologic System (OS).]", "[...] to build an artificial intelligence that hold consumers' hands as they navigate the real world [...] [We understand this as a reflection of the contents of the Clarification of the 16th of April 2016.]", "The difference, Google argues, is that given the company's 17 years of work cataloguing the internet and physical world [...] [Since 17 years the datakraken is collecting and using data that do not belong to it and in this way has become a giant threat for every free society. This raises the questions if on the one hand these data collections include spying out our house and on the other hand if that statement was a related confession and reaction to our comments "Was glaubt man wohl, was hier in unserem Haus [...] seit mehr als 17 Jahren passiert?==What are they thinking, what is happening in our house [...] since more than 17 years?", [C.S., Comment Ja, und?==Yes, and?, 9th of May 2016] and "[... antisocial entities] are knowing it and are working together against C.S. since at least 17 years [...]", [C.S., Comment Ah, and yes, the incompetent entities ..., 12th of May 2016]. Was this the confirmation that Google is indeed our company?]", "And since [the company] makes software for smartphones, smartwatches and old-fashioned computers, [the company] says people will be able to have one conversation with multiple machines. [This process migration and Natural Language Processing (NLP) based functionality is again an original and unique respectively essential element of our OS.]", "[...] the company also announced designs for an updated virtual reality headset with a hand controller and a new messaging app [...], that would also rely on [the company]'s machine learning tools. [Again, we have here essential elements of our OS, which are described as being separated on the one hand, but on the other hand integrated by the company.]", ""We think of the Assistant as an ambient experience that expands across devices," Pichai said. "Humans can achieve a lot more with the support of [artificial intelligence] assisting them." [Obviously, we have here the OntoBot software component as well as a suggestion in the direction of the Ontoverse of our OS.]", "Companies such as Google have been tinkering with digital assistants for years, but no one has quite made all the pieces work together seamlessly yet. [For sure, this statement is a lie, because our OS was created to provide exactly these components and functionalities, and their seamless interplay. We mentioned this attempt of ignoring our works and that criminal misleading of the public already in the cases of the company Google and the broadcaster British Broadcasting Corporation. The essential elements of our OS are handled separately, but then the integration of our OS, which is an important aspect of its creation process (see again the Clarification of the 16th of April 2016, is suggested, discussed, and so on in conjunction with those defrauding companies.]".
  • Arbeitsgemeinschaft der öffentlich-rechtlichen Rundfunkanstalten der Bundesrepublik Deutschland: We waited until 08:30 UTC+2 respectively more than 4 hours longer before we made a rest, but the report came at 08:51 UTC+2 despite the real report was broadcasted on 06:39 UTC+2 and the misleading discussion followed at around 06:42 UTC+2. As not expected otherwise by us, this was done again to increase the time it is not commented by us.
    We reported about this dirty trick of the public-law broadcaster several times in the past. Alone the einleitende sentence is enough for proving its manipulating and lying nature: "Google hat seine neuen Visionen für die Zukunft vorgestellt und will damit der Konkurrenz Paroli bieten.==Google has presented its new visions for the future and wants to to the competitor in this way". This was copied from the webpage Bilanz of the website of Ontonics and from the slogan of our OntoLab, The Lab of Visions.
  • Time Warner→Turner Broadcasting System→Cable News Network: see the other media companies and broadcasters above
  • Bloomberg: see the other media companies and broadcasters above
  • Massachusetts Institute of Technology, Technology Review: see the other media companies and broadcasters above
  • Advance Publications→Condé Nast→Wired: see the other media companies and broadcasters above
  • AOL→TechCrunch: see the other media companies and broadcasters above
  • Vox Media→The Verge: see the other media companies and broadcasters above
  • Gawker Media→Gizmodo: see the other media companies and broadcasters above
  • Marquard Media Gruppe→Computec Media→Klaß & Ihlenfeld Verlag→Golem Media: We have not read the related report, but this is not needed at all due to the experience made in the past.

    In relation to the media, C.S. is considering since several months a lawsuit in the U.K., B.R.D. or F.R.G., and U.S.A. due to this obsessive attitude, including stalking and mobbing in the World Wide Web.

    Checkmate


    20.May.2016
    Ontologic Web Further steps
    We are very pleased to announce our next Ontologic Web (OW) service platforms for online:

  • advertising,
  • banking
    • paying,
    • lending,
    • leasing,
    • funding,
    and
  • insuring,

    with which we are redefining social capitalism, also known as social market economy.

    The web you can trust.
    The reality you can trust.

    Ontologic Web and Ontologics.info Further steps
    We can give the extremely exiting information that we have added our:

  • Search, Find, and Information (SFI) engine Ontologics.info based on our Ontologic System (OS) architecture.

    as our next Ontologic Web (OW) service platform.

    See the Ontologics.info Further steps of the:

  • 26th of August 2013,
  • 13th of September 2013,
  • 27th of September 2013,
  • 29th of September 2013,
  • 26th of August 2013,
  • 17th of November 2013,
  • 8th of August 2015,
  • 27th of September 2015, and
  • 29th of September 2015,

    to get an overview about our SFI and also the related:

  • Clarification of the 28th of August 2013,
  • Ontoscope Further steps of the 1st of November 2013,
  • Ontonics and Ontologics.info Further steps of the 27th of September 2015
  • Ontonics and Ontologics.info Further steps of the 9th of November 2015, and
  • OntoDroid Further steps of the 10th of January 2016.


    21.May.2016
    Ontologica, Ontologico, Ontologics
    "Quis custodiet ipsos custodes?==Who will guard the guards themselves? Who can watch the watchmen?", [Juvenal, Satire VI, lines 347-348, and O (for Oxoniensis==relating to Oxford, Oxonian), lines 29-33]

    Problema
    A problem that arises directly when working on the verification of systems, specifically of software systems such as operating systems, is this question directly connected to the quotes: Who verifies the verifier (prover, reasoner, or/and checker), that verifes a system?
    When we worked on The Proposal and later on verified microkernels around the year 2000 and the Ontologic System (OS) in the following years, we surely asked us this question as well and saw directly that the problem is highly complex, and might even have no solution due to the special requirements a system must provide or just only incompetent programming.

    Demonstratio
    In the following years we answered this question with an elegant solution, which comprises the following measures:

  • The first measure of us has been provided by softbionics and can be seen with the whole sections Formal Modeling and Formal Verification of the Links to Software webpage: Diversification.
  • The second measure is the use of a Total Quality Management (TQM) system with a regulatory cycle comprising at least the steps planning, assurance, control, and improvement.
  • The third measure is a procedure that works as follows:
    • The TQM system is used to bootstrap our Ontologic System (OS) beginning with our Zero Ontology O#.
    • As many as possible and needed of the diversified verifiers are applied on the OS part of interest.
    • The results of the different verifiers are compared.
    • Optionally the reflective property of the OS is used to correct or improve itself, specifically the
      • basic functionalities,
      • verifiers, or/and
      • part of the OS being verified.
    • In each run the
      • hypothesis is proven or disproven,
      • axioms or theories are deduced, or
      • the model is validated.
      And
    • A new iteration of the TQM cycle is started until at least as many experiments, tests, or verifications are conducted to satisfy the (empirical) probability requirements.

    Q.E.D.
    Quod Erat Demonstrandum==What was to be demonstrated; Which is what had to be proven; or The very thing it was required to have shown.

    Supplementum

    The third measure is based on the works of Roger Bacon, Francis Bacon, René Descartes, et al. and needs a little more explanation.
    If a scientist wants to verify, refute, or validate a model, theory, or new hypothesis, she or he must guarantee or prove that an experiment always provides the same result no matter where it is conducted in the observable universe. In addition, the experiment must be repeated a certain number of times to be accepted by the scientific community. This certain number of times is defined by the principles of probability theory and statistics, specifically the statistical hypothesis testing and the approaches that are related with the multiple comparisons problem, the Law of Large Numbers (LLN), the Bernoulli process, and the p-value and E-value.
    Prominent randomized experiments are the lady tasting tea experi- ment and the coin flipping. Eventually, the very low probability to always get only head or only tail in a row when a coin is flipped 20 times, is enough in this observable universe to trust an experiment and to prove a hypothesis as a theory.

    This common sense in science is one of the reasons for the listing of more than 25 different items in the section Formal Verification, that are used for verifying a system. In additon, the OS can even combine existing verifiers and generate new verifiers.

    Our Zero Ontology O#

  • is an ungrounded sign,

    but also

  • is directly connected with the fractal logo of Ontologics,
  • can be interpreted as an
    • all uniting geometrical→fractal zero pulse and
    • origin of the fractal geometry and ontology,
    and
  • avoids the definition of time and space on the one hand, because it exists, but also represents a foundation of the time and space on the other hand.
    (see also for example the end of the OntoLinux Further steps of the 21st of August 2010, the Investigation of the 5th of October 2009, and the Clarification of the 29th of April 2016 in the case of the sign O#, and also Peirce's semiotics and the "Isomorphism of sign, logic and language", all the other related documents in the section Systems Theory, Complex Systems, Cybernetics of the Literature webpage in the case of the semiotic and symbolic aspects).
  • We use an iterative and incremental approach when conducting the single steps of the circular TQM (see the documents about incremental, infinite state spaces, and infinite(ly-many) valued logics on the webpages Literature and Links to Software).

    In this relation, we would like to mention that the

  • main subject is to watch the watchmen,
  • single experiments respectively verifications all provide results in a correct, plausible way in the sense of mathematics and logics,
  • fact that 'Stars don't lie' is applied and correspondingly the constellations are set in relation to the E-value, p-value or whatever the probability theory provides as result (see the section Physics of the Links to Organization webpage and the Investigations ::Robotics of the 11th of April 2009), and
  • principles, constants; and theories of Werner Heisenberg (e.g. uncertainty principle in quantum mechanics), Max Planck (e.g. Planck constant), and Co. are set in relation to the E-value, p-value or whatever the probability theory provides as result to convince the last critics, and also
  • verification can also be interpreted or applied as reasoning and consequently as learning and processing of our OS (see also the webpage Overview once again and the OntoLix and OntoLinux Further steps of today).

    The TQM cycle of this original and unique approach is run

  • continously, which makes this approach a dynamic universal theory of everything in the end or as we call it The Calibre/Caliber, and
  • so many times and so thoroughly that we still can say: We do not dice.

    Almost surely anything goes.

    But seriously, is this all real with the guards, watchmen, O, and the lines 29-33? Fascinating.

    Hopefully, this was entertaining.

    Ontonics Further steps
    We have begun with the integration of two of our already totally outstanding electric energy storage devices. If successful, then the resulting new solution will further increase our leadership and strengthen our domination in the field of mobile computing, including mobile devices and mobile web services.

    OntoLix and OntoLinux Website update
    We added to the section Formal Verification of the webpage Links to Software (alternative sections Logics and Abstract Machine of the webpage Literature) the link:

  • University of Manchester, Department of Computer Science, Dmitry Tsarkov and Ian Horrocks: DL Reasoner vs. First-Order Prover [PDF]

    For our fans and readers, who are not interested in the theorectical foundations, we would like to give the additional informations that the First-Order Logic (FOL) is an elementary classical logic and the Description Logics (DL) is a family of formal knowledge representa- tion languages, that are used in relation to ontology-based systems and the semantic (world wide) web, and correspondingly provide the basis for e.g. the Web Ontology Language (OWL).

    We can see here another reason for the many items listed in the section Formal Verification besides diversification, experiment proving, and guarding the guards, because

  • Automated Theorem Proving (ATP) is a subfield of automated reasoning and (mathematical) logic, and
  • model checking can be used as rule-based inferencing, and
  • we also use the functionalities of the theorem provers and model checkers as reasoning and inference systems and vice versa, like it is described in relation to The Understanding Computer (TUC), which uses a theorem prover implemented in the logic programming language Prolog to realize common sense logic (see also Ontologica, Ontologico, Ontologics above).

    Furthermore, because the original and unique work technique of C.S. applied for the creation of the OS (see the Clarification of the 16th of April 2016)

  • does not only integrate theoretical concepts and paradigms, and related single systems, but also their theoretical foundations and functions, and additionally
  • comprises the reflection and self-optimizing features,

    our OS provides much more safety, security, and reliability, and hence trust, as well as computational and cognitive capabilities, and for sure velocity, compared to other systems.

    TaaaDaaa!!!

    Investigations::Multimedia, AI and Knowledge management

  • Google: As we said two days ago, the company Google has capitulated to the protection of the copyright for the original and unique multimedia work of art series Ontologic System of C.S. and contiuned with its total war against C.S. and our corporation by reflecting virtually every step and work we make. In the cource of this, it collaborated with the company Softbank (see its case below) yesterday to use the Linux kernel based operating system Android of Google, with which it is already infringing our copyright (for the latest evidences see its case in the Investigations::Multimedia, AI and Knowledge management of the 19th of May 2016), together with the robot of Softbank. Doubtlessly, this step provides more undeniable evidence that Google and Softbank are infringing our copyright, because now the illegal plagiarism Android is combined with a robot, an emotional recognition system for an artificial agent, and a robot with such an emotional recognition system.
    We also do not think that it was just a happenstance that this collaboration was made public on the same day we announced our online advertising and banking service platforms of our Ontologic Web (OW) in the Ontologic Web Further steps of the 20th of May 2016 (yesterday).
  • Softbank: Already some years ago, the company bought the manufacturer Aldebaran, which has copied our works in the field of humanoid robots in the last 15 years. The latest robot is a torso with a head of a humanoid robot mounted on a wheeled mobility platform and a tablet computer strapped to the robot's chest. The company claims that its robot is a service robot, but it cannot lift and carry anything. The claimed main feature of the robot is the ability to perceive human emotions. When taken this few points together, then it becomes already obvious, that the Rob-E Maxifig/ Macrofig Humanoid Robotics Platform of our business units Ontonics and Roboticle operated by our Ontologic System (OS) OntoLinux is copied (see the section Robotics on the webpage Links to Hardware for some links and images).
    Because the company Softbank failed with its initially strategy to provide an own proprietary operating system, sell applications, and copy our OS in a later stage of development on the one hand and on the other hand the company Google infringed our copyright in rela- tion with the needed functions of our OS, the company Softbank changed its strategy and collaborated with the company Google. For some more informations about this collaboration see also the investi- gative case of Google above and the investigative case of the manipulating and lying broadcaster British Broadcasting Corporation below.
  • British Broadcasting Corporation: Well knowing that Google is already infringing our copyright in relation to the multimedia work of art series Ontologic System (OS) of C.S., it reported about the collaboration of the companies Google and Softbank in the field of robotics (see the investigative cases of the companies above). We quote the related report to show how once again at least one of its criminal journalists of that broadcaster acted in an illegal way to mislead the public and damage C.S. and our company: "[...] the robot that has been trained to "perceive" human emotion, is opening up its platform to [the illegal OS clone] Android developers [...] [See the webpage Emotion Machine Architecture on the website of our OS OntoLinux.]", "Maker [the company] is hoping that it will spur new apps and new capabilities for the humanoid robot.", "[The illegal OS plagiarism] Android will run on a tablet strapped to the robot's chest.", "Neither Google nor SoftBank has disclosed what sort of business deal they have struck and it is unclear if the robot will take advantage of new features such as the recently announced artificial intelligence Google Assistant. But it will almost certainly offer Google some degree of control over the robot [...] [Despite that it is an artificial intelligence assistant suddenly, that suggestion also consti- tutes the criminal activity, because it was said solely for mobbing C.S. and damaging our business. In a following quote it becomes obvious that Softbank indeed needs exactly this conversational agent system or assistant of Google.]", "It was designed to under- stand emotions and mimic human body language[, also called gestures. See the related informations about the multimodal user interface and artificial agent functions of our OS on the website of OntoLinux.]".
    We also quote a report that has been publicated last year for the same criminal reasons: "[The robot] can remember faces and is pro- grammed to recognise human emotions.", ""[...] conveying human- like gestures - but the way it detects human emotions might be over-hyped [...] "I think that they are over-claiming on its speech functions, too. The conversations are very one-sided, and it asks a lot of questions"[, said an interviewed researcher. As we already said to a quote above, the company Softbank wants to use the improved conversational assistant of Google's illegal OS plagiarism Android.]", ""There is talk of it being an assistant, but it can't lift anything, so it is really a very limited companion," [a researcher] said.", and "But the use of robotic assistants has not always gone well, according to [the interviewed researcher]. "There is a big fuss when these things are launched in Japanese care homes, but go back after a year and they are in a cupboard," he said. [In fact, this was always the case in the past, because in the field of robotics, including Google and Uber, are always marketing lies since more than 2 decades.]".
    By the way: Softbank sells its robot for around 1,800 U.S. Dollar, but "customers will also have to pay monthly service fees of up to [216 U.S. Dollar] and sign up to a three-year contract", which sums up to around 9,576 U.S. Dollar for that useless plastic thing.
  • The Guardian: For sure, that manipulating and lying media com- pany could not resist to mislead the public with a report about further defrauding activities by the company Google in relation to the original and unique multimedia work of art series Ontologic System and Ontoscope of C.S. We quote the next related report: "[...] company showed how it plans to get more people using virtual reality in the coming year by baking the technology into newer smartphones [...] [The references our Ontoscope concept used with different devices including Virtual Reality (VR) goggles.]", ""We're really obsessed about this idea of democratizing VR," [a responsible clerk of that company] said on stage. [That is a lie, as our fans and readers on the one side, and that company Google and that media on the other side know very well, because Google represents a cen- tralized, parasitic, non-jews descriminatiing, anti-democratic, evil, and despotic system that does not care about the rights of other entities. The only obsession is everything related with the works of C.S.. Obviously, the The Guardian also quoted that nonsense, be- cause we said that "we are redefining social capitalism" with our Ontologic Web in its Further steps of the 20th of May 2016 (yester- day) and also to increase its provocation even further in this way.]", and "Repeatedly, Google executives Thursday talked about how they were discovering how to make virtual experiences just as satisfying as their physical counterparts. The key, they said, is giving people a controller that allows them to use their hands to manipulate the real world. [This was said in relation to our Clarification of the 16th of May 2016 that is about our Ontoverse. Said this, we have provided with this quote of that statement given by a third party the next evidence for our claim that the company Google has infringed our copyright in relation to our OS.]".
    The media company also publicated another report about another essential element of our OS that the company Google has copied.
    What we have proven in the last months in relation to the media company The Guardian is the fact, that it only reported about the Edward Snowden scandal to cheat the public in relation to its true, disgusting agenda.

    What the industries and the political entities lobbied and bribed by them do with this obsessive and aggressive reflection is nothing else than the illegal interference and even hindrance of C.S. to take the The Universal Right to Free Expression, which for sure is not an exclusive right of humans in this universe on the one hand and on the other hand should be a very serious warning for every social competent democrat.

    C.S. is evaluating if it is already time to switch off the website of the operating systems Android of Google and Windows of Microsoft, and related services, as well as products operated with these systems in North America, Europe, and some parts of South America and Asia for at least several weeks but most potentially several months with a preliminary injunction. After this the whole world will know how evil Google, Microsoft, the other member companies of the Jewish IT-cartel, media cartel, and banking cartel, as well as the so-called leaders of the free world, public-law broadcasters, and so on really are. This will be a giant fun to realize a New World Order (NWO) in this way. :D


    22.May.2016
    OntoLix and OntoLinux Further steps
    Due to serious criminal foul play we had to remove the following link from the section Informatics of the Organizations webpage:

  • The Association for the Advancement of Artificial Intelligence (AAAI).

    The members had more than enough time to behave correctly and reference our work. But instead, it ended in a permanent copyright infringement.

    iRaiment Further steps
    We have added some new models and variants of existing models to complement our various smartwatch series.
    iRaiment Ontoscope iR Bn0021iRaiment Ontoscope iR Bn0021
    © Braun and iRaiment

    The images do not show the final accumulator band or battery band, which is thicker, looks similar to the wristband of the model iR 3O3, and has a different clasp.

    The following images show also our Light Diamonds with an angular shape and placed on the wristband as well (see the related Further steps of the 7th of April 2016, which gives us a nice impression how their color play informs and fascinates.
    We also like our smartband with Light Diamonds matching the smartwatches.

    iRaiment Cyberpearl Light Diamond
    iRaiment Subspacer I Cybergraph Light Diamond
    © Rolex, :(, and iRaiment

    In addition, we would like to present our new smartwatch model 24, which is shown here in two different Light Diamond variants.

    iRaiment 24 I Light DiamondiRaiment 24 I Light Diamond Super Bling-Bling
    © Patek Philippe, :(, and iRaiment

    In the last two images we show a Cybertank II Light Diamond and the new smartwatch model Cybertank III also in the Light Diamond variant.
    iRaiment Cybertank II Light DiamondiRaiment Cybertank III Light Diamond Super Bling-Bling
    © :I and iRaiment

    More bling-bling has only the Queen.


    23.May.2016
    Comment of the Day
    Smart Oyster™
    Cyberpearl™

    Ontonics Further steps
    Today is a very great day, because we would like to inform the public that we are considering to add a very special person to our team: Ingemar Stenmark.

    We thought a long time after David Bowie died recently, who else was an idol of C.S.. But then we remembered Ingemar again as one of the 3 or 4 most influencing persons, specifically when it comes to the real important values in life.

    At first, we thought about asking him to become a brand ambassador for our business unit iRaiment or an executive officer for our vast amounts of sports equipment. But then we concluded that another position would be more appropriated, such as the Chief Governance Officer (CGO). In the end it would not matter what he does as long as he could take part in the journey.

    iRaiment Further steps
    Yesterday, we have seen too late that the new minimalistic smartwatch model had only a crown. That said, we would like to deliver in addition the Cybergraph variant today.
    iRaiment Ontoscope iR Bn0021 Cybergraph
    © Braun and iRaiment

    We also worked on a variant of the smartwatch model Subspacer I Cybergraph Light Diamond with a narrower bezel and a larger display.
    iR Subspacer I Cybergraph Light Diamond
    © Rolex and iRaiment


    24.May.2016
    OntoLix and OntoLinux Further steps
    We applied the features of our Ontologic System (OS) architecture to create a Magic Mirror, that is a Multimodal Multimedia User Inter- face (M²UI) with an intelligent/cognitive conversational avatar of a user or more precisely the Digital IDentity (DID) of the user.
    For sure, fantasy figures and (fictional) characters (for example Snow White or the Evil Queen) as well as real (role) models can be used as avatars as well, though this is an old application like the Holomer, which were always included by design in the software part of our original and unique multimedia work of art series OS, specifi- cally with our OntoBot + OntoScope, as well as OntoBlender compo- nents (see for example the sections Natural Language Processing, Intelligent/Cognitive Agent, Visualization, and Human Simulation/ Holomer of the Links to Software webpage).


    25.May.2016
    Ontonics Further steps
    We developed a new chip series, which will start a ground breaking transformation. Revolutionary.

    OntoLix and OntoLinux Further steps
    We worked on our Ontologic System 2.0 and it looks great.

    Ontologic Web Further steps
    We have hooked into our Ontologic Web the rest of our:

  • cloud computing
  • Peer-to-Peer (P2P) Search (P2PS) and Find (P2PF)

    and also

  • Social Web Services

    paradigms, platforms, and environments.

    The web you can trust.
    The dream you can trust.
    The reality you can trust.
    Who else?

    iRaiment Further steps
    We are researching the right display sizes of our smartwatch series Double Watch.
    The image below shows another potential design, which also proves that the design of the Double Watch No1 (see the Further steps of the 20th of March 2016) is not based on the smartwatch design of another company. As if we are in need or waste our time to create plagiarisms.
    Maybe this design becomes a new model of the Double Watch series.
    iR Double Watch Alternative Design
    © Seiko and iRaiment

    In addition, we would like to show a sketch of our new smartwatch of the Double Watch series.
    The image does not show the final design. For example, the screws are too large and should be sunken, and the display should flow in the sapphire glass.

    iR Double Watch Sketch
    © :I and iRaiment

    Yes, we do confess: We are watch freaks and geeks.

    Roboticle Further steps
    We thought about one of our relatively new concepts and several ways of its realization, and even selected one of the best options. But somehow, we have not completed the development of this solution.
    Today, we thought about it again and saw an interesting detail that could become the decisive element to make this solution a revolution. Many competitors will rub their eyes.

    Investigations::Multimedia, AI and Knowledge management

  • Wikimedia Foundation→Wikipedia: We found another manipulated webpage on the so-called internet encyclopedia Wikipedia, which also applied another defrauding technique by searching and referen- cing research papers of cheating entities deliberately.
    Furthermore, the strategy and pattern behind that new manipulation shows once again, that it is connected with the interests of the founders of Google, Microsoft, Facebook, and Wikipedia.

    The Wikipedia was an idea, which was just too good to be true, like that old internet.

    Luckily, we already have the pattern of that massive manipulation of the Wikipedia and now we are able to automatically sort out all webpages that contain wrong or even illegal informations for the cold start of our OntoWiki.


    26.May.2016
    Webpage content reloaded
    We have seen that the images of the iRaiment Further steps of the 20th of March 2016 were not available for some days or weeks. We do not know what happened, but the images were shown on that day on the one hand and can be seen again on the other hand.

    Ontologic Web Further steps
    Needless to say that we have added the app(lication) of our:

  • Taxisharing

    service to our range of Ontologic Web (OW) services.

    In addition, we are working on further synergies between our products and services.

    iRaiment Further steps
    While we were finishing the sketches of the designs of our Double Watch smartwatch series shown yesterday, we designed two variants of the next model, which are the extrema that limit the design space of this model.
    We have not made the last decision about the final design or designs, but we got a much better feeling for the form, dimensions, and proportions, and also can confirm already that it looks very elegant not to say great on the wrist.
    iR Double Watch No4 DesigniR Double Watch No4 Design
    © :I and iRaiment

    This model could also be called Ciel et Terre Digital or Ciel et Terre Numérique, because it has a similar style of the housing like the Ciel et Terre No1 shown in the Further steps of the 23rd of March 2016.


    27.May.2016
    Ontonics Further steps
    We continued the work on two related systems. With this next development step we could solve a foundational problem of their whole concepts in an astonishing elegant way.
    Now, we can continue with the realization of the systems and with strengthening our world domination. :D

    We also upgraded our SwarmSat satellite network system by substituting the CubeSat satellites with small satellites (see the Further steps of the 16th of August 2015, 18th of August 2015, 8th of September 2015, and 10th of November 2015)

    OntoLix and OntoLinux Website update
    *** Work in progress - Selection of sections missing and better formulations of text ***
    We added to the section Logics of the webpage Literature:

  • University of California at Santa Cruz, Stanford University, and University of Cincinnati, Alan van Gelder, Kenneth A. Ross, and John S. Schlipf: The Well-founded Semantics of General Logic Programs
  • Università di Pisa, Dipartimento di Informatica, and Universidade Nova de Lisboa, Faculty of Science and Technology, Federico Banti, José Júlio Alferes, and Antonio Brogi: Well Founded Semantics for Logic Program Updates
  • Technische Universität Wien, Institute für Informationssysteme, Gerhard Brewka: Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences

  • University of Texas at El Paso and Stanford University, Michael Gelfond and Vladimir Lifschitz: The Stable Model Semantics for Logic Programming
  • Helsinki University of Technology, Department of Computer Science and Engineering, Keijo Heljanko and Ilkka Niemelä: Smodels: An implementation of the stable and well-founded semantics for normal LP
    (see OntoBot)

  • Josée Júlio Alferes, Antonio Brogi, João Alexandre Leite, and Luís Moniz Pereira: Evolving Logic Programs
  • Josée Júlio Alferes, Antonio Brogi, João Alexandre Leite, and Luís Moniz Pereira: Logic Programming for Evolving Agents
    The points are that with "Well Founded Semantics for Logic Program Updates" some of these authors provided another interesting work on the one hand and on the other hand these papers were not a source of inspiration but only a confirmation of what we had already created on the basis of the Stable Model Semantics (SMS), Well Founded Semantics (WFS), and Answer Set Semantics (ASS) with our OntoBot software component and its direct connection to related techniques and technologies.

    In the section Logics (alternative sections Abstract Machine or Formal Verification of the Links to Software webpage) we added:

  • State University of New York, Research Foundation, Luis Castro, Terrance Swift, David S. Warren, and contributors: XASP Answer Set Programming with XSB and Smodels
    (see SimAgent and Smodels in OntoBot and also F-OWL)
  • Texas Tech University, Computer Science Department, Marcello Balduccini and Michael Gelfond: Logic Programs with Consistency-Restoring Rules

    In the section Formal Verification or Multiparadigmatic Computing or hybrid AI or so we added:

  • University of California, Santa Barbara, Department of Electrical and Computer Engineering and Department of Computer Science, Y.S. Ramakrishna, P.M. Melliar-Smith, L.E. Moser, L.K. Dillon, and G. Kutty: Really Visual Temporal Reasoning
    We already have a reflective real-time agent-based operating system and graph rewriting systems with various semantics, extensions, etc..

    In the section Logics or Abstract Machine we added:

  • Simon Fraser University, Ecole Polytechnique Fédérale de Lausanne, School of Computer and Communication Sciences, University of California at Berkeley, Brandenburg Technical University at Cottbus, Software Systems Engineering Research Group, and contributors: CrocoPat
    • Dirk Beyer: Relational Programming with CrocoPat
    • Dirk Beyer, Andreas Noack, and Claus Lewerentz: Simple and Efficient Relational Querying of Software Structures

    "CrocoPat is efficient, because it internally represents relations as [B]inary [D]ecision [D]iagrams [(BDD)], a data structure that is well-known as a compact representation of large relations in computer-aided verification. CrocoPat is general, because it manipulates not only graphs (i.e. binary relations), but n-ary relations. [...] Its relational manipulation language (RML) [...] is based on predicate logic and is therefore similar to Prolog. However, RML does not follow the paradigm of logic programming, it is rather an imperative programming language. Instead of being declarative and inference-based, it is operational and executes the program statement by statement."
    Here we have another time the multimodal multiparadigmatic multi-dimensional character of our OS, but in a different context.
  • Stanford University, Computer Systems Laboratory, Monica S. Lam, John Whaley, V. Benjamin Livshits, Michael C. Martin, Dzintars Avots, Michael Carbin, Christopher Unkel: Context-Sensitive Program Analysis as Database Queries
    "In this framework, all program information is stored as relations; data access and analyses are written as Datalog queries. To handle the large number of contexts in a program, the [deductive] database represents relations with binary decision diagrams (BDDs). The system we have developed, called bddbddb, automatically translates database queries into highly optimized BDD programs. [...]
    Also, we evaluate variable orderings based on running times rather than BDD sizes; smaller BDDs do not necessarily mean faster BDD operations. bddbddb employs active [machine] learning to maximize the value of each trial run [23 [Learning cost-sensitive active classifiers]]."

    Boolean functions are canonically represented by a multi-rooted Directed Acyclic Graph (DAG). The Binary Decision Diagram (BDD) data structure is used as a susbstitute for relational databases (see e.g. SQL) and deductive databases, inference engines, and reasoners (see e.g. Datalog and Prolog). Therefore, we used them for example as a substitute for Resource Description Framework (RDF) triple stores (see e.g. the related query language SPARQL Protocol and RDF Query Language (SPARQL)) and f-logic or frame-logic based Web Ontology Language (OWL) databases, inference engines, and reasoners (see e.g. XSB based on Prolog, Flora-2 relying on XSB, and F-OWL based on Flora-2) as well.
    Furthermore, graph transformations can be realized with such relational and deductive databases respectively their BDD based substitutes, so we got a homogen system of logic paradigms, graphs, databases, and graph-based functionalities.

    In this relation, we would like to give the reminders that our

  • OntoBot already provides automatic incremental graph transformation in relational databases with the specification and rapid prototyping language PROGRES, which has a purely textual notation and a combination of visual and textual notation, which again is the reason why adding rewrite rules respectively rewriting logic in the OntoBot was already enough to show the foundational concept of our OS (see the Website update of the 12th of May 2016), and a uniform approach to inter-model transformations (see the Website update of the 13th of May 2016), and
  • OntoBase and OntoFS components (see also the Website update of the 12th of May 2016).

    In the section Formal Verification (alternative sections Logics and Abstract Machine of the webpage Literature) we added:

  • University of Utah, Salt Lake City, Department of Electrical and Computer Engineering, Sivaram Gopalakrishnan, Vijay Durairaj, and Priyank Kalla: Integrating CNF and BDD Based SAT Solvers
    (see also Well-Founded Semantics (WFS) and Bounded LTL Model Checking with Stable Models)
  • Carnegie Mellon University, Randal E. Bryant: Binary Decision Diagrams and Beyond: Enabling Technologies for Formal Verification

    We added to the section Formal Verification of the webpage Links to Software:

  • Helsinki University of Technology, Department of Computer Science and Engineering, Keijo Heljanko and Ilkka Niemelä: Bounded LTL Model Checking with Stable Models
    "The key problem is that some Boolean functions do not have a compact representation as BDDs and the size of the BDD representation of a Boolean function is very sensitive to the variable ordering used. Bounded model checking [1 [Symbolic model checking without BDDs]] has been proposed as a technique for overcoming the space problem by replacing BDDs with SATisfiability (SAT) checking techniques because typical SAT checkers use only polynomial amount of memory."

    With this work the fields of Linear Temporal Logic (LTL), Petri net, (bounded) model checking, and stable model or answer set come together (see the related links in the sections Formal Verification and Intelligent/Cognitive Agent).

    In the section Formal Verification we added:

  • Gianpiero Cabodi, Sergio Nocco, and Stefano Quer: Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals
    This paper combines methods based on Binary Decision Diagrams (BDDs) and Boolean SATisfiability (SAT) Solvers to increase the efficiency of SAT-based Bounded Model Checking (BMC). This combination reduces the number of conflicts up to more than 100×, and the verification time up to 30×.
  • University of Colorado at Boulder, HoonSang Jin and Fabio Somenzi: CirCUs: A Hybrid Satisfiability Solver

    (see also the OntoLix and OntoLinux Further steps of the 21st of May 2016)

    All the works referenced in the Website updates of 23rd, 24th, 26th of April 2016, ... and this month constitute only the foundation or the starting point, where we began to add all the real fun stuff, for example

  • Dynamic Logic Programming with Multiple Dimensions,
  • Dynamic Logic Programming Agent Architecture Minerva (see the section Intelligent/Cognitive Agent of the webpage Links to Software),
  • this and that, and so on, and for sure the features of our reflective Ontologic System (OS).

    For example, based on the work described in the document "Knowledge Bus: Generating Application-focused Databases from Large Ontologies", which was referenced for this reason since the beginning of our OS, we also combined Well-Founded Semantics (WFS) and the other semantics with extended logic program updates represented by logic programming rules, also called Dynamic Logic Programs (DLPs), and (graph) rewrite rules, as well as dynamic preferences by the combination of Smodels, SimAgent and agent-based or agent-oriented systems, and were already beyond the capabilities of for example Polyscheme and Polylog with the combination of different inference engines and the FocusLoop algorithm, and many more advantages. The result was our OntoBot software component.

    Smodels can also be used for computing answer sets, and other interesting works are included in the OntoBot just right from the start of our OS.
    Furthermore, we listed the point "well-structured and -formed" on the webpage Overview, because we are already discussing the syntactical side of the bridge from syntax ("the chalk on the board drawn by grammar rules") to semantic ("the meaning of the symbols drawn on the board with the chalk") and the internal of the abstract machine core. For sure, we should have added the point "well-founded" as well on said webpage, but we left it for the joy of searching and testing the intelligence of external entities, as it is the case with Well-Structured Transistion System (WSTS), which is a simple implication.

    Moreover, the trade-offs between complexity, flexibility, and efficiency on the one side and addition of extensions, expressiveness, loss of expected conclusions, etc. on the other side, which taken together describe a network of continua or a regulatory system, and the related decision-making, selection, or configuration problem, as mentioned in the document "Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences", are done automatically by our reflective OS as well.

    When we reached this point around the years 2004 and 2005, we generalized everything listed and referenced on the webpages Literature and Links to Software, including for example the various extensions of classical logics, the graph-based methods, the stable model, well-founded, and answer set semantics, and so on, etc. ... until the spring of 2006, and also decided to let the machine do the work.
    After going down to the very foundations and in this way pumping up everything, and then going up to the very essence by integrating everything, suddenly the whole construct fall together or imploded somehow and began to evolve again, so we got some new things (see again the webpage Overview): The Ontologic System (OS) with its:

  • ontologic model,
  • Caliber/Calibre,
  • Ontologic operating system Core (OntoCore (OC)) (implication added on the 28th of May 2016)
    • microkernel OntoS1,
    • verified,
    • reflective,
    • n-dimensional,
    • real-time capable,
    • capability-based,
    • virtual machine,
    • abstract machine core, and
    • system-inherent Artificial Intelligence (AI),
  • Ontologic System Components (OSC)
    • OntoBot (OB),
    • OntoNet,
    • OntoWeb, and
    • OntoVerse,
  • Ontologic Net (ON),
  • Ontologic Web (OW), and
  • Ontologic uniVerse (OV).

    By such a highly integrated and condensed system we understand now, why such a very small brain of a flying insect has so incredible capabilities.

    As we said all the time, everything was already included in and referenced directly by our OS since its official presentation. All these latest website updates are solely for proving this fact.
    In the next future, we will add some more interesting and important links and references, publicate some relevant clarifications, and then describe more features of our OS, which will prove once again that we were already there in 2006.


    28.May.2016
    Comment of the Day
    Artificial intelligence system core™
    AI system core™
    Artificial intelligence core™
    AI core™
    Artificial intelligence microkernel™
    AI microkernel™
    Artificial intelligence kernel™
    AI kernel™

    Ontonics Further steps
    Furthermore, we developed a variant of a known technology, which might create a huge impact and become a worldwide standard.

    OntoLix and OntoLinux Further steps
    We have begun to implement some undisclosed or new variants of the operating system core respectively Artificial Intelligence (AI) system core or AI microkernel of the OntoCore of our Ontologic Systems (OSs) comprising the verified microkernel OntoS1.

  • The intial variant is the proof of concept with a Linux or BSD Unix-like operating system and an estimated size of up to 50 MB.
  • A first undisclosed or new variant is an optimized variant of the initial variant with a Linux or BSD Unix-like operating system for an embedded system and a size of 5 to 10 MB.
  • A second undisclosed or new variant is a special variant of the optimized variant with an operating system based on a dialect of the programming language C or another suited programming language (see also the Further steps of the 2nd of May 2016) and a Binary Decision Diagram (BDD; see the Website update of the 27th of May 2016 (yesterday)) and a size of 1 to 5 MB.
  • Further undisclosed or new variants are special variants based on an object-relational paradigm with the Horn clause logic and the First-Order Logic (FOL) extended and represented with stable model, well-founded, or/and answer set semantics (see the work "Knowledge Bus: Generating Application-focused Databases from Large Ontologies" and "A Hidden Herbrand Theorem-Combining the Object and Logic Paradigms"), and a
    • Binary Decision Diagram (BDD) for the Datalog and the Prolog part (see the work "Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences"),
    • Boolean SATisfiability (SAT) solver instead of a BDD (see the work "Bounded LTL Model Checking with Stable Models"), and
    • Boolean SATisfiability (SAT) solver and a BDD (see the works "Improving SAT-based Bounded Model Checking by Means of BDD-based Approximate Traversals" and "CirCUs: A Hybrid Satisfiability Solver").

    "We at OntoLix, transform operating systems based on Linux into Ontologic Systems."

    A slight (semiotic) change to the operating systems concepts, design and implementation based on a different arrangement of the unbounded signs leads to a huge (semantic) impact.
    Compare also the DNA of a drosophila, a chimpanzee, and a human, see again the works "On the isomorphism of sign, logic and language", The Proposal, and OS for Parallel Inference Machines (PIMOS), keep in mind that the movie Tron: Legacy is based on espionage, reflection, and replication of our OS, O#, and C.S., and obey the modus ponens, modus tollens, and gravity. ∨ ∧ ¬ :D

    iRaiment Further steps
    We worked on a fascinating application of one of our devices and confirmed its superiority.

    Roboticle Further steps
    Together with Ontonics we have continued the development of a component to solve a problem. We estimate that the runtime of robot systems will increase significantly by 50 to 200%, as it is the case with other features of them. This development taken alone would secure our dominating position in the related market sector, if this would not be given already with the range of our other superior technologies.


    29.May.2016
    OntoLix and OntoLinux Website update

    *** Work in progress - Selection of sections missing and better formulations of text ***
    We added some more references to the webpage Literature that we missed to make in the last days or we would like to list for rounding up some fields.

    We added to the section Logics of the webpage Literature:

  • University of Texas at El Paso and Austin, Michael Gelfond and Vladimir Lifschitz: Classical Negation in Logic Programs and Disjunctive Databases

    section Logics, Abstract Machine, or Symbolic Artificial Intelligence (AI 1):

    maybe section Abstract Machine:

  • Technische Universität Wien, Institute für Informationssysteme, Universität Gießen, Institut für Informatik, and Universit&aagrave; della Callabria, Simone Citrigno, Thomas Eiter, Wolfgang Faber, Georg Gottlob, Christoph Koch, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, and Francesco Scarcello: The dlv System: Model Generator and Application Frontends
  • Technische Universität Wien, Institute für Informationssysteme, Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Christoph Koch, Cristinel Mateis, Simona Perri, and Francesco Scarcello: The dlv System for Knowledge Representation and Reasoning
    (see Smodels and Generate 'n' Test (GnT) in our OntoBot)
    The kernel language of the dlv system is disjunctive Datalog (i.e., function-free disjunctive logic programs) under the consistent answer sets semantics, extended by weak constraints. DLV, and Smodels and Generate'n'Test (GnT) support full Disjunctive Logic Programming (DLP), particularly, DLP supports also strong and weak constraints).
    GnT, which is based on a rewriting to Smodels, can also be used for Disjunctive Deductive DataBases (DDDBs), and other interesting works are included in the OntoBot software component just right from the start of our OS.
    Sadly to say, we had to stop our research, because everything we did in the years 1999 to 2006 was publicated by other researchers, which was so suspicious and after around 3 years of observing and investigating so obvious that the orchestrated attack on C.S. and our corporation by espionage and distribution of reseach and deve- lopment results to other entities, such as other companies and research institutes, has been busted. What followed is documented in our many investigations.

    section Logics or Abstract Machine:

  • Nimble Computer Corporation, Henry G. Baker: Lively Linear Lisp - 'Look Ma, No Garbage!'
    (see also C-- and Linear Temporal Logic (LTL))
    In this conjunction, we would like to add the information that the Linear Lisp Machine is also a combinator/graph reduction (abstract) machine, like the abstract machines that are commonly used for logic programming languages (e.g. Prolog, Datalog, Kernel Language (KL), XSB, and so on) and rewrite rule systems (e.g. Maude and PROGRES).
    "Other approaches to "linear-like" logic include [CH]emical [A]bstract [M]achines" (CHAM, see the webpage Literature and the Clarification of the 29th of April 2016).

    Honestly, we cannot see that there is a need for more fancy new programming languages at all, because we have created a totally generalized Multilingual Multimodal Multiparadigmatic Multimedia Programming (MP) system and a completely different universal or super programming language with the Ontologic Language Onto#, which we described in the OntoLix and OntoLinux Further steps of the 19th of May 2014, Ontonics, OntoLab, Ontologics, OntoLix and OntoLinux Further steps of the 20th of May 2014, and the Clarification of the 27th of April 2016 for example.


    30.May.2016
    OntoLix and OntoLinux Website update
    *** Work in progress - Selection of sections missing and better formulations of text ***
    We would like to give more informations about our abstract machine core and its usage, and also added the following for completeness:
    In the section Formal Verification of the Links to Software webpage we added:

  • École Normale Supérieure (ENS) de Cachan, Centre National de la Recherche Scientifique (CNRS) Unité de Recherche Associée (URA) 2236, A. Finkel and Ph. Schnoebelen: Well-Structured Transition Systems Everywhere! [PDF]
    As we said in the past already, this is the reason why we listed the point "well-structured and -formed" on the webpage Overview.

    In the section Abstract Machine of the Literature webpage we added:

  • Simon Fraser University, School of Computer Science, Hassan Aït-Kaci: Warren's Abstract Machine [(WAM) -] A Tutorial Reconstruction [PDF]
  • Institute for New Generation Computer Technology, Kazunori Ueda: Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project -
    (see the OS for Parallel Inference Machines (PIMOS))
  • Institut National de Recherche en Informatique et en Automatique (INRIA) Rocquencourt, Philippe Codognet and Daniel Diaz: wamcc: Compiling Prolog to C [PDF]
  • * Saarland University, Programming Systems Lab, Thorsten Brunklaus and Leif Kornstaedt: [Simple Extensible Abstract Machine (SEAM) -] A Virtual Machine for Multi-Language Execution [PDF]

    At this point we have to remind once again of the coherent, homogen, etc. characteristics of our Ontologic System and of using ontologies or/and logics wherever appropriated and possible all the time as part of our ontologic paradigm, as well as all the other Ontologic System features such as intelligent or even cognitive automation, which also applies for the referenced prior solutions (see for example the Flux μ-kernel Environment (Fluke) and the Knowledge Bus system and the Website update of the 14th, 16th, and 27th of May 2016).
    In this way, we developed such generic multiparadigm VMs further, as explained by quoting the work listed above for simpler explanation:
    [...] As illustrated by the downfall of UNCOL [27], it is next to impossible to design a single intermediate language to accomodate all programming languages. As a consequence, we do not define a concrete execution unit in [Simple Extensible Abstract Machine (]Seam[)]. Instead, all control structures interpreted by the execution unit are parameterized over the actual execution unit. Seam defines an abstract task manager interface, which comprises the necessary functions for interpreting stack frames: This includes executing a task, handling exceptions (or raising them to the next stack frame), and clearing no-longer-needed references to store nodes from stack frames prior to garbage collection. We chose per-frame parameterization (instead of per-thread): Stack frames store a reference to the associated task manager in their first slot; operations on stack frames retrieve the actual task manager and delegate to it. This implies that the computation within a single thread can be carried out by several task managers in conjunction [see also Polyscheme, Polylog, Minerva, Well Founded Semantics for Logic Program Updates, Well-Founded Semantics for Extended Logic Programs with Dynamic Preferences, Dynamic Logic Programming with Multiple Dimensions, Multi-Agent System Virtual Machine (MAS VM), The reflexive CHemical Abstract Machines (CHAM), and the join-calculus, etc.].
    [...] We obtain a generic way to execute a task, regardless of the language in which it is implemented [(see the last sections of the Website update of the 29th of May 2016 (yesterday))].
    [...] Concurrent systems need a synchronization and communication facility to enable cooperation between threads. Seam provides for data-flow synchronization and laziness in the form of transients [see also the sections Exotic Operating System and Formal Modeling of the Links to Software webpage and communication libraries and systems such as CORBA].
    [...] The store provides an expressive, but low-level model of data representation [in contrast to our Ontologic System with the OntoBase and Ontologic File System (OntoFS) components].
    [...] Seam makes no assumption as to how code is represented [by an ontology for example (see the last sections of the Website update of the 29th of May 2016 (yesterday))].
    [...] Finally, the language implementor provides the primitives required by the language and its accompanying standard libraries [by an ontology; see fuzzy logic, constraints and ontology in the Clarification of the 14th of May 2016].
    [...] Language implementors can use interoperability to reuse existing technology, originally intended for another language, to facilitate their implementation task. Language users benefit from interoperability because it enables them to write mixed-language applications: They can "use the right tool for each task". A prerequisite of language interoperation is a common understanding of the idioms with which languages are meant to interoperate.
    [...] A prerequisite of language interoperation is a common understanding of the idioms with which languages are meant to interoperate [see ontologies, mediators e.g. Mediation of Information using XML (MIX) and Knowledge-Based Integration of Neuroscience Data [(KIND)] Sources in the Website update of the 17th of May 2016, intelligent/cognitive MAS VM ROS, and Towards Enabling Communication among Independent Agents in the Website update of the 16th of May 2016].
    [...] All this is based on a single store which represents data specific to all languages in a unified data graph. [Here we have all the graph related methods and functionalities, and again the OntoBase and Ontologic File System (OntoFS) components].]
    [...] It is the responsibility of language implementors to provide for data representation conversion and marshaling. As such, real interoperability still implies pairwise matching up of languages. [Again ontology and logic respectively ontologic, because ontology not sufficient; see mediation and integration e.g. KIND based on MIX and communication in MAS VM ROS]
    [...] Providing services like pickling is interesting for turning Seam into a middleware instead of just a virtual machine. Note that pickling is a basis for other openness services, like components and distribution [...] Pickling (also called serialization) is the process of externalizing a data graph to a sequence of bytes, called a pickle [is ontology, MIX, etc.]. Pickles are used for persistence (when stored on a file) or for communicating data between distributed computation sites (when transferred to another process). For pickling to be a generic service, it has to distinguish all of these node types, and language implementors must be able to associate the appropriate pickling semantics with their data structures.
    [...] Pairwise matching-up of languages, as is still necessary now, can be improved by proposing a Seam-based "common language specification", as Microsoft did for .NET. In particular, we would like to suggest a common representation for program components, to obviate the need for implementing language-specific component managers or class loaders, an to provide a generic way to establish references to program components implemented in different languages [again ontology respectively ontologic because ontology not sufficient; see mediation e.g. KIND based on MIX and VM agent communication].

    We also worked on the VM respectively operating system core itself with the semantics, the Binary Decision Diagrams (BDDs), the Binary Satisifiability (SAT) solvers, and so on (see the Website update of the 27th of May 2016 and 28th of May 2016). Indeed, this OntoCore is highly complex, but still relatively simple, and potentially around two magnitudes faster than other approaches and systems. Nevertheless, we call it a fascinating revolution since 10 years already.

    In this relation, we would like to remind explicitly the sections

  • Basic Properties, including the points
    • "validated and verified" and "specification- and proof-carrying", which in this context become extremely mighty and ingenious, because we can compose, componentize, modularize, and unitize without loosing the trust in this OS and this even in a distributed way with the Ontologic Net (ON) and Ontologic Web (OW), and
    • "augmented, mediated, virtual, and mixed reality environments", which in this context becomes extremely mighty and ingenious, because we can compose, componentize, modularize, and unitize the complete range of multimodal and multimedia functionalities and systems,
  • Snow White and the Magic Mirror World, and also
  • Ontoverse

    of the webpage Overview.

    "It is based on a whole new system architecture which integrates all in one, and which is called by us Caliber/Calibre like in Horology."

    Not from Microsoft, Apple, Google, even not from The Walt Disney Company, or whatsoever. See the second last section of the Website update of the 12th of May 2016 for correct citation of this original and unique multimedia work of art series Ontologic System (OS).

  •    
     
    © and/or ®
    Christian Stroetmann GmbH
    Disclaimer