Generative Ontology of Vaisesika.
Rajesh Tavva, Navjyoti Singh · International Joint Conference on Artificial Intelligence · 2015
In this paper we present a foundational as well as generative ontology which is graph-based. We use a form called punctuator which is non-propositional and also non-settheoretic to build our system – Neo-Vaiśesika Formal Ontology. The idea is to present an ontological language which is formal. This language is a set of potentially infinite sentences (graphs) whose structure is captured by a finite set of (graph) grammar rules. We also have an interpreter to interpret the graphs generated by this grammar and show that the interpretation of a node as belonging to a particular ontological category is based purely on its structure/form and nothing else to provide a robust example of a formal, foundational and generative ontology.