Search results
Results from the WOW.Com Content Network
Applied ontology is particularly relevant to information and computer science, which develop conceptual frameworks of limited domains. These frameworks facilitate the structured storage of information, such as in a college database tracking academic activities. Ontology is also pertinent to the fields of logic, theology, and anthropology.
Examples of knowledge representation formalisms include vocabularies, thesaurus, semantic networks, axiom systems, frames, rules, logic programs, and ontologies. Examples of automated reasoning engines include inference engines , theorem provers , model generators , and classifiers .
Cognitive ontology is ontology (study of being) which begins from features of human cognition directly, as opposed to its collective summary which is reflected in language. The more radical forms of it challenge also the central position of mathematics as "just another language" which biases human cognition.
Ontology engineering aims to make explicit the knowledge contained in software applications, and organizational procedures for a particular domain. Ontology engineering offers a direction for overcoming semantic obstacles, such as those related to the definitions of business terms and software classes.
Individuals (instances) are the basic, "ground level" components of an ontology. The individuals in an ontology may include concrete objects such as people, animals, tables, automobiles, molecules, and planets, as well as abstract individuals such as numbers and words (although there are differences of opinion as to whether numbers and words are classes or individuals).
A central issue in regard to ontology concerns the ontological commitments associated with the use of logic, for example, with singular terms and existential quantifiers. An important question in mathematics is whether all mathematical truths can be grounded in the axioms of logic together with set theory.
In ontology, the theory of categories concerns itself with the categories of being: the highest genera or kinds of entities. [1] To investigate the categories of being, or simply categories, is to determine the most fundamental and the broadest classes of entities. [2]
Philosophy of psychology also closely monitors contemporary work conducted in cognitive neuroscience, cognitive psychology, and artificial intelligence, for example questioning whether psychological phenomena can be explained using the methods of neuroscience, evolutionary theory, and computational modeling, respectively.