|
Formal Ontology
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 (Problem domain, domain- and application-independent) view on Reality#Western philosophy, reality, which can help the modeler of Problem domain, domain- or application-specific ontology (information science), ontologies to avoid possibly erroneous ontological assumptions encountered in modeling large-scale ontologies. By maintaining an independent view on reality, a formal (upper ontology, upper level) ontology gains the following properties: *indefinite expandability: *:the ontology remains consistent with increasing content. *content and context independence: *:any kind of 'concept' can find its place. *accommodate different levels of granularity. Historical background Theories on how to conceptualize reality date back as far as Plato and Aristotle. The term 'formal ontology' itself was coined by Edmund Husserl in the second editi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology (information Science)
In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More simply, an ontology is a way of showing the properties of a subject area and how they are related, by defining a set of terms and relational expressions that represent the entities in that subject area. The field which studies ontologies so conceived is sometimes referred to as ''applied ontology''. Every academic discipline or field, in creating its terminology, thereby lays the groundwork for an ontology. Each uses ontological assumptions to frame explicit theories, research and applications. Improved ontologies may improve problem solving within that domain, interoperability of data systems, and discoverability of data. Translating research papers within every field is a problem made easier when experts from different countries mainta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Logic
Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the study of deductively valid inferences or logical truths. It examines how conclusions follow from premises based on the structure of arguments alone, independent of their topic and content. Informal logic is associated with informal fallacies, critical thinking, and argumentation theory. Informal logic examines arguments expressed in natural language whereas formal logic uses formal language. When used as a countable noun, the term "a logic" refers to a specific logical formal system that articulates a proof system. Logic plays a central role in many fields, such as philosophy, mathematics, computer science, and linguistics. Logic studies arguments, which consist of a set of premises that leads to a conclusion. An example is the argument from the premises "it's Sunday" and "if it's Sunday then I don't have to work" leading to the conclusion "I don't have to wor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Snapshot
Snapshot, snapshots or snap shot may refer to: * Snapshot (photography), a photograph taken without preparation Computing * Snapshot (computer storage), the state of a system at a particular point in time * Snapshot (file format) or SNP, a file format for reports from Microsoft Access Film * ''Snapshot'' (film), a 1979 Australian film directed by Simon Wincer * ''Snapshot'', a 2017 film featuring Danny Trejo * ''Snapshots'' (2002 film), an Anglo-Dutch American film starring Burt Reynolds and Julie Christie * ''Snapshots'' (2018 film), an American film directed by Melanie Mayron Music Albums * ''Snapshot'' (Daryl Braithwaite album), 2005 * ''Snapshot'' (George Duke album) or the title song, 1992 * ''Snapshot'' (Mission of Burma album), 2004 * ''Snapshot'' (Roger Glover album), 2002 * ''Snapshot'' (The Strypes album), 2013 * ''Snapshot'' (Sylvia album) or the title song (see below), 1983 * ''Snapshot'', by Knacker, 2000 * ''Snapshot'', by Tommy Bolin, 1999 * ''Snapshot: ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Entity
An entity is something that Existence, exists as itself. It does not need to be of material existence. In particular, abstractions and legal fictions are usually regarded as entities. In general, there is also no presumption that an entity is Life, animate, or present. The verb tense of this form is to 'entitize' - meaning to convert into an entity; to perceive as tangible or alive. The term is broad in scope and may refer to animals; natural features such as mountains; inanimate objects such as tables; numbers or sets as symbols written on a paper; human contrivances such as laws, corporations and academic disciplines; or supernatural beings such as gods and spirits. The adjectival form is ''entitative''. Etymology The word ''entity'' is derived from the Latin ''entitas'', which in turn derives from the Latin ''ens'' meaning "being" or "existing" (compare English ''essence''). ''Entity'' may hence literally be taken to mean "thing which exists". In philosophy Ontology is th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dichotomy
A dichotomy () is a partition of a set, partition of a whole (or a set) into two parts (subsets). In other words, this couple of parts must be * jointly exhaustive: everything must belong to one part or the other, and * mutually exclusive: nothing can belong simultaneously to both parts. If there is a concept A, and it is split into parts B and not-B, then the parts form a dichotomy: they are mutually exclusive, since no part of B is contained in not-B and vice versa, and they are jointly exhaustive, since they cover all of A, and together again give A. Such a partition is also frequently called a bipartition. The two parts thus formed are Complement (set theory), complements. In logic, the partitions are dual (category theory), opposites if there exists a proposition such that it holds over one and not the other. Treating continuous variables or multicategorical variables as binary variables is called discretization, dichotomization. The discretization error inherent in dichoto ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Suggested Upper Merged Ontology
The Suggested Upper Merged Ontology (SUMO) is an upper ontology intended as a foundation ontology for a variety of computer information processing systems. SUMO defines a hierarchy of ''classes'' and related rules and relationships. These are expressed in a version of the language SUO-KIF, a higher-order logic that has a LISP-like syntax, as well as the TPTP family of languages. A mapping from WordNet synsets to SUMONiles, I., and Pease, A., (2003). Linking Lexicons and Ontologies: Mapping WordNet to the Suggested Upper Merged Ontology, Proceedings of the IEEE International Conference on Information and Knowledge Engineering, pp 412-416. has been defined. Initially, SUMO was focused on meta-level concepts (general entities that do not belong to a specific problem domain), and thereby would lead naturally to a categorization scheme for encyclopedias. It has now been considerably expanded to include a mid-level ontology and dozens of domain ontologies. SUMO is organized for int ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Upper Ontology
In 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 science) that consists of very general terms (such as "object", "property", "relation") that are common across all domains. An important function of an upper ontology is to support broad semantic interoperability among a large number of domain-specific ontologies by providing a common starting point for the formulation of definitions. Terms in the domain ontology are ranked under the terms in the upper ontology, e.g., the upper ontology classes are superclasses or supersets of all the classes in the domain ontologies. A number of upper ontologies have been proposed, each with its own proponents. Library classification systems predate upper ontology systems. Though library classifications organize and categorize knowledge using general concepts that are the same across all knowledge domains, neither system is a re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
UMBEL
UMBEL (Upper Mapping and Binding Exchange Layer) is a logically organized knowledge graph of 34,000 concepts and entity types that can be used in information science for relating information from disparate sources to one another. It was retired at the end of 2019. UMBEL was first released in July 2008. Version 1.00 was released in February 2011. Its current release is version 1.50. The grounding of this information occurs by common reference to the permanent URIs for the UMBEL concepts; the connections within the UMBEL upper ontology enable concepts from sources at different levels of abstraction or specificity to be logically related. Since UMBEL is an open-source extract of the OpenCyc knowledge base, it can also take advantage of the reasoning capabilities within Cyc. UMBEL has two means to promote the semantic interoperability of information:. It is: * An ontology of about 35,000 reference concepts, designed to provide common mapping points for relating different on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
CIDOC Conceptual Reference Model
The CIDOC Conceptual Reference Model (CRM) provides an extensible ontology for concepts and information in cultural heritage and museum documentation. It is the international standard (ISO 21127:2023) for the controlled exchange of cultural heritage information. Galleries, libraries, archives, museums ( GLAMs), and other cultural institutions are encouraged to use the CIDOC CRM to enhance accessibility to museum-related information and knowledge. History The CIDOC CRM emerged from the CIDOC Documentation Standards Group in the International Committee for Documentation of the International Council of Museums. Initially, until 1994, the work focused on developing an entity-relationship model for museum information, however, in 1996, the approach shifted to object-oriented modeling methodologies, resulting in the first ''"CIDOC Conceptual Reference Model (CRM)"'' in 1999. The process of standardizing the CIDOC CRM began in 2000 and was completed in 2006 with its acceptance as ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
BORO
BORO (Business Objects Reference Ontology) is an approach to developing ontological or semantic models for large complex operational applications that consists of a top ontology as well as a process for constructing the ontology. It was originally developed as a method for mining ontologies from multiple legacy systems – as the first stage in an architectural transformation or software modernization. It has also been used to enable semantic interoperability between legacy systems. It is described in detail in (Partridge 1996, 2005). It is the analysis method used in the development and maintenance of the U.S. Department of Defense Architecture Framework (DoDAF) Meta Model (DM2), where a data modeling working group of over 350 members was able to systematically resolve a broad spectrum of knowledge representation issues. History The approach was developed in the late 1980s and early 1990s by a team of KPMG consultants led by Chris Partridge. The team was working on a complex leg ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Basic Formal Ontology
Basic Formal Ontology (BFO) is a Upper ontology, top-level ontology developed by Barry Smith (academic), Barry Smith and his associates for the purposes of promoting interoperability among domain ontologies built in its terms through a process of downward population. A guide to building BFO-conformant domain ontologies was published by MIT Press in 2015. The ontology arose against the background of research in ontologies in the domain of geospatial information science by David Mark, Pierre Grenon, Achille Varzi and others, with a special role for the study of vagueness and of the ways sharp boundaries in the geospatial and other domains are created by fiat. BFO has passed through four major releases. The current revision was released in 2020, and this forms the basis of the standard ISO/IEC 21838, ISO/IEC 21838-2, which was released by the Joint Committee of the International Standards Organization and International Electrotechnical Commission in 2021. The structure of BFO is b ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
