Although ontologies occupy a central place in the Semantic Web and related research domains, there are currently not many fully fledged ontology engineering methodologies available. In this paper,...

Software application ontologies have the potential to become the keystone in state-of-the-art information management techniques. It is expected that these ontologies will support the sort of reasoning power required to navigate large and complex terminologies correctly and efficiently. Yet, there is one problem in particular that continues to stand in our way. As these terminological structures increase in size and complexity, and the drive to integrate them inevitably swells, it is clear that the level of consistency required for such navigation (...) will become correspondingly difficult to maintain. While descriptive semantic representations are certainly a necessary component to any adequate ontology-based system, so long as ontology engineers rely solely on semantic information, without a sound ontological theory informing their modeling decisions, this goal will surely remain out of reach. In this paper we describe how Language and Computing nv (L&C), along with The Institute for Formal Ontology and Medical Information Sciences (IFOMIS), are working towards developing and implementing just such a theory, combining the open software architecture of L&C’s LinkSuiteTM with the philosophical rigor of IFOMIS’s Basic Formal Ontology. In this way we aim to move beyond the more or less simple controlled vocabularies that have dominated the industry to date. (shrink)

The tendency theory of causation and its use in ontological engineering is described.

This paper describes the processes of cognitive modeling and representation of human expertise for developing an ontology and knowledge base of an expert system. An ontology is an organization and classification of knowledge. Ontological engineering in artificial intelligence has the practical goal of constructing frameworks for knowledge that allow computational systems to tackle knowledge-intensive problems and supports knowledge sharing and reuse. Ontological engineering is also a process that facilitates construction of the knowledge base of an intelligent (...) system, which can be defined as a computer program that can duplicate problem-solving capabilities of human experts in specific areas. This paper presents the processes of knowledge acquisition, analysis, and representation, which laid the basis for ontology construction. In this case, the processes are applied in ontological engineering for construction of an expert system in the domain of monitoring of a petroleum production and separation facility. The acquired knowledge was also formally represented in two knowledge acquisition tools. (shrink)

This article aims to analyze the views of two pioneering Ḥanafī scholars, Abū Manṣūr al- Māturīdī and Abū Zayd al-Dabūsī, on the meaning of death and life in terms of their general doctrine of religion. In the first part, the general framework of Māturīdī and Dabūsī’s evidentialist conception of religion are drawn. In the second part, Māturīdī's views on the meaning of death and life and are explored. In the third part, the views of Abū Zayd al-Dabūsī on the meaning (...) of death and life, who establishes a striking connection between the divine order and existence, divine prohibition and non-existence, are examined, and a general evaluation is offered in the last section. Al-Māturīdī proposed a very original and systematic example of doing philosophy of religion, which still promising for the modern problems of the field, by opening the phenomenon of religion itself to discussion, and analyzing the nature and elements of religion. Māturīdī aims to place the problems on a universal and theoretical basis and to present a holistic, metaphysical understanding while discussing specific and particular issues in religion. Just as there are main notes in classical Western music that repeat throughout the symphony in baroque style, there are universal principles in al-Māturīdī’s metaphysics that cut all particular debates vertically. The basic principle of the al-Māturīdī’s metaphysics is based on this idea: God is a wise being, he does not do anything wise. Accordingly, it is absurd to create something to destroy; God did not create man to perish. The love of life and the fear of death are the deepest existential problems facing man as a finite being that goes towards death. Religion can be regarded as a powerful alternative to other worldviews to the extent that it provides a reasonable explanation for man’s deep concern about finitude. For al-Māturīdī, neither pessimistic understandings that emphasize only the fear of death nor hedonistic understandings that ignore death offer a reasonable solution. God created death as something that people fear the most and avoid, and life as something they love and desire. The testing of man is about being between the fear of death and the desire to live in the world. According to al-Māturīdī, this dilemma that man is facing also shows him the way out. If people do good and useful deeds because of their love for life, and avoid nonsense and ugly deeds because of their afraid of death, they can make their life eternal with their own efforts and escape from eternal/permanent death. The other Hanafī thinker, a philosopher of law Abū Zayd al-Dabūsī’s views on the meaning of death and life are parallel to Māturīdī's. According to al-Dabūsī, to test man, what God has placed in human nature is not only the soul and reason but also the spirit (al-nafs) and whim (al-hawa). While the spirit and whim invites man to the temporary by ignorance, it calls the soul and reason to the permanent by knowledge. The test for human beings is to choose between the temporary and the eternal life. For al-Dabūsī, man’s saving himself from falling into nothingness and gaining the eternal life depends on his use of reason. In other words, the reason binds human beings to life, and the whim leads them to nothingness. Drawing a parallel between reasoning and existence, ignorance and absence, Dabūsī defines the terms divine command and divine prohibition in a very original way. For him, the divine command is the things that must exist, and the divine prohibition is the things that must not exist. If the man helps exist the things that God wills to exist, he can make his own existence eternal. If the man helps exist the things that God does not will to exist, he puts himself into nothingness. Lastly, both for al-Māturīdī and al-Dabūsī, life is a divine grace bestowed on human being to gain eternal life through the good deeds he does at any moment. In short, reason is necessary in religion because its use is a preference of existence to non-existence. This metaphysical system, which sees goodness as a bridge from this finite world to heaven and eternity and makes a connection between faith and deeds on the ontological and ethical level is the essence of the worldview of the Hanafī-Māturīdī tradition. (shrink)

This article deals with Ibn Sīnā’s criticisms of Aristotle regarding what the place of God should be in the science of metaphysics. From Aristotle’s point of view, the existence of God is proved by the proof of motion in physics and is held as a subject matter in a science that comes after physics, which is metaphysics. According to him, metaphysics is the most sublime science because God is its subject matter. The most striking criticism against Aristotle’s conception of metaphysics (...) was put forward by Ibn Sīnā. From Ibn Sīnā’s point of view, the most important problem encountered in Aristotle’s understanding of metaphysics is that ontology and theology are intertwined. According to him, God cannot be a subject matter in metaphysics, rather, proving the existence of God is the aim of metaphysics. The subject matter of metaphysics is being qua being, and its aim is to prove the Necessary Existent that is the principle of existence. Accordingly, for Ibn Sīnā, metaphysics is an ontological science in terms of its subject and a theological science in terms of its aim. This new conception of metaphysics, developed by Ibn Sīnā, had a profound effect not only on Islamic thought but also on Western philosophy. In a way, the ontotheological notes of Islamic and Western thought from the Middle Ages to the present have progressed through the metaphysical symphony composed by Ibn Sīnā. (shrink)

The question of how the relationship between metaphysics and theology should be understood is one of the main topics of debate on the agenda of philosophers and theologians from Aristotle (d. 322 BCE) to Avicenna (d. 428/1037), from Avicenna to the late Islamic theological tradition, and even to medieval Jewish and Christian thought. Avicenna criticized Aristotle for identifying metaphysics with theology and presented a new perspective on the relationship between those two disciplines. He argues that God is not the subject (...) but the goal of metaphysics, in other words — metaphysics is an ontological science in terms of its subject matter and a theological science in terms of its goal. In Islamic thought after Avicenna, the relationship between metaphysics and kalam continued to be one of the most heated topics of debate. Trying to explain the relationship between those two disciplines, thinkers such as Imam al-Ghazali (d. 505/1111), Shams al-Din Samarqandi (d. 702/1303), and Sayyid Sharif al-Jurjani (d. 816/1413) made a distinction between “Islamic science and rational science” and argued that metaphysics is an intellectual science while kalam is a religious (Islamic) science. On the other hand, Siraj al-Din al-Urmawi (d. 682/1283), who dealt with the relationship between metaphysics and kalam in his treatise On the Difference between Metaphysics (God-Science) and Kalam, revised Avicenna’s approach and criticized theologians who tried to explain the problem in terms of the distinction between religious and rational sciences. The aim of this article is to analyze Avicenna’s and Urmawi’s views on the relationship between metaphysics and theology, taking into account the historical-problematic context of the issue. (shrink)

Ontologies are today being applied in almost every field to support the alignment and retrieval of data of distributed provenance. Here we focus on new ontological work on dance and on related cultural phenomena belonging to what UNESCO calls the “intangible heritage.” Currently data and information about dance, including video data, are stored in an uncontrolled variety of ad hoc ways. This serves not only to prevent retrieval, comparison and analysis of the data, but may also impinge on our ability (...) to preserve the data that already exists. Here we explore recent technological developments that are designed to counteract such problems by allowing information to be retrieved across disciplinary, cultural, linguistic and technological boundaries. Software applications such as the ones envisaged here will enable speedier recovery of data and facilitate its analysis in ways that will assist both archiving of and research on dance. (shrink)

Engineering is often said to be ‘scientific’, but the nature of knowledge in engineering is different to science. Engineering has a different ontological basis—its theories address different entities and are judged by different criteria. In this paper I use Popper’s three worlds ontological framework to propose a model of engineering theories, and provide an abstract logical view of engineering theories analogous to the deductive-nomological view of scientific theories. These models frame three key elements from definitions (...) of engineering: requirements, designs of artefacts, and theories for reasoning about how artefacts will meet requirements. In a subsequent paper I use this ontological basis to explore methodological issues in the growth of engineering knowledge from the perspective of critical rationalism. (shrink)

The paper outlines the advantages and limits of the so-called ‘Calculus CL’ in the field of ontology engineering and automated theorem proving. CL is a diagram type that combines features of tree, Euler-type, Venn-type diagrams and squares of opposition. Due to the simple taxonomical structures and intuitive rules of CL, it is easy to edit ontologies and to prove inferences.

Model-driven engineering provides abstractions and notations to improve the understanding and to support modeling, coding, and verification of applications for specific domains. Ontologies, on the...

Babylon Knowledge Explorer (BKE) is an integrated suite of tools and information sources developed in GlaxoSmithKline's Analysis, Applications, and Research Technologies Department to support the prototyping and implementation of ontology-driven information systems and ontology-enhanced knowledge applications. In this paper we describe the current state of BKE development and focus on some of its distinctive or novel approaches, highlighting -/- * How BKE makes use of multiple large pre-existing ontologies in support of text and data mining. * The methodology (...) employed for importing an ontology and making it immediately accessible to BKE's tools, interfaces, and API. * A formal description of BKE's ontology-based fact model and how this is employed in implementing information retrieval and data mining capabilities. * A sample application built on BKE that illustrates an ontologyenhanced machine learning tool. (shrink)

In this article we describe two core ontologies of law that specify knowledge that is common to all domains of law. The first one, FOLaw describes and explains dependencies between types of knowledge in legal reasoning; the second one, LRI-Core ontology, captures the main concepts in legal information processing. Although FOLaw has shown to be of high practical value in various applied European ICT projects, its reuse is rather limited as it is rather concerned with the structure of legal (...) reasoning than with legal knowledge itself: as many other “legal core ontologies”, FOLaw is therefore rather an epistemological framework than an ontology. Therefore, we also developed LRI-Core. As we argue here that legal knowledge is based to a large extend on common-sense knowledge, LRI-Core is particularly inspired by research on abstract common-sense concepts. The main categories of LRI-Core are: physical, mental and abstract concepts. Roles cover in particular social worlds. Another special category are occurrences; terms that denote events and situations. We illustrate the use of LRI-Core with an ontology for Dutch criminal law, developed in the e-Court European project. (shrink)

As engineering applications require management of ever larger volumes of data, ontologies offer the potential to capture, manage, and augment data with the capability for automated reasoning and semantic querying. Unfortunately, considerable barriers hinder wider deployment of ontologies in engineering. Key among these is lack of a shared top-level ontology to unify and organise disparate aspects of the field and coordinate co-development of orthogonal ontologies. As a result, many engineering ontologies are limited to their scope, and (...) functionally difficult to extend or interoperate with other engineering ontologies. This paper demonstrates how the use of a top-level ontology, specifically the Basic Formal Ontology (BFO), greatly facilitates interoperability of multiple engineering-related ontologies. We constructed a system of formal linked ontologies by re-engineering legacy ontologies to be conformant with BFO and developing new BFO-conformant ontologies to capture knowledge in the engineering design, enterprise, human factors, manufacturing, and application domain of additive manufacturing. The resulting Integrated Framework for Additively Manufactured Products (IFAMP), including the body knowledge instantiated on its basis, serve as the basis for a proposed Design with Additive Manufacturing Method (DWAM), which we believe can support the design of innovative products with semantically enhanced ideation tools and enhanced access to application domain knowledge. The method and its facilitation through the ontological framework are demonstrated using a case study in medicine. (shrink)

Designing and examining systems of action plays an important role in modern engineering. Such a general approach to actions is also supportive to the discussions on the development of artificial intelligence agents. As a philosophically remarkable and practically useful approach to actions the theory of action proposed by the Polish philosopher, scientist and military specialist Józef Konieczny undergoes here further considerations. The Konieczny’s concepts have not been intensively thoroughly researched and further developed, and a deep philosophical analysis is the (...) condition for their efficient application when solving real-life problems. This paper presents own interpretations of Konieczny’s views on action, including own clarifications or additions to the original solutions. The main aim is to identify the essential elements of the theory of action and analyse it in the ontological context. The selected structures of action were characterised, the analysis of the fundamental concepts was conducted, the ontological characterization of the types of actions and the objects involved in action was developed, and the certain issues of realism and functionalism identified were discussed. The results obtained constitute an important testimony to the practice of philosophy in technology and are useful when aiming at further development of the approach analysed. (shrink)

We present in this article a compression system that uses STEP compliant standards for the compression and design review visualization of large CAD data sets. Our approach is orthogonal to the traditional techniques applied in the field, as we complement previous works by introducing semantic criteria along with algorithms for the categorization, simplification and user-oriented adaptation of the engineering components described by domain-specific standards. As an example, we have implemented two test cases in two specific domains – ISO-STEP 13013-AP227 (...) in the case of industrial Plant Design, and CIS/2 in the case of Steel Detailing Design (Structures Design). (shrink)

The construction of complex ontologies can be facilitated by adapting existing vocabularies. There is little clarity and in fact little consensus as to what modifications of vocabularies are necessary in order to re-engineer them into ontologies. In this paper we present a method that provides clear steps to follow when re-engineering a thesaurus. The method makes use of top-level ontologies and was derived from the structural differences between thesauri and ontologies as well as from best practices in modeling, some (...) of which have been advocated in the biomedical domain. We illustrate each step of our method with examples from a re-engineering case study about agricultural fertilizers based on the AGROVOC thesaurus. Our method makes clear that re-engineering thesauri requires far more than just a syntactic conversion into a formal language or other easily automatable steps. The method can not only be used for re-engineering thesauri, but does also summarize steps for building ontologies in general, and can hence be adapted for the re-engineering of other types of vocabularies or terminologies. (shrink)

Ontology as a branch of philosophy is the science of what is, of the kinds and structures of objects, properties, events, processes and relations in every area of reality. ‘Ontology’ is often used by philosophers as a synonym for ‘metaphysics’ (literally: ‘what comes after the Physics’), a term which was used by early students of Aristotle to refer to what Aristotle himself called ‘first philosophy’. The term ‘ontology’ (or ontologia) was itself coined in 1613, independently, by two (...) philosophers, Rudolf Göckel (Goclenius), in his Lexicon philosophicum and Jacob Lorhard (Lorhardus), in his Theatrum philosophicum. The first occurrence in English recorded by the OED appears in Bailey’s dictionary of 1721, which defines ontology as ‘an Account of being in the Abstract’. (shrink)

After a recent breakthrough in the early 90's, text analysis is acknowledged as one of the promising ways to rapidly build better grounded semantic resources such as terminologies and ontologies. This domain has recently undergone significant evolutions with a massive reference to machine learning algorithms and information extraction techniques together with linguistic- and statistic-based natural language processing. This position paper promotes three main ideas: (i) that highly domain-specific or task-specific, even idiosyncratic ontologies, are very useful, especially when they are linked (...) to broader consensual schemes and they can be built with reasonable effort; (ii) that corpus-based ontologies can capture the perspective of a domain; and (iii) that supervised ontology learning from text makes feasible the development of specialized ontologies adapted for specific uses. We propose the establishment of an inventory of tools for building ontologies from text, give a first classification of such tools, and present an initial review of some recent methods and tools. (shrink)

John Dewey viewed philosophy as an intelligent means of realizing change, emphasizing the ubiquity of process, context and relations. The revolution in Organizational Behavior known as Process Re-engineering (PR) is an approach to organizational thinking recognizing the importance of process, context and relations at all levels of organizational activity. Because Dewey’s philosophy affords primacy to process and change, context and relations, it is fundamentally aligned with PR. Compelling connections between PR and Dewey’s philosophy are established concerning primacy of process, (...) importance of context, inquiry as experimental, value dimensions of outcomes, work as a means to self-realization, and increasing recognition of the future as an open possibility. While Dewey’s philosophy and PR stand as examples of intelligent understanding and reconstruction of process, recent developments in formal systems ontology point to dangerous consequences resulting from an eclipse of the material conditions of experience through the imposition of a formal architectonic. (shrink)

Applied ontologies have been used more and more frequently to enhance systems engineering. In this paper, we argue that adopting principles of ontological realism can increase the benefits that ontologies have already been shown to provide to the systems engineering process. Moreover, adopting Basic Formal Ontology (BFO), an ISO standard for top-level ontologies from which more domain specific ontologies are constructed, can lead to benefits in four distinct areas of systems engineering: (1) interoperability, (2) standardization, (3) (...) testing, and (4) data exploitation. Reaping these benefits in a model-based systems engineering (MBSE) context requires utilizing an ontology’s vocabulary when modeling systems and entities within those systems. If the chosen ontology abides by the principles of ontological realism, a semantic standard capable of uniting distinct domains, using BFO as a hub, can be leveraged to promote greater interoperability among systems. As interoperability and standardization increase, so does the ability to collect data during the testing and implementation of systems. These data can then be reasoned over by computational reasoners using the logical axioms within the ontology. This, in turn, generates new data that would have been impossible or too inefficient to generate without the aid of computational reasoners. (shrink)

The desideratum of semantic interoperability has been intensively discussed in medical informatics circles in recent years. Originally, experts assumed that this issue could be sufficiently addressed by insisting simply on the application of shared clinical terminologies or clinical information models. However, the use of the term ‘ontology’ has been steadily increasing more recently. We discuss criteria for distinguishing clinical ontologies from clinical terminologies and information models. Then, we briefly present the role clinical ontologies play in two multicentric research projects. (...) Finally, we discuss the interactions between these different kinds of knowledge representation artifacts and the stakeholders involved in developing interoperational real-world clinical applications. We provide ontology engineering examples from two EU-funded projects. (shrink)

This paper presents use cases for modular development of ontologies using the OWL imports mechanism. Many of the methods are inspired by work in modular development in software engineering. The approach is aimed at developers of large ontologies covering multiple subdomains that make use of OWL reasoners for inference. Such ontologies are common in biomedical sciences, but nothing in the paper is specific to biomedicine. There are four groups of use cases: (i) organisation and factoring of ontologies; (ii) maintaining (...) stable interfaces and bindings between ontologies and between ontologies and software; (iii) localization of ontologies to the requirements of specific sites and (iv) extension of ontologies and encapsulation of modifications. OWL's axiom-oriented import mechanism has many similarities with import mechanisms in object-oriented software but also important differences – in particular, the effects of OWL imports are global, and the order in which modules are imported is irrelevant. The advantages and disadvantages of OWL's axiom-oriented approach are discussed, and suggestions are made for extensions to allow axioms to be filtered out as well as added – a mechanism that we term “adaptation” to distinguish it from the standard import mechanism. Finally we discuss possible alternatives and practical experience with the approaches presented. (shrink)

Human–Computer Interaction (HCI) is a multidisciplinary area that involves a diverse body of knowledge and a complex landscape of concepts, which can lead to semantic problems, hampering communication and knowledge transfer. Ontologies have been successfully used to solve semantics and knowledge-related problems in several domains. This paper presents a systematic literature review that investigated the use of ontologies in the HCI domain. The main goal was to find out how HCI ontologies have been used and developed. 35 ontologies were identified. (...) As a result, we noticed that they cover different HCI aspects, such as user interface, interaction phenomenon, pervasive computing, user modeling / profile, HCI design, interaction experience and adaptive interactive system. Although there are overlaps, we did not identify reuse among the 35 analyzed ontologies. The ontologies have been used mainly to support knowledge representation and reasoning. Although ontologies have been used in HCI for more than 25 years, their use became more frequent in the last decade, when ontologies address a higher number of HCI aspects and are represented as both conceptual and computational models. Concerning how ontologies have been developed, we noticed that some good practices of ontology engineering have not been followed. Considering that the quality of an ontology directly influences the quality of the solution built based on it, we believe that there is an opportunity for HCI and ontology engineering professionals to get closer to build better and more effective ontologies, as well as ontology-based solutions. (shrink)

Defining roles of agents (i.e., people, organisations, etc.) is required in various Semantic Web applications, including access control, knowledge management and skill repository. So far, many theo...

Social objects have become common subjects of interest to both social ontologists and conceptual engineers, but up to this point much of the philosophical work from these two fields has surprisingly been done in isolation from each field. I show how these prolific research fields—social ontology, conceptual engineering, and conceptual ethics—can mutually benefit each other through a unifying model I propose called the 2D-CE model that shows the dependence relations between a given concept, its instantiation conditions, and whatever (...) language represents such devices. This model combines a model from social ontology with insights from conceptual engineering and conceptual ethics into a powerful metaphilosophical tool that highlights the role of social agents for metaphysical and metalinguistic explanation. A major benefit of the model is its utility for not only social philosophy, but for other areas of research beyond the social world. (shrink)

Ontology has come to gain huge currency in the information sciences, with techniques, applications, and results vastly exceeding the traditional concerns of philosophy. How did that happen? Where are we heading to? I do not have the answers. But I know what it took and what is needed. It took—and we need—the skills of a good Carnapian engineer, someone capable and willing to build bridges across fields even though each side regards them as a troublesome intruder.

My starting point is that discussions in philosophy about the ontology of technical artifacts ought to be informed by classificatory practices in engineering. Hence, the heuristic value of the natural-artificial distinction in engineering counts against arguments which favour abandoning the distinction in metaphysics. In this chapter, I present the philosophical equipment needed to analyse classificatory practices and then present a case study of engineering practice using these theoretical tools. More in particular, I make use of the (...) Collectivist Account of Technical Artifacts (CAT) according to which there are different classificatory practices for natural, artificial, and social objects. I demonstrate that in the community studied, artificial kinds are marked by distinctive classificatory practices. The presence of these distinctive classificatory practices in engineering with regard to artificial kinds should inform discussions about the ontology of technical artifacts just as the distinctive classificatory practices in natural science inform discussions about natural kinds. (shrink)

Engineering science is a scientific discipline that from the point of view of epistemology and the philosophy of science has been somewhat neglected. When engineering science was under philosophical scrutiny it often just involved the question of whether engineering is a spin-off of pure and applied science and their methods. We, however, hold that engineering is a science governed by its own epistemology, methodology and ontology. This point is systematically argued by comparing the different sciences (...) with respect to a particular set of characterization criteria. (shrink)

Functionality is one of the key concepts of knowledge about artifacts. Functional knowledge shows a part of designer's intention (so-called design rationale), and thus its sharing among engineers plays a crucial role in team-activities in engineering practice. Aiming at promoting engineering knowledge management, we have developed an ontological modeling framework of functional knowledge, which includes an ontology of device and function and a controlled vocabulary. This framework has been successfully deployed in a manufacturing company in daily (...) class='Hi'>engineering activities. In the first part of this paper, we discuss some ontological issues concerning the functionality of artifacts, and redefine the notion of function as a role. In the second part, we discuss some lessons learned in the actual deployment of this framework and two extensions based on such experience. One extension is a lexical layer for functional terms intended to help engineers select appropriate functional concepts and to facilitate the use of domain-specific terms familiar to them. The other extension is the establishment of ontological modeling guidelines, which help engineers commit to the relevant ontologies and describe models compliant with them. (shrink)

Ontology is the philosophical discipline which aims to understand how things in the world are divided into categories and how these categories are related together. This is exactly what information scientists aim for in creating structured, automated representations, called 'ontologies,' for managing information in fields such as science, government, industry, and healthcare. Currently, these systems are designed in a variety of different ways, so they cannot share data with one another. They are often idiosyncratically structured, accessible only to those (...) who created them, and unable to serve as inputs for automated reasoning. This volume shows, in a nontechnical way and using examples from medicine and biology, how the rigorous application of theories and insights from philosophical ontology can improve the ontologies upon which information management depends. (shrink)

Ontology engineering is a hard and error-prone task, in which small changes may lead to errors, or even produce an inconsistent ontology. As ontologies grow in size, the need for automated methods for repairing inconsistencies while preserving as much of the original knowledge as possible increases. Most previous approaches to this task are based on removing a few axioms from the ontology to regain consistency. We propose a new method based on weakening these axioms to make (...) them less restrictive, employing the use of refinement operators. We introduce the theoretical framework for weakening DL ontologies, propose algorithms to repair ontologies based on the framework, and provide an analysis of the computational complexity. Through an empirical analysis made over real-life ontologies, we show that our approach preserves significantly more of the original knowledge of the ontology than removing axioms. (shrink)

The problem of merging several ontologies has important applications in the Semantic Web, medical ontology engineering and other domains where information from several distinct sources needs to be integrated in a coherent manner.We propose to view ontology merging as a problem of social choice, i.e. as a problem of aggregating the input of a set of individuals into an adequate collective decision. That is, we propose to view ontology merging as ontology aggregation. As a first (...) step in this direction, we formulate several desirable properties for ontology aggregators, we identify the incompatibility of some of these properties, and we define and analyse several simple aggregation procedures. Our approach is closely related to work in judgment aggregation, but with the crucial difference that we adopt an open world assumption, by distinguishing between facts not included in an agent’s ontology and facts explicitly negated in an agent’s ontology. (shrink)

We revisit the notion of ontology localization, propose a new definition and clearly specify the layers of an ontology that can be affected by the process of localizing it. We also work out a numbe...

This co-edited volume compares Chinese and Western experiences of engineering, technology, and development. In doing so, it builds a bridge between the East and West and advances a dialogue in the philosophy of engineering. Divided into three parts, the book starts with studies on epistemological and ontological issues, with a special focus on engineering design, creativity, management, feasibility, and sustainability. Part II considers relationships between the history and philosophy of engineering, and includes a general argument for (...) the necessity of dialogue between history and philosophy. It continues with a general introduction to traditional Chinese attitudes toward engineering and technology, and philosophical case studies of the Chinese steel industry, railroads, and cybernetics in the Soviet Union. Part III focuses on engineering, ethics, and society, with chapters on engineering education and practice in China and the West. The book’s analyses of the interactions of science, engineering, ethics, politics, and policy in different societal contexts are of special interest. The volume as a whole marks a new stage in the emergence of the philosophy of engineering as a new regionalization of philosophy. This carefully edited interdisciplinary volume grew out of an international conference on the philosophy of engineering hosted by the University of the Chinese Academy of Sciences in Beijing. It includes 30 contributions by leading philosophers, social scientists, and engineers from Australia, China, Europe, and the United States. (shrink)

From its inception, the focus of ontological engineering has been to support the reusability and shareability of ontologies, as well as interoperability of ontology-based software systems. Among th...

The concept of measurement is fundamental to a whole range of different disciplines, including not only the natural and engineering sciences, but also laboratory medicine and certain branches of the social sciences. This being the case, the concept of measurement has a particular relevance to the development of top-level ontologies in the area of knowledge engineering. For this reason, the present paper is concerned with ontological aspects of measurement. We are searching for a list of concepts that are (...) apt to characterize measurement methods in a general manner. To establish such means of characterization, we will primarily deal with the semantics of measurement values. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

The Ontology Summit 2012 explored the current and potential uses of ontology, its methods and paradigms, in big systems and big data: How ontology can be used to design, develop, and operate such systems. The systems addressed were not just software systems, although software systems are typically core and necessary components, but more complex systems that include multiple kinds and levels of human and community interaction with physical-software systems, systems of systems, and the socio-technical environments for those (...) systems which can include cultural, legal, and economic components. The focus themes used for this exploration were Big Systems Engineering, Big Data Challenge, Large Scale Domain Applications, and cross-cutting aspects Ontology Quality, and Federation and Integration of Systems. The Ontology Summit 2012 consisted of over three months of intensive virtual collaborative elaboration of these issues in presentations, panels, and group email. The culmination of these activities was a face-to-face Symposium at the US National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA, 12–13 April 2012. The primary product of this Ontology Summit is the communiqué reported here. But there are other products, some continuing as collaborative, more specifically focused analysis and modeling efforts aligned with various open standards activities. Behind all of these particular products, of course, is the real overriding purpose of the Ontology Summit 2012, which was: the joint collaboration of three distinct communities, the ontology, systems engineering and big systems stakeholder communities, who came together to address common problems, create common understanding and propose common solutions. (shrink)

This contribution reflects on the current role of ontologies in terminology research and practice and their future role, especially with a view to the creation of fully digital terminographic resources. The very notion of (domain) ontology, its concept and term, is discussed, highlighting metaterminological differences and substantial ambiguities arising from the interdisciplinary contact between Ontology Engineering and Terminology. Major challenges in ontology building, e.g. subjectivity, are mentioned, also with respect to the distinction between realist and non-realist (...) ontologies and their relevance in Terminology. In addition, this contribution presents some examples of terminology resources with a distinct ontological component, showing a diversity of approaches depending on the purpose of the resource and its scope. In this context, more specific topics are addressed, such as the acquisition of ontological data and suitable formats and models for representing domain knowledge. The contribution ends with a vision of the integration of complex concept systems such as ontologies in future terminology work: here, the development of models based on terminology-specific requirements and typical users will be fundamental. (shrink)

In this paper we argue that the challenge of the formalization of functions not merely consists of analyzing and formalizing yet another concept; the challenge may also consist of formalizing a con...

Researchers in areas such as artificial intelligence, formal and computational linguistics, biomedical informatics, conceptual modeling, knowledge engineering and information retrieval have come to realise that a solid foundation for their research calls for serious work in ontology, understood as a general theory of the types of entities and relations that make up their respective domains of inquiry. In all these areas, attention is now being focused on the content of information rather than on just the formats and languages (...) used to represent information. The clearest example of this development is provided by the many initiatives growing up around the project of the Semantic Web. And, as the need for integrating research in these different fields arises, so does the realisation that strong principles for building well-founded ontologies might provide significant advantages over ad hoc, case-based solutions. The tools of formal ontology address precisely these needs, but a real effort is required in order to apply such philosophical tools to the domain of information systems. Reciprocally, research in the information sciences raises specific ontological questions which call for further philosophical investigations. The purpose of FOIS is to provide a forum for genuine interdisciplinary exchange in the spirit of a unified effort towards solving the problems of ontology, with an eye to both theoretical issues and concrete applications. This book contains a wide range of areas, all of which are important to the development of formal ontologies. (shrink)