automated reasoning
Field concerned with building systems that derive conclusions from formal knowledge automatically, underpinning expert systems, theorem provers, and the Semantic Web.
1 milestone
Berners-Lee Proposes the Semantic Web
In 1999–2001, Tim Berners-Lee, director of the World Wide Web Consortium, outlined the Semantic Web vision, a machine-readable extension of the existing web in which data would carry explicit meaning, culminating in a widely cited May 2001 Scientific American article co-authored with James Hendler and Ora Lassila.