In philosophy, the term formal ontology is used to refer to an ontology defined by axioms in a formal language with the goal to provide an unbiased (domain-...

Basic Formal Ontology (BFO) is a top-level ontology developed by Barry Smith and his associates for the purposes of promoting interoperability among domain...

In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between...

Ontology is the philosophical study of being. As one of the most fundamental concepts, being encompasses all of reality and every entity within it. To...

The General Formal Ontology (GFO) is an upper ontology integrating processes and objects. GFO has been developed by Heinrich Herre, Barbara Heller and...

information science, an upper ontology (also known as a top-level ontology, upper model, or foundation ontology) is an ontology (in the sense used in information...

Applied ontology is the application of Ontology for practical purposes. This can involve employing ontological methods or resources to specific domains...

engineering, ontology engineering is a field which studies the methods and methodologies for building ontologies, which encompasses a representation, formal naming...

top-level ontology development and describes several top-level ontologies that satisfy those requirements, including Basic Formal Ontology (BFO), Descriptive...

(2009). "Formal ontology". Historical Dictionary of Husserl's Philosophy. Scarecrow. Poli, Roberto (1993). "Husserl's Conception of Formal Ontology". History...

The Web Ontology Language (OWL) is a family of knowledge representation languages for authoring ontologies. Ontologies are a formal way to describe taxonomies...

theory that the ontology describes in its domain of application. This definition differs from that of "axioms" in generative grammar and formal logic. In these...

central role in this respect was played by Husserl's contributions to formal ontology. One prominent supporter was Roderick Chisholm, who in his Intellectual...

In formal semantics, an ontological commitment of a language is one or more objects postulated to exist by that language. The 'existence' referred to need...

The Suggested Upper Merged Ontology (SUMO) is an upper ontology intended as a foundation ontology for a variety of computer information processing systems...

process ontology is a description of the components and their relationships that make up a process. A formal process ontology is an ontology in the knowledge...

and researcher in the area of Formal Ontology for Information Systems, and the head of the Laboratory for Applied Ontology (LOA), part of the Italian National...

computer science and artificial intelligence, ontology languages are formal languages used to construct ontologies. They allow the encoding of knowledge about...

The Human Phenotype Ontology (HPO) is a formal ontology of human phenotypes. Developed as part of the Monarch Initiative in collaboration with members...

Metaontology or meta-ontology is the study of the field of inquiry known as ontology. The goal of meta-ontology is to clarify what ontology is about and how...

from formal ontology, cognitive science, linguistics, and philosophical logic to inform the structure and semantics of conceptual models. The ontology is...

Indiana University Bloomington. He is best known for his work in formal logic and ontology. Among his important articles are: "Nominalism and Conceptualism...

also developed the related topic of naïve physics. Smith, B. (1995): Formal Ontology, Common Sense and Cognitive Science. International Journal of Human-Computer...

In information science, formal concept analysis (FCA) is a principled way of deriving a concept hierarchy or formal ontology from a collection of objects...

The Disease Ontology (DO) is a formal ontology of human disease. The Disease Ontology project is hosted at the Institute for Genome Sciences at the University...

semiotic ontologies. A socio-semantic system has a continuous process of eliciting crucial knowledge of a domain through semi-formal ontologies, taxonomies...

and academic who deals with metaphysics, general ontology and the ontological implications of formal theories. He is also interested in projects of artificial...

In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first-order theory, embodying mereological and topological...

various other technical senses Tropes, qualities or properties in formal ontology in philosophy Trope, a musical motif associated with cantillation,...

In the philosophy of religion, an ontological argument is a deductive philosophical argument, made from an ontological basis, that is advanced in support...