<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Computable Graph Grammar of Vais´e s.ika Ontology</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Rajesh TAVVA</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Center for Exact Humanities, International Institute of Information Technology (IIIT)</institution>
          ,
          <addr-line>Hyderabad</addr-line>
          ,
          <country country="IN">India</country>
        </aff>
      </contrib-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>Ontology engineering aims to specify meaning to computer as accurately as possible
since that would enable any kind of application or any amount of analysis required for
a given domain. But for that, one needs to first understand the distinction between form
and content in reality, for which, understanding the distinction between logical form and
onto-logical (ontological) form becomes crucial. In this work, we propose an ontological
form - punctuator - in contrast with logical form like proposition, and contend that formal
ontology, in its proper sense, is possible only through the ontological form and not the
logical form since the former is apt to do the logic of entities whereas the latter is apt to
do the logic of sentences about entities.</p>
      <p>Once we establish this point, we need to think how to specify meaning as
descriptively/objectively as possible. One of the best ways to do that is to minimize the amount
of human intervention necessary for building the ontology since the objectivity of an
ontology (or anything) is inversely proportional to the amount of human intervention in it.
For this, we propose a novel concept called ‘Generative Ontology’ where the
States-ofAffairs (SOAs) are modeled as graphs, and specify rules to generate potentially infinite
number of complex graphs from a finite number of simple graphs. For this, we use the
ontological form mentioned above, and we take Vaies.ika ontology, one of the
philosophical schools in Indian tradition which focuses on foundational ontology, as a
case-inpoint, and specify generation, interpretation as well as parsing rules for its graphs (SOAs)
according to the Vaieika worldview and establish the formalness of such a system.</p>
      <p>Though this work is proposing yet another foundational ontology, its uniqueness lies
in its generative nature and the ontological form which it uses to do so.</p>
    </sec>
  </body>
  <back>
    <ref-list />
  </back>
</article>