The main semantical and logical foundation of OWL are description logics (DLs).
Intuitions seem to conflict, and it is difficult to find ways to model the important phenomena using logical techniques.[35] Fagin et al. 1984 begins a tradition in computational logic that revives the modal approach to epistemic logic, developing generalized logical foundations and applications that had not occurred to the philosophers.
The logical foundation of all of them is the Intersection Logic IL.
The prominence of logic in foundations led some people, referred to as logicists, to suggest that mathematics is a branch of logic.
In the early 20th century were were caught up by the movement to form analytical philosophy, based in the study of logic, the foundations of mathematics, the syntax of ordinary language, the validity of arguments, something very formal.
TRIPLE is based on Horn logic [Foundations of Logic Programming, 1984] and borrows many basic features from F-Logic [J. ACM 42 (1995) 741] but is especially designed for querying and transforming RDF models [http://www.w3.org/RDF/].
Similarly, discrete mathematics and logic are foundations for computer based disciplines such as computer science, software engineering and information systems.
Aristotle came to see logic as the foundation on which all learning was based..
In recent decades, Dr. Hinton, 64 (a great-great-grandson of the 19th-century mathematician George Boole, whose work in logic is the foundation for modern digital computers), has pioneered powerful new techniques for helping the artificial networks recognize patterns.
The culture of science is rooted in the belief that data, rational argument, and logic constitute the foundation upon which all decisions should be based.
