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

Subject: Cyc

Related posts:

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 ·

Paraconsistent Reasoning in Ontopedia

 

I did a short presentation about paraconsistent reasoning in Ontopedia on TMRA 2009. ...

 
· Actor model · Carl Hewitt · Cyc · Paraconsistent logic · TMCL ·

Archive: Index