Gautama – Ontology Editor Based on Nyaya Logic

DOI10.1007/978-3-540-92701-3_17zbMath1209.68530OpenAlexW1583129360MaRDI QIDQ3601813

No author found.

Publication date: 12 February 2009

Published in: Logic and Its Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-92701-3_17

zbMATH Keywords

ontologyIndian logicNORMNyaya Sastra

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Uses Software

• WordNet
• Gautama

Cites Work

• Objectivity and proof in a classical Indian theory of number
• Unnamed Item
• Unnamed Item

This page was built for publication: Gautama – Ontology Editor Based on Nyaya Logic