Actions

Ontolog Forum

Revision as of 04:11, 14 December 2015 by imported>PeterYim (init Last updated at: 2006-06-15 18:31:51 By user: PeterYim)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Ina Jo

Ina Jo is a formal specification language. It is a non procedural assertion language that is an extension of first order predicate calculus.



Retrieved from "https://ontologforum.com/index.php?title=InaJo&oldid=1592"