Change: Logic

created on Feb. 6, 2013, 2:19 p.m. by Hevok & updated on Feb. 6, 2013, 2:19 p.m. by Hevok

Logic is reasoning conducted or assessed according to string Principles of validity.

Complicated Facts can be described with an Ontology Language, like the Web Ontology Language (OWL). For instance, nobody or no people can be at the same time living and dead:

Living People or Dead People

Thus, such facts can be expressed wit logic. Logical Constraints are represented with the help of OWL.

schach.jpg

Categories: News

Comment: Created entry.

See entry | Admin

Comment on This Data Unit