In computer science and information science , an
ontology formally represents knowledge as a set of concepts within a domain , and the
Kaynak: Ontology (information science)In information science , an upper
ontology (also known as a top-level
ontology or foundation
ontology) is an
ontology (in the sense used
Kaynak: Upper ontologyOntology alignment, or
ontology matching, is the process of determining correspondences between concept s. A set of correspondences is
Kaynak: Ontology alignment Ontology learning (
ontology extraction,
ontology generation, or
ontology acquisition) is a subtask of information extraction .
Kaynak: Ontology learning In computer science and artificial intelligence ,
ontology languages are formal language s used to construct
ontologies . They allow the
Kaynak: Ontology languageIn philosophy, the term formal
ontology is used to refer to an
ontology defined by axiom s in a formal language with the goal to provide
Kaynak: Formal ontologyIn computer science , a process
ontology is a description of the components and their relationships that make up a process. process
ontologyKaynak: Process ontologyOIL (
Ontology Inference Layer or
Ontology Interchange Language) can be regarded as an
ontology infrastructure for the Semantic Web OIL is
Kaynak: Ontology Inference LayerThe notion of
ontology modularization refers to a methodological principle in
ontology engineering . The idea is that an
ontology is built
Kaynak: Ontology modularizationThe Suggested Upper Merged
Ontology or SUMO is an upper
ontology intended as a foundation
ontology for a variety of computer information
Kaynak: Suggested Upper Merged OntologyApplied
ontology involves the practical application of
ontological resources to specific domains, such as biomedicine or geography .
Kaynak: Applied ontologyMetaontology is the branch of metaphysics that deals with the nature of
ontology and
ontological questions. The term owes its
Kaynak: Meta-ontologyThe Frege–Church
ontology is an
ontology , a theory of existence . Everything is considered as being in three categories, object
Kaynak: Frege–Church ontology