|
OntoClean
OntoClean is a methodology for analyzing ontologies based on formal, domain-independent properties of classes (the metaproperties) developed by Nicola Guarino and Chris Welty. Overview and History OntoClean was the first attempt to formalize notions of ontological analysis for information systems. The idea was to justify the kinds of decisions that experienced ontology builders make, and explain the common mistakes of the inexperienced.Alan Rector during a debate at the KR-2002 conference in Toulouse, said, "What you have done is reduce the amount of time I spend arguing with medics." The notions Guarino & Welty focused on were drawn from philosophical ontology. They were not after the seemingly endless arguments about what the right ontology of the universe is, but rather the techniques these philosophers use to analyze, support, and criticize each other's arguments. These techniques make very little, if any, commitment to a particular ontology, instead they expose what are oft ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chris Welty
Christopher A. Welty is an American computer scientist, who works at Google Research in New York. He is best known for his work on ontologies, in the Semantic Web, and on IBM's Watson. While on sabbatical from Vassar College from 1999 to 2000, he collaborated with Nicola Guarino on OntoClean; he was co-chair of the W3C Rule Interchange Format working group from 2005 to 2009. Background and education Dr. Welty is a graduate of Rensselaer Polytechnic Institute, (RPI) where he worked for the Free Software Foundation on version 16-18 of GNU Emacs as well as the formation of NYSERNet during the emergence of the InterNet. This synergy of interests made him an early public figure in AI, as he moderated the "NL-KR Digest" and the corresponding comp.ai.nlang-know-rep newsgroup (now defunct), which was at the time the widest vehicle for dissemination of announcements and moderated discussion in the natural language and knowledge representation communities. He later became the editor ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nicola Guarino
Nicola Guarino (born 1954, in Messina) is an Italian computer scientist 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 Research Council (CNR) in Trento. Work Guarino's research interests are in the area of Artificial Intelligence, predominantly in Knowledge Representation. He may be best known in the Computer Science community for developing OntoClean, the first methodology for formal ontological analysis, with his colleague Chris Welty. Knowledge Representation He is arguably one of the founders of the field of ontology in computer science, but undoubtedly one of its most outspoken proponents. While most of the AI and KR researchers focused on reasoning algorithms and semantics of representation languages, and considered the actual knowledge expressed in these languages and reasoned over by these algorithms to be unimportant (just examples), Guarino spearheaded a cou ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology Engineering
In computer science, information science and systems engineering, ontology engineering is a field which studies the methods and methodologies for building ontologies, which encompasses a representation, formal naming and definition of the categories, properties and relations between the concepts, data and entities. In a broader sense, this field also includes a knowledge construction of the domain using formal ontology representations such as OWL/RDF. A large-scale representation of abstract concepts such as actions, time, physical objects and beliefs would be an example of ontological engineering. Ontology engineering is one of the areas of applied ontology, and can be seen as an application of philosophical ontology. Core ideas and objectives of ontology engineering are also central in conceptual modeling. Automated processing of information not interpretable by software agents can be improved by adding rich semantics to the corresponding resources, such as video files. One ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology
In metaphysics, ontology is the philosophical study of being, as well as related concepts such as existence, becoming, and reality. Ontology addresses questions like how entities are grouped into categories and which of these entities exist on the most fundamental level. Ontologists often try to determine what the categories or highest kinds are and how they form a system of categories that encompasses classification of all entities. Commonly proposed categories include substances, properties, relations, states of affairs and events. These categories are characterized by fundamental ontological concepts, including particularity and universality, abstractness and concreteness, or possibility and necessity. Of special interest is the concept of ontological dependence, which determines whether the entities of a category exist on the most fundamental level. Disagreements within ontology are often about whether entities belonging to a certain category exist and, if so, how they ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Toulouse
Toulouse ( , ; oc, Tolosa ) is the prefecture of the French department of Haute-Garonne and of the larger region of Occitania. The city is on the banks of the River Garonne, from the Mediterranean Sea, from the Atlantic Ocean and from Paris. It is the fourth-largest city in France after Paris, Marseille and Lyon, with 493,465 inhabitants within its municipal boundaries (2019 census); its metropolitan area has a population of 1,454,158 inhabitants (2019 census). Toulouse is the central city of one of the 20 French Métropoles, with one of the three strongest demographic growth (2013-2019). Toulouse is the centre of the European aerospace industry, with the headquarters of Airbus, the SPOT satellite system, ATR and the Aerospace Valley. It hosts the CNES's Toulouse Space Centre (CST) which is the largest national space centre in Europe, but also, on the military side, the newly created NATO space centre of excellence and the French Space Command and Space Academy. Thales ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Of Indiscernibles
The identity of indiscernibles is an ontological principle that states that there cannot be separate objects or entities that have all their properties in common. That is, entities ''x'' and ''y'' are identical if every predicate possessed by ''x'' is also possessed by ''y'' and vice versa. It states that no two distinct things (such as snowflakes) can be exactly alike, but this is intended as a metaphysical principle rather than one of natural science. A related principle is the indiscernibility of identicals, discussed below. A form of the principle is attributed to the German philosopher Gottfried Wilhelm Leibniz. While some think that Leibniz's version of the principle is meant to be only the indiscernibility of identicals, others have interpreted it as the conjunction of the identity of indiscernibles and the indiscernibility of identicals (the converse principle). Because of its association with Leibniz, the indiscernibility of identicals is sometimes known as Leibniz's law. I ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rigid Designation
In modal logic and the philosophy of language, a term is said to be a rigid designator or absolute substantial term when it designates (picks out, denotes, refers to) the same thing in ''all possible worlds'' in which that thing exists. A designator is ''persistently rigid'' if it also designates nothing in all other possible worlds. A designator is ''obstinately rigid'' if it designates the same thing in every possible world, period, whether or not that thing exists in that world. Rigid designators are contrasted with ''connotative terms'', ''non-rigid'' or ''flaccid designators'', which may designate different things in different possible worlds. History The Scholastic philosophers in the Middle Ages developed a theory of properties of terms in which different classifications of concepts feature prominently. Concepts, and the terms that signify them, can be divided into absolute or connotative, according to the mode in which they signify. If they signify something absolutely, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ontology (information Science)
In computer science and information science, an ontology encompasses a representation, formal naming, and definition of the categories, properties, and relations between the concepts, data, and entities that substantiate 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 concepts and categories that represent the subject. Every academic discipline or field creates ontologies to limit complexity and organize data into information and knowledge. Each uses ontological assumptions to frame explicit theories, research and applications. New ontologies may improve problem solving within that domain. Translating research papers within every field is a problem made easier when experts from different countries maintain a controlled vocabulary of jargon between each of their languages. For instance, the definition and ontology of economics is a primary concern in Marxist econo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
