Appl. OntologyPub Date : 2012-04-01DOI: 10.3233/AO-2012-0106
M. Grüninger, T. Hahmann, Ali Hashemi, Darren Ong, Atalay Özgövde
{"title":"Modular first-order ontologies via repositories","authors":"M. Grüninger, T. Hahmann, Ali Hashemi, Darren Ong, Atalay Özgövde","doi":"10.3233/AO-2012-0106","DOIUrl":"https://doi.org/10.3233/AO-2012-0106","url":null,"abstract":"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 the approaches employed to address these challenges have been ontology repositories and the modularization of ontologies. In this paper we combine these approaches and use the relationships between first-order ontologies within a repository (such as non-conservative extension and relative interpretation) to characterize the criteria for modularity. In particular, we introduce the notion of core hierarchies, which are sets of theories with the same non-logical lexicons and which are all non-conservative extensions of a unique root theory. The technique of relative interpretation leads to the notion of reducibility of a theory to a set of theories in different core hierarchies. We show how these relationships support a semi-automated procedure that decomposes an ontology into irreducible modules. We also propose a semi-automated procedure that can use the relationships between modules to characterize which modules can be shared and reused among different ontologies.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2012-04-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122952382","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-12-01DOI: 10.3233/AO-2011-0098
Thomas Bittner
{"title":"Vague size predicates","authors":"Thomas Bittner","doi":"10.3233/AO-2011-0098","DOIUrl":"https://doi.org/10.3233/AO-2011-0098","url":null,"abstract":"Vague predicates such as heap, tall, bald, near to, nicer than, etc., are characterized by their Sorites susceptibility and the existence of borderline cases. In attempting to develop a general theory, diverse vague predicates are often analyzed in rather broad natural language settings. Because this has proven to be rather difficult, the phenomenon of vagueness is studied here in a narrower and strictly formalized setting: Vague size predicates such as \"roughly the same size\" and \"negligible in size with respect to\" are studied within the framework of a formalized theory of parthood extended by size predicates. Such a restricted axiomatic framework has a number of advantages: (i) it is easier to analyze logical and semantical aspects of vagueness; (ii) it is possible to study the interrelations between precise quantitative facts and the interpretation of vague and qualitative predicates in a restricted class of models; (iii) it is possible to precisely analyze the logical properties of vague and qualitative size predicates which are fundamental to formalized deductive reasoning. All three aspects are critical for the representation and reasoning about many vague predicates as they are used in many sciences and in medicine.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125650037","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-12-01DOI: 10.3233/AO-2011-0099
M. Uschold
{"title":"Making the case for ontology","authors":"M. Uschold","doi":"10.3233/AO-2011-0099","DOIUrl":"https://doi.org/10.3233/AO-2011-0099","url":null,"abstract":"The goal of the 2011 Ontology Summit was to assist in making the case for the use of ontology by providing concrete application examples, success/value metrics and advocacy strategies. This communique provides tips, guidelines and strategies for making the case for ontology to a variety of potential beneficiaries and future stakeholders. This communique specifically targets ontology technology evangelists who already get the value but want to overcome the blank stares they get when trying to explain it to people who do not.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132733832","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-12-01DOI: 10.3233/AO-2011-0092
N. Chungoora, R. Young
{"title":"Semantic reconciliation across design and manufacturing knowledge models: A logic-based approach","authors":"N. Chungoora, R. Young","doi":"10.3233/AO-2011-0092","DOIUrl":"https://doi.org/10.3233/AO-2011-0092","url":null,"abstract":"Ontology-based models of product design and manufacture are becoming increasingly important in the effort towards achieving interoperability among various stakeholders within and across product lifecycle systems. However, in the eventuality of having to interoperate between multiple ontology-based models, with the intention of sharing knowledge among them, the process still remains a difficult one. Although the concept of ontology mapping/matching has been developed as a means to interoperate across ontology-based models, yet the concept has remained relatively weak in terms of its ability to enable the formalization and verification of cross-model semantic correspondences in design and manufacture. In this paper, improved concepts to achieve semantic reconciliation are being investigated in the context of the Semantic Manufacturing Interoperability Framework (SMIF). The approach uses a Common Logic-based underpinning for enabling the evaluation and verification of cross-model correspondences. The approach has been successfully tested by applying the relevant logic-based mechanisms, in order to show the reconciliation of two individually developed knowledge models. Through this, it has been demonstrated that the approach enables semantic reconciliation of important structures within ontology-based models of design and manufacture.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129167768","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-12-01DOI: 10.3233/AO-2011-0100
C. Henson, K. Thirunarayan, A. Sheth
{"title":"An ontological approach to focusing attention and enhancing machine perception on the Web","authors":"C. Henson, K. Thirunarayan, A. Sheth","doi":"10.3233/AO-2011-0100","DOIUrl":"https://doi.org/10.3233/AO-2011-0100","url":null,"abstract":"Today, many sensor networks and their applications employ a brute force approach to collecting and analyzing sensor data. Such an approach often wastes valuable energy and computational resources by unnecessarily tasking sensors and generating observations of minimal use. People, on the other hand, have evolved sophisticated mechanisms to efficiently perceive their environment. One such mechanism includes the use of background knowledge to determine what aspects of the environment to focus our attention. In this paper, we develop an ontology of perception, IntellegO, that may be used to more efficiently convert observations into perceptions. IntellegO is derived from cognitive theory, encoded in set-theory, and provides a formal semantics of machine perception. We then present an implementation that iteratively and efficiently processes low level, heterogeneous sensor data into knowledge through use of the perception ontology and domain specific background knowledge. Finally, we evaluate IntellegO by collecting and analyzing observations of weather conditions on the Web, and show significant resource savings in the generation and storage of perceptual knowledge.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"118 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120858362","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-11-16DOI: 10.3233/AO-140129
S. Ito, D. Vymetal
{"title":"The formal REA model at the operational level","authors":"S. Ito, D. Vymetal","doi":"10.3233/AO-140129","DOIUrl":"https://doi.org/10.3233/AO-140129","url":null,"abstract":"Despite a lot of attention gained by the Resource-Event-Agent (REA) framework among researchers in enterprise modeling, it still lacks comprehensive formal description. Most of the formalization approaches to REA use only UML or other graphical representation. This paper aims to define REA ontology at operational level using formal logic tools. The general approach to formal logic description of REA was motivated by LTAP introduced by Ito, Hagihara and Yonezaki. After basic REA concepts are presented, semantics and logical language LREA are defined including axioms for the REA operational level. Future research is shortly described in conclusion.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-11-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125058305","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-08-01DOI: 10.3233/AO-2011-0096
A. Scherp, C. Saathoff, Thomas Franz, Steffen Staab
{"title":"Designing core ontologies","authors":"A. Scherp, C. Saathoff, Thomas Franz, Steffen Staab","doi":"10.3233/AO-2011-0096","DOIUrl":"https://doi.org/10.3233/AO-2011-0096","url":null,"abstract":"One of the key factors that hinders integration of distributed, heterogeneous information systems is the lack of a formal basis for modeling the complex, structured knowledge that is to be exchanged. To alleviate this situation, we present an approach based on core ontologies. Core ontologies are characterized by a high degree of axiomatization and formal precision. This is achieved by basing on a foundational ontology. In addition, core ontologies should follow a pattern-oriented design approach. By this, they are modular and extensible. Core ontologies allow for reusing the structured knowledge they define as well as integrating existing domain knowledge. The structured knowledge of the core ontologies is clearly separated from the domain-specific knowledge. Such core ontologies allow for both formally conceptualize their particular fields and to be flexibly combined to cover the needs of concrete, complex application domains. Over the last years, we have developed three independent core ontologies for events and objects, multimedia annotations and personal information management. In this paper, we present the simultaneous use and integration of our core ontologies at the example of a complex, distributed socio-technical system of emergency response. We describe our design approach for core ontologies and discuss the lessons learned in designing them. Finally, we elaborate on the beauty aspects of our core ontologies.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121067160","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-08-01DOI: 10.3233/AO-2011-0095
H. Halpin, V. Presutti
{"title":"The identity of resources on the Web: An ontology for Web architecture","authors":"H. Halpin, V. Presutti","doi":"10.3233/AO-2011-0095","DOIUrl":"https://doi.org/10.3233/AO-2011-0095","url":null,"abstract":"One of the major events that has caused a resurgence in the use of formal ontologies is the advent of the Semantic Web, which seeks to do for knowledge representation what the Web did for hypertext. Yet while the field of formal ontologies is well-understood, the nature of the Web is rather surprisingly cloaked in mystery. Unlike formal computer science, the Web is constructed mostly out of informally and operationally defined terms built from various specifications, in particular IETF RFCs and W3C Recommendations. In order to better understand the nature of the ‘Web’ in the Semantic Web, we created a formal ontology called the ‘Identity of Resources on the Web’ (IRW) ontology. The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for web-pages to URIs for “real objects and imaginary concepts”, as phrased by Berners-Lee. This distinction has often been tied to the distinction between information resources, such as web-pages and multimedia files, and other kinds of Semantic Web ‘non-information’ resources used in Linked Data. This issue of defining the relationship between URIs and resources is not a mandarin metaphysical matter, but has technical repercussions: the W3C has recommended not to use the same URI for information resources and the resources needed to denote ‘non-information resources’ for the Semantic Web. Basing our work on the normative specifications of the W3C and IETF, we model the relationship between resources and representations formally in an ontology called IRW (Identity and Reference on the Web). From our point of view, IRW is a beautiful ontology. In this paper we motivate why we consider it as such through the identification of a number of criteria on which we based our evaluation.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126504924","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-08-01DOI: 10.3233/AO-2011-0097
Vladimir Mironov, Erick Antezana, Mikel Egaña Aranguren, Ward Blondé, B. Baets, Martin Kuiper, R. Stevens
{"title":"Flexibility and utility of the cell cycle ontology","authors":"Vladimir Mironov, Erick Antezana, Mikel Egaña Aranguren, Ward Blondé, B. Baets, Martin Kuiper, R. Stevens","doi":"10.3233/AO-2011-0097","DOIUrl":"https://doi.org/10.3233/AO-2011-0097","url":null,"abstract":"The Cell Cycle Ontology (CCO) has the aim to provide a ‘one stop shop’ for scientists interested in the biology of the cell cycle that would like to ask questions from a molecular and/or systems perspective: what are the genes, proteins, and so on involved in the regulation of cell division? How do they interact to produce the effects observed in the regulation of the cell cycle? To answer these questions, the CCO must integrate a large amount of knowledge from diverse sources; the irregularity and incompleteness of this information suggests an ontology can act as the means of this integration. The volatility and continued expansion of biological knowledge means the content and modelling of the CCO will have to be frequently changed and updated. The CCO is generated from the input data automatically once every two months. This makes it easy to change the representation to enable certain queries; incorporate new knowledge; and consistently apply design patterns across the CCO. The automatic process also allows the CCO to be delivered in a variety of representations that suit the needs of various CCO customers and the abilities of existing toolsets. In this paper we present the CCO and its characteristics of utility and flexibility, that, from our perspective, make it a beautiful ontology.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114804304","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Appl. OntologyPub Date : 2011-07-01DOI: 10.3233/AO-2011-0093
M. d’Aquin, Aldo Gangemi
{"title":"Is there beauty in ontologies?","authors":"M. d’Aquin, Aldo Gangemi","doi":"10.3233/AO-2011-0093","DOIUrl":"https://doi.org/10.3233/AO-2011-0093","url":null,"abstract":"This position paper presents an introduction to the special issue of Applied Ontology on “Beautiful Ontologies”. It discusses the relevance of considering the notion of beauty when building and evaluating ontologies, making a parallel with other disciplines such as physics and software engineering. It also discusses the difference between the beauty of an ontology and the notion of quality generally considered in ontology evaluation. Finally, it discusses examples included in the articles of the special issue, to show that a beautiful ontology can be seen as one that integrates contradictory requirements.","PeriodicalId":266832,"journal":{"name":"Appl. Ontology","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132341196","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}