What if every subject that we think about can have explicit representation in our computers?

Subject: Common Logic

Framework for a family of logic-based languages, ISO standard ISO /IEC 24707:2007

PSI: http://psi.ontopedia.net/Common_logic

Related posts:

Saturday,  January 23,   2010,  02:10 PM

Inference in Ontopedia

 

I just finished reading “Semantic Web for the Working Ontologist: Modeling in RDF, RDFS and OWL”. Great book! Lots of examples and deep exploration of Semantic Web fundamentals. It inspired me… not to use OWL, no… but to describe how we approach inference/reasoning in Ontopedia. ...

 
· Common Logic · Cyc · OWL · Paraconsistent logic · Subject-centric computing ·

Index
Copyright © 2007-2010 Dmitry Bogachev, Ψ http://psi.ontopedia.net/Dmitry_Bogachev