Integration of ontologies begins with establishing mappings between their concept entries. We map categories from the largest manually-built ontology, Cyc, onto Wikipedia articles describing corresponding concepts. Our method draws both on Wikipedia’s rich but chaotic hyperlink structure and Cyc’s carefully defined taxonomic and common-sense knowledge. On 9,333 manual alignments by one person, we achieve an F-measure of 90%; on 100 alignments by six human subjects the average agreement of the method with the subject is close to their agreement with each (...) other. We cover 62.8% of Cyc categories relating to common-sense knowledge and discuss what further information might be added to Cyc given this substantial new alignment. (shrink)

In order to achieve genuine web intelligence, building some kind of large general machine-readable conceptual scheme (i.e. ontology) seems inescapable. Yet the past 20 years have shown that manual ontology-building is not practicable. The recent explosion of free user-supplied knowledge on the Web has led to great strides in automatic ontology building, but quality-control is still a major issue. Ideally one should automatically build onto an already intelligent base. We suggest that the long-running Cyc project is able to assist here. (...) We describe methods used to add 35K new concepts mined from Wikipedia to collections in ResearchCyc entirely automatically. Evaluation with 22 human subjects shows high precision both for the new concepts’ categorization, and their assignment as individuals or collections. Most importantly we show how Cyc itself can be leveraged for ontological quality control by ‘feeding’ it assertions one by one, enabling it to reject those that contradict its other knowledge. (shrink)

The somewhat old-fashioned concept of philosophical categories is revived and put to work in automated ontology building. We describe a project harvesting knowledge from Wikipedia’s category network in which the principled ontological structure of Cyc was leveraged to furnish an extra layer of accuracy-checking over and above more usual corrections which draw on automated measures of semantic relatedness.

The flowers of the primitive angiosperm plants were radially symmetrical (actinomorphic). Flowers with bilateral symmetry (zygomorphic) evolved in several clades independently as an adaptation to specialized methods of pollination and played an important role in the diversification of flowering plants. In the model species Antirrhinum majus (snapdragon), the related genes CYCLOIDEA (CYC) and DICHOTOMA (DICH) are key in the development of this trait. This raises the question of whether they played a role in the evolution of floral bilateral symmetry. To (...) address this, the evolution of CYC in relation to the evolution of zygomorphy is being investigated. Phylogenetic and functional analyses of CYC‐like genes are being carried out in groups either closely related to Antirhinum or in families where zygomorphy evolved as an independent event. In addition, the origin of zygomorphy is being studied by comparing the function of CYC‐like genes in species with zygomorphic flowers with their function in species with radially symmetrical flowers. BioEssays 26:1175–1184, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

We present an axiomatization of a problem in commonsense reasoning, characterizing the proper procedure for cracking an egg and transferring its contents to a bowl. The axiomatization is mid-sized, larger than toy problems such as the Yale Shooting Problem or the Suitcase Problem, but much smaller than the comprehensive axiomatizations associated with CYC and HPKB. This size of axiomatization permits the development of non-trivial, reusable core theories of commonsense reasoning, acts as a testbed for existing theories of commonsense reasoning, and (...) encourages the discovery of new problems in commonsense reasoning.We present portions of core theories of containment, falling, and pouring, integrated into Shanahan's circumscriptive event calculus, and show how these can serve as the basis of an axiomatization that partly characterizes egg cracking. We discuss several commonsense reasoning problems encountered during this research, such as the Initial Specification Problem (a relative of the frame problem that occurs in theories in which fluents can trigger actions), and the Unobtainable State Problem (the problem of determining whether or not a theorem stating that one cannot get from one state to another is meaningful). (shrink)

This paper argues that AI follows classical versions of epistemology in assuming that the identity of the knowing subject is not important. In other words this serves to `delete the subject''. This disguises an implicit hierarchy of knowers involved in the representation of knowledge in AI which privileges the perspective of those who design and build the systems over alternative perspectives. The privileged position reflects Western, professional masculinity. Alternative perspectives, denied a voice, belong to less powerful groups including women. Feminist (...) epistemology can be used to approach this from new directions, in particular, to show how women''s knowledge may be left out of consideration by AI''s focus on masculine subjects. The paper uncovers the tacitly assumed Western professional male subjects in two flagship AI systems, Cyc and Soar. (shrink)

The goal of the paper is to analyse some specific features of a very central concept for top-level ontologies for information systems: i.e. the concept of artefact. Specifically, we analyse the relation to be a copy of that is strongly linked to the notion of artefact and—as we will demonstrate—could be useful to distinguish artefacts from objects of other kinds. Firstly, we outline some intuitive and commonsensical reasons for the need of a clarification of the notion of artefact in ontologies (...) for information systems, and we analyse some characterisations of the notion given by two top-level ontologies (Cyc and Wordnet). Secondly, we introduce and critically analyse Tzouvaras’ notion of copy. Thirdly, we try to complete an analysis of copy by distinguishing three kinds of copies: replicas (Tzouvaras’ notion of copy), rigid copies, and functional copies. With the help of these three notions we outline a first and preliminary distinction between artefacts, objects of art and natural objects. (shrink)

In this paper we are focused on the relation between an Ontology (with the capital "O") qua philosophical discipline and an ontology (with the lowercase "o") qua branch of Computer Science. In our view "Ontology" refers to all philosophical groups or schools which take some position on the reality. The meaning of 'ontology' in the second case is not that easy to grasp because of the variety of artefacts which are called 'ontologies' and many activities - aiming at creating the (...) ontologies - called ontological engineering . In general we could state that an ontology is something what is called "ontology" beyond Philosophy, mostly in the Knowledge Management, Artificial Intelligence, Conceptual Modelling or Ontological Engineering and what refers to an engineering artefact describing certain aspect of reality. So understood ontology is always tied to certain language (preferably a logical one) or more precisely to the set of the sentences of this language. It is said that these sentences constitute an ontology and specify the intended meaning of the terms used in these sentences. The ontologists usually focus on describing their conceptualization of the relevant for them aspects of reality. In their ontologies only these properties of reality are taken into account, which are considered as important for the sake of the application. In this sense ontological engineering may ignore Ontologically essential properties, i.e. the ones important from the purely philosophical perspective. The simplest ontologies are catalogues - the list of terms or numbers denoting certain object, glossaries - containing additionally the definitions of the terms, thesauri - the glossaries in which the hierarchy of the terms appear and taxonomies - in which the primitives are hierarchically structured in order to enabling the properties' inheritance. The most sophisticated ontologies are called formal ontologies and they are logical theories fully axiomatized. Ontologies are also divided on the top-level ontologies concerning very general and mostly abstract entities (e.g. property, agent, time) and the domain ontologies dealing with some small domains (e.g. car's parts). For a better understanding of the wide variety of ontologies we give an example of three ontologies: WordNet (thesaurus-like ontology), Cyc (top-level, formal ontology) and Enterprise Ontology (domain ontology). The Ontology plays an important role in ontological engineering. We notice that the ontological engineers more and more often rely on the philosophical literature looking for the solutions of the ontological problems. It is especially visible in the top-ontologies where many Ontological distinctions have been directly adopted. On the other hand we must sadly stress that philosophers seem to be not interested in the ontological engineering at all. We'd like to introduce ontology to t. (shrink)

It is argued that, based on Kant's descriptive metaphysics, one can prescribe the necessary metaphysical underpinnings for the possibility of conscious experience in an artificial system. This project is developed by giving an account of the a priori concepts of the understanding in such a system. A specification and implementation of the nomological conditions for a conscious system allows one to know a priori that any system possessing this structure will be conscious; thus enabling us to avoid possible false-indicators of (...) consciousness like that offered in a behaviouristic analysis. This is an alternative approach to the bottom-up or top-down approaches adopted by, for example CYC (Lenat and Feigenbaum 1992) and COG (Brooks 1994; Brooks and Stein 1993), neither of which, alone, or in some hybrid form, have proved productive. (shrink)

It is argued that, based on Kant's descriptive metaphysics, one can prescribe the necessary metaphysical underpinnings for the possibility of conscious experience in an artificial system. This project is developed by giving an account of the a priori concepts of the understanding in such a system. A specification and implementation of the nomological conditions for a conscious system allows one to know a priori that any system possessing this structure will be conscious; thus enabling us to avoid possible false-indicators of (...) consciousness like that offered in a behaviouristic analysis. This is an alternative approach to the bottom-up or top-down approaches adopted by, for example CYC (Lenat and Feigenbaum 1992) and COG (Brooks 1994; Brooks and Stein 1993), neither of which, alone, or in some hybrid form, have proved productive. (shrink)

Lenat has come to the conclusion that his celebrated computer programs, AM and Eurisko, despite impressive achievements, ultimately f ail as creative discovery systems. The paper discusses Lenaťs various attempts to model sustainable creative intelligence, primarily within the paradigm of symbolic processing. Lenaťs current approach requires a larger knowledge base than that of his previous efforts, and in fact Lenat hopes that his new system, Cyc, will have achieved a human breadth and depth of knowledge in the relatively near future. (...) It is concluded that the Cyc project should be extremely important f or future A.I. research, making a significant contribution to the connectionist/symbolist debate. (shrink)